|
Kompetenzzentrum Tool Support - Projekte
 Autofocus
Mit seiner Ausrichtung auf graphische Darstellungsmittel soll AutoFocus ein möglichst intuitives Arbeiten ermöglichen. Dem Anwender stehen dabei als Arbeitsmittel ein Projektbrowser zur Verwaltung der Spezifikationsdokumente verschiedener Projekte sowie verschiedene Editoren für die einzelnen Spezifikationsdokumente zur Verfügung.
Bequest
Projekt Bequest
Inkrea
Incremental Design of Reactive Systems
InTime
Mobasis
Projekt Mobasis
Korsys
The aim of project KorSys (Korrekte Systeme) is to improve the applicability of formal methods for the specification and verification of complex software systems in practice.
OEF
The Open Editor Framewore (OEF) is the result of several student projects to provide an integrated platform for the development of CASE tools.
Quest
The project combines mathematical and graphical software development techniques for the development of correct embedded systems software. Quest is funded by the Bundesamt für Sicherheit im Informationswesen (BSI)
Syslab
The SysLab-project aims at the research and the development of a scientifically founded approach for software- and systems development. SysLab emphasizes the methodological approach, integrating formal and graphical techniques, and focuses on object-oriented techniques, based on UML and Java.
|
