HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Monday, November 10, 2008 - 11:58:06 AM
Last modification on : Friday, February 4, 2022 - 3:19:18 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