Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
The Z notation: a reference manual
The Z notation: a reference manual
Object oriented design with applications
Object oriented design with applications
Development of algebraic specifications with constraints
Categorical methods in computer science with aspects from topology
A Development Model: Application to Z Specifications
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
A "Coming and Going" Approach to Specification Construction: A Scenario
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
| Hi-index | 0.00 |
An interactive specification development environment is presented in which a number of development methodologies and specification languages can be supported. Within the environment, design concepts and strategies are captured by the application of development operators, i.e. operators which enable the incremental construction and modification of specifications.The focus of this paper is to investigate the language independence feature of the environment, based on the work done in the Esprit project ICARUS. A set of operators enabling an object-oriented approach to specification development are instantiated for both the algebraic specification language Glider and the model-based specification language Z. These operators are illustrated by the development of a case study of a simple card game in both Glider and Z.