Master in Information and Computer Sciences (académique)

Profile: Reliable Software Systems

Learning Outcomes

After successful completion of this profile the student will be able to

• Apply development methods for engineering dependable systems
• Perform a model-driven design of a system to ensure dependability and other quality factors
• Use existing frameworks for dependable system development
• Evaluate software development methods

Courses

• Semester 2
  • Required Courses:
    • Dependable Systems
    • Formal Methods
  • Related Courses:
    • Formal Specification and Program Verification
• Semester 3
  • Required Courses:
    • Model-Driven Software Development
    • Software Product Line Engineering
    • Testing and Validation
  • Related Courses:
    • Empirical Software Engineering
    • Selected Topics in Software Construction