A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify both different views and different levels of abstraction of the system. To avoid illdefined specifications, consistency conditions on these system descriptions can be formulated and checked. Furthermore, we show how consistent and executabledoi:10.1109/pdse.1998.668174 dblp:conf/pdse/HuberMRSSS98 fatcat:x5fjzgtedjhqvdplckr645pjka