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. Possible topics include, but are not limited to:
The invited speakers for the 2008 edition will be Jeff Magee from the Imperial College (United Kingdom), and Ralf Reussner from the University of Karlsruhe (Germany).
Call for Papers: pdf or txt