Marco Autili

Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)
Università dell'Aquila
Via Vetoio, 67100 L'Aquila (Italy)

OPerating Systems Laboratory (OPSLab)

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

Service-Oriented Software Engineering (SoSE) - A.A. 2016-17

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


Corso Fondamenti di Programmazione Anni Precedenti - Da A.A. 2004-05 a A.A. 2014-15


Fondamenti di Programmazione - A.A. 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.
COMUNICAZIONI
Si invitano gli studenti a visitare periodicamente la pagina del corso sul sito ufficiale di informatica http://informatica.di.univaq.it/

Testi di riferimento

(1) Elementi di Sintassi dei Linguaggi di Programmazione, Corso di Laurea in Informatica Università di Pisa a.a. 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



Software Engineering - A.A. 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 because it is more convenient for students.

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.A. 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.