UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Engineering formal requirements: an analysis and testing method for Z documents

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. Green open access

[thumbnail of 6.0_engineering_formal] 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
Downloads since deposit
295Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item