Abstract state machines and software requirements specifications

Autoren Verena Geist
Christa Illibauer
Felix Kossak
Friedrich Stallinger
Titel Abstract state machines and software requirements specifications
Typ Technischer Bericht
Nummer SCCH-TR-1207
Institution Software Competence Center Hagenberg GmbH
Monat March
Jahr 2012
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.