FESCA 2012 - 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)

Website http://www.etaps.org/2012 | Edit Freely

Category FESCA 2012

Deadline: October 14, 2011 | Date: March 24, 2012-March 31, 2012

Venue/Country: Tallinn, Estonia

Updated: 2011-07-26 18:07:31 (GMT+9)

Call For Papers - CFP

Component-based software design has received considerable attention in industry and academia in the past decade. In recent years, the growing need for trustworthy software systems and the increased relevance of systems reliability, performance, and scalability have stimulated the emergence of formal techniques and architecture modelling approaches for the specification and implementation of component-based software architectures. Both have to deal with an increasing complexity in software systems, challenging analytical methods as well as modelling techniques.

FESCA aims to address the open question of how formal methods can be applied effectively to these new contexts and challenges. FESCA is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.