Proceedings of the 4th International Workshop on Formal Aspects of Component Software - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2008

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

Eric Madelaine
Markus Lumpe
  • Function : Scientific advisor
  • PersonId : 855382

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.

Dates and versions

inria-00337975 , version 1 (10-11-2008)

Identifiers

Cite

Eric Madelaine, Markus Lumpe (Dir.). Proceedings of the 4th International Workshop on Formal Aspects of Component Software. Eric Madelaine and Markus Lumpe. ENTCS, vol 215, pp.226, 2008, ⟨10.1016/j.entcs.2008.06.017⟩. ⟨inria-00337975⟩
94 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More