Darimont, R.
Souquieres, J.
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 independant of the specification language. An operator instantiated to Z is presented and the approach is illustrated on the development of a Z specification.
Bibliographic reference |
Darimont, R. ; Souquieres, J.. A Development Model - Application To Z-specifications.IFIP WG8.1 Working Conference on Information System Development Process (COMO(Italy), Sep 01-03, 1993). In: IFIP Transactions A: Computer Science & Technology, Vol. 30, p. 247-264 (1993) |
Permanent URL |
http://hdl.handle.net/2078.1/63316 |