Marco Autili
Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Università dell'Aquila
Via Vetoio, 67100 L'Aquila (Italy)
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)
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.
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.