DocumentCode
2488684
Title
Using use cases in Executable Z
Author
Grieskamp, Wolfgang ; Lepper, Markus
Author_Institution
Tech. Univ. Berlin, Germany
fYear
2000
fDate
2000
Firstpage
111
Lastpage
119
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on
Conference_Location
York
Print_ISBN
0-7695-0822-7
Type
conf
DOI
10.1109/ICFEM.2000.873811
Filename
873811
Link To Document