ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| INGEGNERIA DEL SOFTWARE | INF/01 | LEZIONI | 48 |
|
Lo studente che completerà con successo il corso:
- avrà la possibilità di utilizzare moderni strumenti e ambienti per l'analisi,
la progettazione e la verifica dei sistemi software;
- sarà in grado di dimostrare una solida conoscenza di molte tecniche di
modellazione ampiamente utilizzate nello sviluppo del software;
- avrà le competenze per iniziare a lavorare in un ambiente cooperativo.
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.
Esame scritto e orale
Methods:
Lo studente sarà in grado di progettare e documentare un progetto sw
The student will be able to design and document a sw project
Esame scritto e orale
written and oral exam
Lo studente potrà saper gestire responsabilità di conduzione di un team di progetto.
The student will be able to handle responsibilities of leading a project team.
Esame orale
Oral exam
Programmazione OO
OO programming
Attività didattiche:
Frequentando lezioni
Partecipazione alle discussioni
Studio individuale
Presenza: consigliato
Metodi di insegnamento:
lezioni
Delivery: face to face
Learning activities:
Attendance: Advised
Teaching methods:
La parte iniziale fornisce motivazioni per il resto: discutiamo i problemi che si verificano nella produzione del software e nei modelli di ciclo di vita. La maggior parte è dedicata alla modellazione del prodotto software in UML, presentando i principali tipi di modelli per ciascuna attività: domini e requisiti, analisi architettoniche e dettagliate, sia dal punto di vista statico (strutturale) sia dal punto di vista dinamico (comportamentale). Infine, presentiamo le tecniche di progettazione per la verifica del software.
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.
Disponibili in buona parte online alla pagina didawiki del corso
Available for the most part online at the course didawiki page
Lecture slides
Object Oriented and Classical Software Engineering, Stephen R.Schach, Fifth edition, McGraw Hill, Chapters: 1-3-10 Or Chapters 1,2,11 of the 8th edition
Object-Oriented Software Engineering, David C. Kung, Chapter 2
UML@Classroom, Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel, Springer Verlag, 2015.
Architecture and detailed design handout.
Chapters: 1-2-9-10-11-12-16-17-18 of the book "Software Testing and Analysis: Process, Principles, and Techniques" by Mauro Pezzè and Michal Young, in the free version you can request by following the instructions on Teams
Contattare la docente
Contact the lecturer
The examination consists of a written test and an oral test.
The written test consists of:
a few questions or exercises to be solved on a case study, takes place in a regular classroom, lasts 2 hours, remains valid for the current appeal session.
The written test is passed passed if:
the totality of the exercises will have been svoided sufficiently, or at least if any exercise not done will be compensated by the others, done in a good or excellent way
The oral test consists of:
an interview between the candidate and the teacher.
The oral test is passed if:
the candidate demonstrates a good understanding of the course topics.
http://didawiki.cli.di.unipi.it/doku.php/informatica/is-a/start
