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) 189 - 220.
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
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.
|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 > School of BEAMS > Faculty of Engineering Science > Computer Science|
View download statistics for this item
Activity - last month
Activity - last 12 months
Archive Staff Only: edit this record