Team Eiffel

People interested in BON might want to check out Metamodel-based model conformance and multiview consistency checking. It's about the relation between tools and models of software.

The article doesn't reference the work of Joseph Kiniry, I believe he had done some work to formalize BON as well, but perhaps it wasn't useful.

Anyway interesting article.

Emmanuel Stapf has announced the release of EiffelStudio 6.1.7.0472, featuring

• improved completion list
• speed up of degree 3
• eporting of calls on a void target in finalized mode (through a project setting)
• full support of GCC under Windows
• syntax errors are reported for multiple classes (previously the compiler stopped at the first erroneous class)

The download page is here.

The above announcement is one of the first items posted to the new EiffelStudio forum, for those who prefer to interact with a web forum instead of a mailing list. For now, the mailing lists will continue to operate too.