|
Kompetenzzentrum Tool Support - Sonstiges
AutoFocus
The CASE tool AutoFocus is the core of the
tool development activities of the embedded systems group.
Isabelle
Isabelle is a popular generic theorem proving
environment developed at Cambridge University (Larry Paulson) and TU
Munich (Tobias Nipkow).
Focus
Focus consists of a set of mathematical models
and notations for the specification, refinement, abstraction and
verification of distributed reactive systems. It is the result of the
subproject A6 of the Sonderforschungsbereich 342. Most of the
foundational work of the embedded systems group is based on Focus.
Validas Model
Validation AG
Validas is a spin-off company of the embedded
systems activities at the chair of Software & Systems Engineering.
Validas is the distributor for the Quest tool set (see above), which won
the first price in the tool competition of the FM'99 World Congress on
Formal Methods.
Andere Quellen
CASE tool index
Cetus Links - Architecture and Design: Object-Oriented Analysis & Design
Tools
Metamodels
|
