Conference
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy
Abstract
We propose complementing tabular notations used in requirements specifications, such as those used in the SCR method, with a formalism for describing specific, useful, subclasses of computations, i.e., particular combinations of the atomic transitions specified within tables. This provides the specifier with the ability of driving the execution of transitions specified by tables, without the onerous burden of having to introduce modifications …
Authors
Aguirre NM; Frias MF; Moscato MM; Maibaum TSE; Wassyng A
Series
Lecture Notes in Computer Science
Volume
5503
Pagination
pp. 155-170
Publisher
Springer Nature
Publication Date
2009
DOI
10.1007/978-3-642-00593-0_11
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743