Proceedings of the 4th International Workshop on Formal Aspects of Component Software

Eric Madelaine 1 Markus Lumpe
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Component-based software emerged as a promising paradigm to deal with the ever increasing need for mastering systems' complexity, for enabling evolution and reuse, and for driving software engineering into sound production and engineering standards. Soon, however, it became a popular technology long before well understood and widely adopted formal foundations have emerged. Issues like mathematical models for components, their interaction and composition, or rigorous approaches to verification, deployment, testing and certification remain open research questions and challenging opportunities for formal methods. Moreover, new challenges are raised by applications of this paradigm to safety-critical, mobile, or reconfigurable systems.
Type de document :
Direction d'ouvrage, Proceedings
Eric Madelaine and Markus Lumpe. vol 215, ENTCS, pp.226, 2008, <10.1016/j.entcs.2008.06.017>
Liste complète des métadonnées

https://hal.inria.fr/inria-00337975
Contributeur : Eric Madelaine <>
Soumis le : lundi 10 novembre 2008 - 11:58:06
Dernière modification le : lundi 10 novembre 2008 - 11:58:06

Identifiants

Collections

Citation

Eric Madelaine, Markus Lumpe. Proceedings of the 4th International Workshop on Formal Aspects of Component Software. Eric Madelaine and Markus Lumpe. vol 215, ENTCS, pp.226, 2008, <10.1016/j.entcs.2008.06.017>. <inria-00337975>

Partager

Métriques

Consultations de la notice

199