Improving the understandability of formal specifications: An experience with ASMs

Autoren Verena Geist
Christa Illibauer
Felix Kossak
Atif Mashkoor
Editoren
Titel Improving the understandability of formal specifications: An experience with ASMs
Buchtitel Requirements Engineering: Foundation for Software Quality - Proc. REFSQ 2014
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes of Computer Science
Band 8396
ISBN 978-3-319-05842-9
Monat April
Jahr 2014
Seiten 184-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.