Course Objectives and Expected Outcomes
The main goal is to provide the fundamentals of Software Engineering. More specifically the main topics presented are: Software life cycles, System requirements specification, Verification and validation along with some concepts on how to manage software development. Moreover the main computational and architectural paradigms of sequential, concurrent and distributed systems will be presented.
The expected outcomes are:
• Knowledge of the software development process and its outcomes such as requirements specification, test cases etc.
• Knowledge of main requirement analysis methodologies and of some languages such as Data Flow Diagrams, Petri Net, Z, temporal logics.
• Knowledge of the principles and methods for validating/verifying software such as data flow analysis, black box and white box testing, mutational analysis.
• Knowledge of computational and architectural models of IT systems
The expected outcomes involve both the theoretical knowledge of the above topics and the ability to identify the right methods and techniques to face software development, staring form the definition of the life cycle down to cost estimation.

Evaluation procedure
Written examination based on solution of problems and questions