Title :
Using use cases in Executable Z
Author :
Grieskamp, Wolfgang ; Lepper, Markus
Author_Institution :
Tech. Univ. Berlin, Germany
Abstract :
Use cases are a widespread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, beside others, the specification of early requirements. We develop a representation of use cases in Z and apply it to several examples. Our focus is on instrumenting the formalization for black-box test evaluation in Executable Z, a computation model and implementation for Z based on concurrent constraint resolution
Keywords :
formal specification; program testing; specification languages; Executable Z; black-box test evaluation; computation model; concurrent constraint resolution; formal notation; informal method; requirements specification; use cases; Computational modeling; Computer aided software engineering; Concurrent computing; Encoding; Graphics; Humans; Instruments; Software engineering; System testing; Unified modeling language;
Conference_Titel :
Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on
Conference_Location :
York
Print_ISBN :
0-7695-0822-7
DOI :
10.1109/ICFEM.2000.873811
