The Community for Technology Leaders
Formal Engineering Methods, International Conference on (2000)
York, England
Sept. 4, 2000 to Sept. 7, 2000
ISBN: 0-7695-0822-7
pp: 111
Wolfgang Grieskamp , Technische Universit?t Berlin
Markus Lepper , Technische Universit?t Berlin
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. In this paper, 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
INDEX TERMS
CITATION

W. Grieskamp and M. Lepper, "Using Use Cases in Executable Z," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 111.
doi:10.1109/ICFEM.2000.873811
87 ms
(Ver 3.3 (11022016))