Formal specification comprehension: the art of reading and writing z
Andreas Bollin, Dominik Rauner-Reithmayer · 2014
Formal Methods have been developed to provide systematic and rigorous techniques for software development. They found their place in document-driven development processes as well as in the agile world. However, reading, understanding and working with a formal specification still turns out to be a real challenge.