mbse.cool: Languages | Methods | Tools | Vendors
Assertion Definition Language
specification language providing a formal grammar to specify behaviour and interfaces for computer software
- Instance of
- specification language
- Listed in
- Specification languages
- Wikipedia
- Assertion definition language
- Wikidata
- Q4808749 (edit)
Methods
—
Tools
—
TODO · Colophon