Metamorphic development of a GUI for configuration management

Authors:
Michael W. Godfrey
Affiliations:
Department of Computer Science, University of Toronto
Venue:
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Year:
1994

Citing 5
Cited 0

On visual formalisms

Communications of the ACM
The Z notation: a reference manual

The Z notation: a reference manual
Object Orientation in Z

Object Orientation in Z
Formal Specification in Metamorphic Programing

VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Visual formalisms for configuration management

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal, visual approaches to system modelling are a promising research area of configuration management. A GUI-based widget for configuring software systems, called ConForm[1], has been designed, formally specified in the Z language, and a prototype is currently under construction. This paper briefly outlines the design of ConForm, and details experience gained in transforming the formal specification into a prototype.