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 |
Year | DOI | Venue |
---|---|---|
2000 | 10.1109/ICFEM.2000.873811 | ICFEM |
Keywords | Field | DocType |
executable z,use cases,executable z.,early requirement,widespread informal method,technical system,formal notation,concurrent constraint resolution,computation model,black-box test evaluation,early development phase,computer aided software engineering,use case,software engineering,concurrent computing,formal specification,computational modeling,black box testing,unified modeling language,graphics,encoding,system testing,requirements specification | Specification language,Z notation,Programming language,Software engineering,Computer science,Formal specification,B-Method,Formal methods,System requirements specification,Software requirements specification,Executable | Conference |
ISBN | Citations | PageRank |
0-7695-0822-7 | 15 | 1.18 |
References | Authors | |
2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wolfgang Grieskamp | 1 | 1027 | 64.44 |
Markus Lepper | 2 | 61 | 11.30 |