Formal specification comprehension: the art of reading and writing z.

Andreas Bollin Dominik Rauner-Reithmayer

Published in: FormaliSE (2014)

Keyphrases

formal specification
reading comprehension
object oriented design
model checking
specification languages
reverse engineering
specification language
formal methods
data abstraction
process algebra
program comprehension
concurrent systems
database systems
formal verification