@InProceedings{Giese+1997,
AUTHOR = {Giese, Holger and Wirtz, Guido},
TITLE = {{Modular Development of Correct Meander Programs}},
YEAR = {1997},
MONTH = {July},
BOOKTITLE = {Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada},
EDITOR = {Arabnia, H. R.},
PUBLISHER = {CSREA Press},
PDF = {uploads/pdf/Giese+1997_10.1.1.28.3808.pdf},
ABSTRACT = {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 meta-rules and finite model checking permits to even treat software systems with infinite state space in a flexible and stepwise modular development process.}
}