Formal Engineering Methods, International Conference on (2000)
Sept. 4, 2000 to Sept. 7, 2000
Wolfgang Grieskamp , Technische Universit?t Berlin
Markus Lepper , Technische Universit?t Berlin
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
W. Grieskamp and M. Lepper, "Using Use Cases in Executable Z," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 111.