A cross-platform integrated CASE system
Write, check, index and diagram Z specifications in Microsoft Word.
C++ CASE tool, full life cycle code generator
Information Manager(split/analyze/compare/combine).
UML modeling tool derived from StarUML compatible with Windows 7-10
Repository for dependencies between software design artefacts