Dr. Corina Pasareanu chaired the 9th International Symposium on Formal Aspects of Component Software (FACS), held September 12-14, 2012 at NASA Ames Research Center. The Symposium featured a strong technical program consisting of peer-reviewed presentations, two invited talks by Tevfik Bultan (Professor at UC Santa Barbara) and Shaz Qadeer (from Microsoft Research), and a panel led by Natarajan Shankar (from the Stanford Research Institute). The event was organized by Carnegie Mellon University, Silicon Valley, included members from the Robust Software Engineering Group, and was held in Building 152 on the grounds of NASA Ames Research Park. This was the first international FACS Symposium held outside Europe. In previous years the Symposium has been held at Oslo, Norway; Guimarães, Portugal; and Eindhoven, Netherlands.
BACKGROUND: The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. The FACS Symposium is concerned with how formal methods can be used to make component-based software development succeed. The Symposium targets challenging issues such as mathematical models for components; composition and adaptation; and rigorous approaches to verification, deployment, testing, and certification for component software. The Symposium addressed the applications of formal methods in all aspects of software components and services. Specific topics included:
Contact: Dr. Corina S. Pasareanu