Precise scenarios: a customer-friendly foundation for formal specifications
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
| Hi-index | 0.00 |
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