Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.

Project Activity

See All Activity >