Modular Development of Correct Meander Programs (bibtex)
by ,
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.
Reference:
Modular Development of Correct Meander Programs (Holger Giese, Guido Wirtz), In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada (H. R. Arabnia, ed.), CSREA Press, 1997.
Bibtex Entry:
@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},
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.}
}
Powered by bibtexbrowser