Academic year2016/17
CourseCOMPUTER SCIENCE
Code271AA
Credits6
PeriodSemester 2
LanguageItalian
| Modules | Area | Type | Hours | Teacher(s) |
| INGEGNERIA DEL SOFTWARE | INF/01 | LEZIONI | 48 | |
Programma non disponibile nella lingua selezionata
Knowledge
The student who succesfully complete the course:
-- will have the ability to use modern popular tools and environments for the analysus, design and verification of software systems;
-- wil be able to demonstrate a solid knowledge of many modelling techniques that are widely used in software development;
-- will have the skills to start working in a cooperative environment.
Assessment criteria of knowledge
Methods:
- Final oral exam
- Final written exam
Teaching methods
Delivery: face to face
Learning activities:
- attending lectures
- participation in discussions
- individual study
Attendance: Advised
Teaching methods:
Syllabus
The initial part provides motivations for the rest: we discuss the problems occuring in software production and the life-cycle models. The largest part is devoted to modelling the software product in UML, presenting the most important model kinds per each activity: domain and requirements analyis, architectural and detailed design, both from the static (structural) and the dynamic (behavioural) viewpoint. Finally, we present the design techniques for software verification.
Bibliography
J. Arlow, I. Neustadt, UML 2 e Unified Process, (seconda edizione italiana), McGraw-Hill, 2006.
A. Binato, A. Fuggetta, L. Sfardini, Ingegneria del Software - Creatività e metodo, Addison Wesley, 2006.
L. Semini, Architetture software (quarta edizione). Nota didattica, 2009.
V. Ambriola, C. Montangero, L. Semini. Esercizi di Ingegneria del Software (quarta edizione). Nota didattica: 2009.
C. Montangero, L. Semini (a cura di). Il controllo del Software - verifica e validazione, Nota didattica, 2008.
Updated: 14/11/2016 17:27
