Projects

InReMoVe:
Integrating Requirements Engineering, Modeling and Verification Technologies into Software and Systems Engineering
AutoFOCUS:
A Modeling & Simulation Tool for Distributed Embedded Systems
MOBASIS:
Model Based Software Development for Safety Critical Systems
Quest:
Combining Formal and Graphical Software Development Techniques
Nelli:
Computer Science Learning Material for Teachers