Prototyping a Visual Formalism for System Modelling

15 years 2 months ago

Download plg.uwaterloo.ca

Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConForm God93 , has been designed, formally speci ed in the Z language, and a prototype is currently being implemented. This paper outlines the design of ConForm, and details experience gained in transforming the formal speci cation into a prototype.

Michael W. Godfrey, Richard C. Holt, Spiros Mancor

Real-time Traffic

ConForm God93 | Formal Speci Cation | ICSE 1994 | Promising Research Sub-area | Software Engineering |

claim paper

» Formal driven prototyping approach for multiagent systems

» HighFidelity Prototyping of Interactive Systems Can Be Formal Too

» Tool Support for Language Design and Prototyping with Montages

» Interactive Visual Steering Rapid Visual Prototyping of a Common Rail Injection System

» Theres more to a model than code understanding and formalizing in silico modeling experien...

» GEC A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications

» Virtual prototyping AADL architectures in a polychronous model of computation

» An Attentional Prototype for Early Vision

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	ICSE
Authors	Michael W. Godfrey, Richard C. Holt, Spiros Mancoridis

Comments (0)

Sciweavers

Prototyping a Visual Formalism for System Modelling

ConForm God93 | Formal Speci Cation | ICSE 1994 | Promising Research Sub-area | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers