Improving the Understandability of Formal Specifications: An Experience Report.

Felix Kossak Atif Mashkoor Verena Geist Christa Illibauer

Published in: REFSQ (2014)

Keyphrases

formal specification
object oriented design
model checking
concurrent systems
specification languages
reverse engineering
specification language
process algebra
formal methods
design methodology
database
databases
general purpose
semantic data models