|Politecnico di Torino|
|Academic Year 2015/16|
Master of science-level of the Bologna process in Computer Engineering - Torino
The course is taught in English.
Goal of the course is to expose the students to the problems involved in programming in the large (programs of medium large size, involving teams of programmers) and to the tools offered by the software engineering discipline to tackle these problems.
Expected learning outcomes
Knowledge acquired: issues in the development of large software systems (communication and coordination between contractors and developers, evolution, correctness, reliability, usability). Software life cycles. The UML language. Operational modeling and prototyping. Verification and validation. Management and support of software projects.
Skills acquired: ability to analyze and formalize functional and non functional requirements of a software system. Ability to define an operational model of a software system. Ability to validate and verify a software system (through test, prototyping and inspection). Ability to define the organizational support of a software project (project management, configuration management, lifecycle).
Prerequisites / Assumed knowledge
Capability of developing small programs, knowledge of structural elements of programming languages (functions, classes, packages)
Introduction (0.5 CFU)
-issues in the development and maintenance of large programs
-software qualities: functionality, correctness, efficiency, usability, portability etc
-economica value, direct and indirect, of programs
Software processes (0.5 CFU)
-waterfall, prototyping, iterative
- agile methodologies
UML (1.5 CFU)
-structural diagrams (class diagram, component diagram)
-dynamic diagrams (sequence diagram, statecharts)
-functional diagrams (use case diagram)
Requirements Analysis and modelling (1.5 CFU)
- Functional and non functional requirements
- Outline of a requirement specification document
- use of UML to formalize requirements
- Validation and verification of requirements: inspections, prototypes, formal models
Software design(1 CFU)
- use of UML for design
-design and architectural diagrams
-Validation and verification of designs
Verification and Validation (2 CFU)
- testability, correctness, reliability a
- test: test white and black box, unit, integration, system; techniques and tools
- inspections, walkthrough, reviews, reading
Software project management(0.5 crediti)
- tools:WBS, Gantt, Pert, milestones, deliverables.
- activities: estimation, planning, tracking, post mortem
Configuration management (0.5 crediti)
- identification of configuration items
- version control, change management, configuration control