Software Engineering

In the research reported here, the ASM (Abstract State Machines) method has been used to develop a practically viable method for defining, in a rigorous but concise way, satisfactory ground models for software requirements. Such ground models can be refined in a controllable way to executable code. The operational and abstract character of ASMs




For a systematic exposition of the ASM systems engineering method in its full generality see the AsmBook.

The following papers pioneered some characteristic and industrial applications of the method to build, analyze and refine ground models for control systems and web services.