A graphical tool for the prototyping of real-time systems
Christopher J. Coomber, Robert E. Childs · ACM SIGSOFT Software Engineering Notes · 1990
This paper describes a prototyping tool for the design and execution of real-time system specifications known as transformation schemas. The tool comprises an editor that makes full use of windows, menus, and icons; and a simulator that executes transformation schemas based on an object-oriented strategy. The tool not only enables the syntactic correctness of a transformation schema to be verified, but also assists in proving its semantic correctness.