Improving the understandability of formal specifications: An experience with ASMs

V. Geist, C. Illibauer, F. Kossak, A. Mashkoor. Improving the understandability of formal specifications: An experience with ASMs. volume 8396, pages 184-199, 4, 2014.

Autoren
  • Verena Geist
  • Christa Illibauer
  • Felix Kossak
  • Atif Mashkoor
BuchRequirements Engineering: Foundation for Software Quality - Proc. REFSQ 2014
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes of Computer Science
Band8396
ISBN978-3-319-05842-9
Monat4
Jahr2014
Seiten184-199
Abstract

The understandability of formal specifications is often considered as one of the main factors that
limit the employment of formal methods in industrial applications. Two reasons account for this issue: intricate notations and a coarse style of writing specifications. In this paper, we present our experience of rendering formal specifications understandable yet rigorous by employing some intuitive writing style guidelines, based on the ASM method.