Master in Information and Computer Sciences

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

For detailed course information please refer to the Programme section.

Semester 2

• Required Courses:
  • Formal Methods
• Related Courses:
  • Big Data Analytics
  • Introduction to Static Program Analysis
  • Software Vulnerabilities: Exploitation and Mitigation

Semester 3

• Required Courses:
  • Model-Driven Software Development
  • Software Engineering Environments
  • Testing and Validation
• Related Courses:
  • Autonomous Robot Software
  • Empirical Software Engineering
  • Fault and Intrusion Tolerance