Skip to Main content Skip to Navigation
Directions of work or proceedings

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 , Laboratoire I3S - 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.
Document type :
Directions of work or proceedings
Complete list of metadata
Contributor : Eric Madelaine <>
Submitted on : Monday, November 10, 2008 - 11:58:06 AM
Last modification on : Friday, January 8, 2021 - 11:14:19 AM

Links full text




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⟩



Record views