Course Unit Profile

<--- Back to Course Diagram

Basic Information

Course Unit Title: SOFTWARE ENGINEERING

Course Unit Code: 271AA

Level of course unit

First Cycle (Laurea) Degree Programme in Computer Science

Year of study

Third year

Semester when the course is delivered

Second semester

Number of ECTS credits allocated: 6

Name of Lecturer(s):

Prof.: Fabio Gadducci
Email: fabio.gadducci@unipi.it

Prof.: Laura Semini
Email: laura.semini@unipi.it

Prof.: Vincenzo Gervasi
Email: vincenzo.gervasi@unipi.it

Language of instruction

Italian

General Information

Learning outcomes

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.

Course contents

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.

Specific Information

Prerequisites, co-requisites, as a prerequisite for further study

Prerequisites

For this course the prerequisite/s is/are

Co-requisites

None.

Prerequisite for

None.

Mode of delivery

Delivery

face to face

Attendance

Advised

Teaching methods

Learning activities

Recommended or required reading

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.

Assessment methods and criteria

Assessment methods

Assessment criteria

Work placement

No

<--- Back to Course Diagram