Sciweavers

ICSE
1994
IEEE-ACM

Prototyping a Visual Formalism for System Modelling

14 years 2 months ago
Prototyping a Visual Formalism for System Modelling
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
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)