Juliana K.F. Bowles, Iman Poernomo, Ralf Reussner

Research output: Contribution to journalEditorialpeer-review


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.

Original languageEnglish
Pages (from-to)1-4
Number of pages4
JournalElectronic Notes in Theoretical Computer Science
Issue number2
Publication statusPublished - 31 May 2007


Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

Cite this