Rapid Prototyping with AutoFocus

Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple formal principles, can be decisive for the applicability of such a formal development tool. Several of those functionalities, as found in the AUTOFOCUS tool prototype, like integrated graphical and hierarchical description techniques, consistency checks and code generation, are demonstrated using a simple example.

• Type: Conference
• Year: 1997
• Where: FBT
• Authors: Franz Huber, Bernhard Schätz
• Keywords: FBT 1997, FBT 1998, Formal Development Tool, Simple Formal Principles, Simple Inconvenience