Rapid Prototyping with AutoFocus

12 years 7 months ago
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.
Franz Huber, Bernhard Schätz
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1997
Where FBT
Authors Franz Huber, Bernhard Schätz
Comments (0)