Preface

Foundation of Embedded Software and Component-based Software Architecture (FESCA) is planning to hold a workshop in Braga, Portugal, that aims to create a platform for researchers from academia and industry interested in formal modeling approaches to develop object-oriented software with associated analysis and reasoning techniques. Formal and informal techniques are increasingly being used for the specification and implementation of component-based software architectures. FESCA establishes relations between the embedded software design community and the formal software engineering community by exploring formal approaches that can be exploited by both community. It introduces a new method for module checking, which is concerned with model checking open systems, where the environment may influence the holding of a temporal logic property. It also provides formal techniques and CASE tools for the analysis and reasoning of local component properties and global system properties.