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. However, many issues in component-based software development remain open and challenging research questions. On the other hand, formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems. Therefore, they are of great use to set up formal foundations of component software and work out challenging issues such as mathematical models for components, their composition and adaptation, or rigorous approaches to verification, deployment, testing and certification.
The objective of FACS'08 is to bring together researchers in the areas of component software and formal methods to promote a deep understanding of this paradigm and its applications. The workshop will also be interested in defining the common aspects of components and component-based development. It is expected that formal paper presentations will be followed by lively discussions.
FACS'08 is the fifth event in a series of workshops, founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The first FACS workshop was co-located with FM'03 (Pisa, Italy, September 2003). The following FACS workshops were organised as standalone event respectively at UNU-IIST in Macau (October 2005), at Charles University in Prague (September 2006), and at INRIA in Sophia-Antipolis (September 2007). FACS'08 is planned again as a separate event organised by the University of Málaga in September 2008.