ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods
DOI: 10.1109/icfem.2000.873811
|View full text |Cite
|
Sign up to set email alerts
|

Using use cases in Executable Z

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
19
0

Publication Types

Select...
4
1
1

Relationship

0
6

Authors

Journals

citations
Cited by 17 publications
(19 citation statements)
references
References 5 publications
0
19
0
Order By: Relevance
“…Grieskamp and Lepper [7] used executable Z to describe use cases. The benefit is that this gives a complete formal specification which can even be run.…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Grieskamp and Lepper [7] used executable Z to describe use cases. The benefit is that this gives a complete formal specification which can even be run.…”
Section: Related Workmentioning
confidence: 99%
“…Use cases describe the system behavior in an informal way, usually using only text. In contrast to some research [7] which tries to add formal specifications directly to use cases, we will stick to text, because we believe that there needs to be an informal description of the system somewhere. Even for informal, textual use cases however, templates are used to structure the descriptions, e.g.…”
Section: Introductionmentioning
confidence: 99%
“…Z is a "formal notation which aims to support, besides others, the specification of early requirements" [35]. In [35] Grieskamp et al detail their experiments with use cases described in an executable form of Z.…”
Section: Methods Of Quantifier Executionmentioning
confidence: 99%
“…For example, Aslantest [24], Jahob [64], and executable Z [35] all handle unbounded quantifiers in different ways.…”
Section: Methods Of Quantifier Executionmentioning
confidence: 99%
“…In another strand of research, Grieskamp and Lepper combined use cases with Z [8]. Use cases benefit from Z for its added precision while a Z specification benefits from use cases for relating its operations in actual usage.…”
Section: Introductionmentioning
confidence: 99%