Ciancarini, P;
Cimato, S;
Mascolo, C;
(1997)
Engineering formal requirements: an analysis and testing method for Z documents.
Annals of Software Engineering
, 3
(1/3)
pp. 189-220.
![[thumbnail of 6.0_engineering_formal]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
6.0_engineering_formal Download (337kB) |
Abstract
Z is a declarative, non-executable specification language; its diffusion in the field of requirements engineering outside academia is slow but growing. In this paper we focus on some methods for analyzing and testing Z specification documents, with special emphasis on non-sequential systems specifications. We describe two techniques we have adopted: the former allows the specifier to add to the requirements document a number of properties that then can be checked using a formal semantics; the latter makes it possible to build directly from the requirements specification document a distributed prototype which can be executed and tested over a network of workstations.
| Type: | Article |
|---|---|
| Title: | Engineering formal requirements: an analysis and testing method for Z documents |
| Open access status: | An open access version is available from UCL Discovery |
| Additional information: | Imported via OAI, 7:29:01 26th Jul 2005 |
| UCL classification: | UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/798 |
Archive Staff Only
 |
View Item |
