Improving the understandability of formal specifications: An experience with ASMs

Autoren Verena Geist
Christa Illibauer
Felix Kossak
Atif Mashkoor
Editoren
TitelImproving the understandability of formal specifications: An experience with ASMs
BuchtitelRequirements Engineering: Foundation for Software Quality - Proc. REFSQ 2014
Typin Konferenzband
VerlagSpringer
SerieLecture Notes of Computer Science
Band8396
ISBN978-3-319-05842-9
MonatApril
Jahr2014
Seiten184-199
SCCH ID#1380
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.