Improving the understandability of formal specifications: An experience with ASMs

Authors Verena Geist
Christa Illibauer
Felix Kossak
Atif Mashkoor
Editors
Title Improving the understandability of formal specifications: An experience with ASMs
Booktitle Requirements Engineering: Foundation for Software Quality - Proc. REFSQ 2014
Type in proceedings
Publisher Springer
Series Lecture Notes of Computer Science
Volume 8396
ISBN 978-3-319-05842-9
Month April
Year 2014
Pages 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.