by kiniry
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.
We have decided to migrate the EBON architecture from Eiffel to JML-annotated Java to better integrate it with ongoing work in the Mobius project <http://mobius.inria.fr/>. Fintan Fairmichael and Dan Zimmerman, both project members, are helping ...
kiniry committed patchset 236 of module ebon to the The Extended BON Toolsuite CVS repository, changing 1 files
kiniry committed patchset 235 of module ebon to the The Extended BON Toolsuite CVS repository, changing 9 files
kiniry committed patchset 234 of module ebon to the The Extended BON Toolsuite CVS repository, changing 2 files
kiniry committed patchset 233 of module ebon to the The Extended BON Toolsuite CVS repository, changing 2 files
kiniry committed patchset 232 of module ebon to the The Extended BON Toolsuite CVS repository, changing 10 files
kiniry committed patchset 231 of module ebon to the The Extended BON Toolsuite CVS repository, changing 32 files
kiniry committed patchset 230 of module ebon to the The Extended BON Toolsuite CVS repository, changing 4 files
kiniry committed patchset 229 of module ebon to the The Extended BON Toolsuite CVS repository, changing 5 files
kiniry committed patchset 228 of module ebon to the The Extended BON Toolsuite CVS repository, changing 3 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
