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

Website www.etaps.org/2013 | Edit Freely

Category FESCA 2013

Deadline: October 14, 2012 | Date: March 16, 2013-March 24, 2013

Venue/Country: Rome, Italy

Updated: 2012-06-30 21:25:46 (GMT+9)

Call For Papers - CFP

We encourage submissions on formal techniques and their application that aid reasoning, analysis and certification of component and servicebased applications. In this context, the following topics are of particular concern:

Architecture as a language: Building Domain-Specific Languages (DSLs)

Modelling formalisms for the analysis of concurrent, embedded or and model-driven systems assembled of components and services;

Modelling formalisms in prediction, analysis and measurement of software quality attributes such as reliability, performance, or security;

Properties of component and service-based models

Temporal properties (including liveness and safety) and their formal verification;

Interface compliance (interface-to-interface and interface-to-implementation) and contractual use of components;

Formal methods in Component-Based Software Development

Techniques for prediction and formal verification of system properties, including static and dynamic analysis;

Instrumentation and monitoring approaches, runtime management of applications;

(Semi-) automatic inference of analytical models for existing software systems;

Formal methods in Service-Based Software Development

Techniques for behaviour modelling of services and their orchestration

Static and runtime verification and monitoring techniques for ensuring service quality, such as reliability, security and safety

Formal methods in Model-Driven Software Development

Abstraction level in modelling formalisms;

Safer MDA through integration with formal methods;

Correctness of model transformations;

Industrial case studies and experience reports.

Submissions concentrating on specification techniques should involve an evaluation of the practical merit of their research and clearly state the analysis and reasoning techniques they enable. We also appreciate work of a formal nature with immediate value to for the industrial context. We encourage not only mature research results, submissions presenting innovative ideas and early results are also of interest.

Lucia Kapová (Karlsruhe Inst. of Technology, Germany)

Jan Kofroň (Charles Univ. in Prague, Czech Republic)