Modular Development of Correct Meander Programs.
Holger Giese, Guido Wirtz · 1997
We describe the modular development of correct parallel software with the Meander system from high-level specifications down to a concrete implementation, based on a communicating algebra formalism. We focus on the external behavior of the components and keep the behavioral properties through refinement and abstraction. A combination of a flexible set of syntactical metarules and finite model checking permits to even treat software systems with infinite state space in a flexible and stepwise modular development process.