A development model: application to Z specifications
(1993) IFIP WG8.1 Working Conference on Information System Development Process — Location: Como, Italy (1.September.1993)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- This paper describes a model for supporting the process of specification construction. The model encompasses planification of development activities, incremental construction of specifications and development operators. The operators are independent of the specification language. An operator instantiated to Z is presented and the approach is illustrated on the development of a Z specification.
- Affiliations
Citations
Darimont, R., & Souquieres, J. (1993). A development model: application to Z specifications. IFIP Transactions A: Computer Science & Technology, Vol. A-30, p. 247-264.