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.
Be the first to post a text review of The Extended BON Toolsuite. Rate and review a project by clicking thumbs up or thumbs down in the right column.
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 with this effort during the Summer of 2007. -Joe
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?