Published Articles >> Table of Contents >> Abstract

30th EUROMICRO Conference (EUROMICRO'04)   pp. 66-73
Whole-Part based Composition Approach: A Case Study
Nicolas Belloir, LIUPPA - Université de Pau et des Pays de l'Adour, France
Fabien Romeo, LIUPPA - Université de Pau et des Pays de l'Adour, France
Jean-Michel Bruel, LIUPPA - Université de Pau et des Pays de l'Adour, France

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.1333357
Send link to a friend

Abstract
Component Based Software Engineering is a good response to actual systems needs: flexibility and adaptability. In this context, design techniques based on software composition and verification techniques proving that the design properties are well implemented, are current and actively studied problematics. In this paper we present a composition design technique based on a formally defined theory: the whole-part relationship. We show, with an in-house verification framework, how to verify an implementation of composition properties. We illustrate our approach with a case study.
Back to Top Additional Information
Citation:  Nicolas Belloir, Fabien Romeo, Jean-Michel Bruel, "Whole-Part based Composition Approach: A Case Study," euromicro, pp. 66-73,  30th EUROMICRO Conference (EUROMICRO'04),  2004