This site's content was compiled from 1993 to 2006. Beyond that, Google is your friend.
Extended BON is a proper superset of BON by Joseph Kiniry that incorporates additional formal specification via the use of semantic properties. This suite of tools will work with BON or Extended BON specifications.
Latest release: 2002-01-03
EIFAN is a tool used to reverse-engineer Eiffel source code into Booch object-oriented class diagrams. It provides a way to analyze the overall structure of a set of Eiffel classes.
Latest release: 1995-11-22
A CASE tool that supports a subset of the symbols on a Rumbaugh class diagram.
Tcl/Tk is used for the GUI, and an Eiffel wrapper is included.
Latest release: 1995-10-21