Marco Autili
Dipartimento di Informatica, Università degli Studi dell'Aquila
Via Vetoio, I-67010 L'Aquila (Italy)
SYNTHESIS
PSC
Seminars
January 26, 2012. Adaptation and Context-awareness:
Adaptation, Context-awareness and the CHAMELEON Framework
University Of L'Aquila - (ITALY)
November 27, 2009. CHAMELON:
Context-Aware Adaptive Services for Pervasive Heterogeneous Computing Infrastructures
Swinburne University of Technology - Melbourne (AUSTRALIA)
April 02, 2008. Service Oriented Architecture (SOA):
SERVICE-orientated COMPONENT-based
MODEL
University Of L'Aquila - (ITALY)
March 08, 2006. Service Oriented Architecture (SOA):
SOA and PLASTIC conceptual model
University Of L'Aquila - (ITALY)
Software Engineering
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.
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.
-
A.A. 2004-05
- Slides Chapter 1 | Slides Chapter 4 | Slides Chapter 5
- Slides Chapter 6 | Slides Chapter 7 | Slides Chapter 8
- Slides Chapter 11 | Slides Chapter 14
- Slides Chapter 17
- Slides Chapter 22 | Slides Chapter 23
- Slides RUP
Overview:
Requirements:
Design:
Critical Systems:
Verification and Validation:
The following slides (concerning the Rational Unified Process) were presented from Micron Technology Italia, S.r.l.:
Fondamenti di Programmazione
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.
-
A.A. 2011-12
- (1) Elementi di Sintassi dei Linguaggi di Programmazione
-
(2.1) Semantica Operazionale
oppure
(2.2) Elementi di Semantica Operazionale. Questa dispensa rivisita la dispensa precedente "Semantica Operazionale". Gli studenti posso scegliere una delle due. - (3) Semantica Operazionale di +/-Java (versione del 03 Dicembre 2010)
- Per la lezione del 12 ott. 2011 scaricare le slides dell'A.A. 2010-11.
-
E' uscita la nuova versione della dispensa sulla "Semantica Operazionale di +/-Java - 03 Dicembre 2010"
che rivisita la versione del 10 Gennaio 2010.
La nuova versione dovra' essere considerata come la versione ufficiale dell'A.A. 2010-11.
Gli studenti degli anni precedenti possono comunque utilizzare la versione del 10 Gennaio 2010. - Elementi di Sintassi dei Linguaggi di Programmazione
- Semantica Operazionale
- Semantica Operazionale di +/-Java (versione del 03 Dicembre 2010)
- Lezione del 11 ott. 2010 Introduzione Corso
- Lezione del 11 ott. 2010 Introduzione Grammatiche
- Lezione del 15 ott. 2010 Grammatiche e Parse Trees
- Lezione del 29 ott. 2010 Grammatiche, Parse Trees, Ambiguita', Esercizi
- Lezione del 08 nov. 2010 Semplice Linguaggio di Prog., Esercizi
- Lezione del 12 nov. 2010 (no slides) - Esercizi alla lavagna su grammatiche, sistemi di transizione, equivalenza di comandi ed estensioni.
- Elementi di Sintassi dei Linguaggi di Programmazione
- Semantica Operazionale
- Semantica Operazionale di +/-Java (versione del 10 Gennaio 2010)
COMUNICAZIONI
(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 (*)
(3) Semantica Operazionale di +/- Java (versione del 03 Dicembre 2010), M. Autili, P. Inverardi.
Le precedenti dispense sono reperibile nelle copisterie vicino la facoltà.
(*) Le prime tre dispense sono comunque disponibili anche on-line nel sito ufficiale dell'Università di Pisa e sono state pubblicate di seguito per convenienza degli studenti.
In 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
Si invitano gli studenti a visitare periodicamente anche la pagina del corso sul sito ufficiale di informatica http://informatica.di.univaq.it/.
Slides Lezioni
A.A. 2010-11
COMUNICAZIONI
- 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 (*)
- Semantica Operazionale, R. Barbuti, P. Mancarella e C. Montangero (*)
- Semantica Operazionale di +/- Java (versione del 03 Dicembre 2010), M. Autili, P. Inverardi.
Le precedenti dispense sono reperibile nelle copisterie vicino la facoltà.
(*) Le prime due dispense sono comunque disponibili anche on-line nel sito ufficiale dell'Università di Pisa e sono state pubblicate di seguito per convenienza degli studenti.
In modulo di "Fondamenti di Programmazione" non copre tutti gli argomenti delle precedenti dispense.
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)
Per la dispensa "Semantica Operazionale" la parte da studiare: dall’inizio fino alla Sezione 5.3 compresa (cioè fino a metà pag. 39)
La dispensa "Semantica Operazionale +/-Java" va studiata tutta
Si invitano gli studenti a visitare periodicamente anche la pagina del corso sul sito ufficiale di informatica http://informatica.di.univaq.it/.
Slides
A.A. 2009-10
Testi di riferimento
- 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 (*)
- Semantica Operazionale, R. Barbuti, P. Mancarella e C. Montangero (*)
- Semantica Operazionale di +/- Java (versione del 10 Gennaio 2010), M. Autili, P. Inverardi.
Le precedenti dispense sono reperibile nelle copisterie vicino la facoltà.
(*) Le prime due dispense sono comunque disponibili anche on-line nel sito ufficiale dell'Università di Pisa e sono state pubblicate di seguito per convenienza degli studenti.
In modulo di "Fondamenti di Programmazione" non copre tutti gli argomenti delle precedenti dispense.
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)
Per la dispensa "Semantica Operazionale" la parte da studiare: dall’inizio fino alla Sezione 5.3 compresa (cioè fino a metà pag. 39)
La dispensa "Semantica Operazionale +/-Java" va studiata tutta
Si invitano gli studenti a visitare periodicamente anche la pagina del corso sul sito ufficiale di informatica http://informatica.di.univaq.it/.
Slides
-
A.A. 2008-09
-
A.A. 2006-07
-
A.A. 2005-06
Expert of Web Multimedia Languages: Programming Foundation
Istituto d'Istruzione Superiore I.T.C. "A. Petrocchi" - Palombara Sabina (Roma), 2006.
Introduction to Computer Science, Software and Hardware Architectures, Flow Diagrams, Control Structures, Algorithms, Object Oriented Programming.
Expert of Web Multimedia Languages: JAVA Language
Istituto d'Istruzione Superiore I.T.C. "A. Petrocchi" - Palombara Sabina (Roma), 2006.
Programming Techniques
Pianeta Formazione (http://www.pianetaformazione.org)
- Istituto d'Istruzione Superiore "E. Maiorana" - Guidonia (Roma), 2005.
Introduction to Computer Science, Flow Diagrams, Control Structures, Algorithms, Project Planning, Quality Assurance, Costs Evaluation, Object Oriented Programming.
Multimedia Designer
IAL-CISL ABRUZZO (L’Aquila), 2005.
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.
::design Marco (mail to)
::last modified: february 01st, 2012