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.

• Type: Conference
• Year: 1994
• Where: ICSE
• Authors: Michael W. Godfrey, Richard C. Holt, Spiros Mancoridis
• Keywords: ConForm God93, Formal Speci Cation, ICSE 1994, Promising Research Sub-area, Software Engineering