This is an elective course for 3rd year Computer Science students.  The course will cover several topics in software engineering such as the different phases of the software development life cycle, software testing, and the use of models and formal methods in software engineering.     Topics include:

- Models of software development process (waterfall, spiral, agile)

- Requirements (elicitation, formalization into use cases)

- Specification and design (use of models, UML diagrams syntax and semantics, temporal logics)

- Testing (black-box, white-box, notions of coverage, test-driven-development)