DAML Ontology Engineer

CRAVE

UML        DAML Translation

UML GUI

Consistency Reasoning Agent

ConsVISor

BugVISor

Specware

SNARK