Using Use Cases in Executable Z

Use Cases are a wide-spread 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

• Type: Conference
• Year: 2000
• Where: ICFEM
• Authors: Wolfgang Grieskamp, Markus Lepper
• Keywords: Early Development Phase, ICFEM 2000, Software Engineering, Use Cases, Wide-spread Informal Method