Abstract state machines and software requirements specifications

Autoren Verena Geist
Christa Illibauer
Felix Kossak
Friedrich Stallinger
TitelAbstract state machines and software requirements specifications
TypTechnischer Bericht
NummerSCCH-TR-1207
InstitutionSoftware Competence Center Hagenberg GmbH
MonatMarch
Jahr2012
SCCH ID#1207
Abstract

We discuss the place of formal or semi-formal methods within a complete software requirements specification, and in particular the role of an Abstract State Machine (ASM) ground model therein. In the light of the great variety of potential readers of a specification, we stress the importance of general understandability. We draw attention to several problems we have encountered during practical work, and make propositions for the design of specification documents in which the ASM method is used.