Oktatás

• System Modelling
• Critical Embedded Systems
• Formal Methods
• Software Verification and Validation

Overview of our Hungarian courses:

BSc programme in Software Engineering:

• System Modelling
• Specialization in IT Engineering:
  • Intelligent System Management
  • IT Technology Laboratory

MSc programme in Software Engineering:

• Formal Methods
• Specialization in Dependable System Design:
  • Design for Dependability
  • Model Driven Software Development
  • Service Integration
  • Software Verification Techniques
  • Autonomic and Fault Tolerant Computing Systems

PhD programme:

• Foundations of Model-Driven Systems Engineering
• Software Verification and Validation