Antwerp Systems and software Modelling (AnSyMo)

Foundations, techniques, methods and tools for the design, analysis and maintenance of software-intensive systems.

  • FOTS - Formal Techniques in Software Engineering  - Prof Dirk Janssens
  • LORE - Lab On Reengineering - Prof Serge Demeyer
  • MSDL - Modelling, Simulation and Design Lab - Prof Hans Vangheluwe