Marco Autili

Si invitano gli studenti a visitare periodicamente la pagina del corso sul sito ufficiale di informatica

http://www.disim.univaq.it/didattica/

Open and Big Data Management and Processing (OBDMP)

Teaching materials
A.Y. 2023-24 -- Please, go to the dedicated team on Microsoft Teams

Gli studenti che hanno bisogno delle credenziali di accesso svn sono pregati di scrivere una mail al docente specificando l'anno accademico di interesse.
Those students needing the svn credentials are invited to write an email to the teacher by specifying the academic year of interest.

OPerating Systems Laboratory (OPSLab)

Teaching materials
A.Y. 2023-24 -- Please, go to the dedicated team on Microsoft Teams
A.Y. 2022-23 -- Please, go to the dedicated team on Microsoft Teams
A.Y. 2021-22 -- Please, go to the dedicated team on Microsoft Teams
A.Y. 2020-21 -- Please, go to the dedicated team on Microsoft Teams
A.Y. 2019-20 -- Please, go to the dedicated team on Microsoft Teams
A.Y. 2018-19 -- svn
A.Y. 2017-18 -- svn
A.Y. 2016-17 -- svn
Gli studenti che hanno bisogno delle credenziali di accesso svn sono pregati di scrivere una mail al docente specificando l'anno accademico di interesse.
Those students needing the svn credentials are invited to write an email to the teacher by specifying the academic year of interest.

Service-Oriented Software Engineering (SoSE)

Open Data and Web Services (ODWS)

Teaching materials
A.Y. 2020-21 -- Please, go to the dedicated team on Microsoft Teams
A.Y. 2020-21 -- Please, go to the dedicated team on Microsoft Teams
A.Y. 2019-20 -- Please, go to the dedicated team on Microsoft Teams

Fondamenti di Programmazione - A.Y. 2015-16

University Of L'Aquila - Computer Science Department
Programming Languages Syntax: Context-Free Grammars, Derivation Trees, Ambiguity.
Programming Languages Semantics: Transition System, Operational Semantics for +/- Java.
Expressions, Commands, Classes Library.

Testi di riferimento

(1) Elementi di Sintassi dei Linguaggi di Programmazione, Corso di Laurea in Informatica Università di Pisa A.Y. 2004/05, R. Barbuti, P. Mancarella, D. Pedreschi, F. Turini (*)

(2.1) Semantica Operazionale, R. Barbuti, P. Mancarella e C. Montangero (*)
oppure
(2.2) Elementi di Semantica Operazionale, R. Barbuti, P. Mancarella e F. Turini.
Questa dispensa rivisita la dispensa precedente "Semantica Operazionale". Gli studenti possono scegliere una delle due (*)

(3) Semantica Operazionale di +/- Java (versione del 03 Dicembre 2010), M. Autili, P. Inverardi

Il modulo di "Fondamenti di Programmazione" non copre tutti gli argomenti delle precedenti dispense.

(1) Per la dispensa "Elementi di Sintassi dei Linguaggi di Programmazione" il corso copre la parte riguardante le grammatiche ma non copre la parte riguardante gli automi. Le parti da studiare sono:
- da pag. 1 a pag. 5
- dalla Sezione 3 Grammatiche (cioè da pag. 19) fino alla Sezione 3.4 compresa (cioè fino a inizio pag. 40)

(2.1) Per la dispensa "Semantica Operazionale" la parte da studiare va dall'inizio fino alla Sezione 5.3 compresa (cioè fino a metà pag. 39). Al posto di questa dispensa gli studenti possono scegliere la sua rivisitazione "Elementi di Semantica Operazionale" e studiare la parte come di seguito descritta.

(2.2) La dispensa "Elementi di Semantica Operazionale" costituisce una rivisitazione della sua versione precedente "Semantica Operazionale". Per questa dispensa la parte da studiare va dall'inizio fino alla Sezione 5.4 compresa (cioè fino pag. 48).

(3) La dispensa "Semantica Operazionale +/-Java" va studiata tutta

Slides
-- Corso Fondamenti di Programmazione Anni Precedenti

Corso Fondamenti di Programmazione Anni Precedenti

Da A.Y. 2004-05 a A.Y. 2014-15

Software Engineering - A.Y. 2004-05

University Of L'Aquila - Computer Science Department

Text book: Software Engineering (Seventh Edition)
Author: Ian Sommerville

A similar version of the presentations below can be downloaded from the official site of the text book.
Since the author of the text book has no objections to people modifying his slides, I revised some of the following slides and published them in this page for students convenience.

Overview:
Slides Chapter 1 | Slides Chapter 4 | Slides Chapter 5

Requirements:
Slides Chapter 6 | Slides Chapter 7 | Slides Chapter 8

Design:
Slides Chapter 11 | Slides Chapter 14

Critical Systems:
Slides Chapter 17

Verification and Validation:
Slides Chapter 22 | Slides Chapter 23

The following slides (concerning the Rational Unified Process) were presented from Micron Technology Italia, S.r.l.:
Slides RUP

Software Engineering at GSSI PhD school in Computer Science - A.Y. 2013-14

November 27, 2013. Service-oriented Choreography-based systems:
(Slides) A Model-Based Synthesis Process for Choreography Realizability Enforcement
(Demo Video) Synthesis Processor REST services and Eclipse plugins
Gran Sasso Science Institute (GSSI) 2013, International PhD school and center
for advanced studies in Physics, Mathematics, Computer Science and Social Sciences - L'Aquila (Italy)

Expert of Web Multimedia Languages: Programming Foundation - 2006

Istituto d'Istruzione Superiore I.T.C. "A. Petrocchi" - Palombara Sabina (Roma)

Introduction to Computer Science, Software and Hardware Architectures, Flow Diagrams, Control Structures, Algorithms, Object Oriented Programming.

Expert of Web Multimedia Languages: JAVA Language - 2006

Istituto d'Istruzione Superiore I.T.C. "A. Petrocchi" - Palombara Sabina (Roma)

Programming Techniques - 2005

Pianeta Formazione (http://www.pianetaformazione.org) - Istituto d'Istruzione Superiore "E. Maiorana" - Guidonia (Roma)

Introduction to Computer Science, Flow Diagrams, Control Structures, Algorithms, Project Planning, Quality Assurance, Costs Evaluation, Object Oriented Programming.

Multimedia Designer - 2005

IAL-CISL ABRUZZO (L'Aquila)

Development of multimedia products for promoting services/products, institutional information and didactics. Knowledge of techniques for treating media and knowledge of authoring tools. Interpretation of customer requirements. Software process as set of activities that produce the multimedia software product.