Conference proceeding
Prototyping a visual formalism for system modelling
Software Engineering and Human-Computer Interaction, pp 211-224
25 Jun 2005
Abstract
Formal, visual approaches to system modelling are a promising research sub-area of configuration management. A visual notation for configuring software systems, called ConForm [God93], has been designed, formally specified 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 specification into a prototype.
Metrics
5 Record Views
Details
- Title
- Prototyping a visual formalism for system modelling
- Creators
- Michael W. Godfrey - University of TorontoRichard C. HoltSpiros Mancoridis - University of Toronto
- Publication Details
- Software Engineering and Human-Computer Interaction, pp 211-224
- Series
- Lecture Notes in Computer Science
- Publisher
- Springer Berlin Heidelberg; Berlin, Heidelberg
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Computer Science
- Scopus ID
- 2-s2.0-84949449414
- Other Identifier
- 991020598645104721