The Montages Applied Formal Methods (A4M) company was founded as spin-off from the Swiss Federal Institute of Technology (ETH Zurich) in 1997. It started with case studies by Philipp Kutter and Florian Haussmann on “how to specify the semantics of object oriented languages” (Java, Oberon). The resulting tools where used in industry projects, leading to a “Language Driven” development style with small, domain specific development and modeling languages (DSLs). Feedback and experiments led to improvements, and evolution: XML instead of freely defined syntax, reuse of UML diagrams, rather than own graphical notations, Integration and reuse of standards, rather than competing them.

Since then, the approach has been refined resulting in todays MCore.


A more complete view on the Montages history is given on the old web page.