posted by user: buhnova || 9330 views || tracked by 25 users: [display]

FESCA 2013 : 10th International Workshop on Formal Engineering approaches to Software Components and Architectures

FacebookTwitterLinkedInGoogle

Link: http://fesca.ipd.kit.edu/fesca2013/
 
When Mar 23, 2013 - Mar 23, 2013
Where Rome, Italy
Abstract Registration Due Dec 5, 2012
Submission Deadline Dec 12, 2012
Notification Due Jan 25, 2013
Final Version Due Feb 8, 2013
Categories    software engineering   formal methods   software architecture   model-driven development
 

Call For Papers


=====================================================================
Call for Papers

- FESCA 2013 -

10th International Workshop on Formal Engineering
approaches to Software Components and Architectures

Satellite event of ETAPS
March 23th, 2013, Rome, Italy

http://fesca.ipd.kit.edu/fesca2013/
=====================================================================

* Deadline for Paper registration: December 5, 2012
* Deadline for Paper Submission: December 12, 2012
* Notification of Acceptance: January 25, 2013

=====================================================================

WORKSHOP AIM

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 quality properties (e.g. 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.


TOPICS

One strength of FESCA is the link established between the formal methods community and the software engineering community by exploring how formal approaches can be exploited for the analysis of large software architectures.

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

* Architecture as a language: Building Domain-Specific Languages (DSLs)
o Modelling formalisms for the analysis of concurrent, embeded or model-driven systems assembled of components;
o Modelling formalisms in prediction, analysis and measurement of software quality attributes such as reliability, performance, or security;
* Properties of component-based models
o Temporal properties (including liveness and safety) and their formal verification;
o Interface compliance (interface-to-interface and interface-to implementation) and contractual use of components;
* Formal methods in Component-Based Software Development
o Techniques for prediction and formal verification of system properties, including static and dynamic analysis;
o Instrumentation and monitoring approaches, runtime management of applications;
o (Semi-) automatic inference of analytical models for existing software systems;
* Formal methods in Model-Driven Software Development
o Abstraction level in modelling formalisms;
o Safer MDA through integration with formal methods;
o 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 the industrial context. We encourage not only mature research results, submissions presenting innovative ideas and early results are also of interest.


SUBMISSIONS

Three kinds of submissions are considered:

* Regular papers (up to 15 pages in EPTCS format), presenting
original and unpublished work related to the workshop topics.

* Position papers (up to 10 pages in EPTCS format) presenting
ideas and directions of interesting ongoing and yet unpublished
research related to the workshop topics.

* Tool demonstration papers (up to 5 pages in EPTCS format),
presenting and highlighting the distinguishing features of
a topic-related tool (co-developed by the authors).


PROCEEDINGS

* Regular and position papers will be published in a volume of
the Electronic Proceedings in Theoretical Computer Science
(EPTCS) after the workshop.

* All regular, position and tool demonstration papers will
appear in electronic pre-proceedings distributed at the
workshop.


IMPORTANT DATES

* Paper registration: December 5, 2012
* Submission deadline: December 12, 2012
* Notification of acceptance: January 25, 2013
* Final versions due: February 8, 2013
* Workshop date: March 23, 2013


PROGRAMME COMMITTEE

* Ivana Cerna (Masaryk University, Czech Republic)
* Ludovic Henrio (CNRS, France)
* Petr Hnetynka (Charles University in Prague, Czech Republic)
* Samuel Kounev (University of Karlsruhe, Germany)
* Heiko Koziolek (ABB Research Ladenburg, Germany)
* Ralf Kuesters (Universität Trier, Germany)
* Markus Lumpe (Swinburne University of Technology, Australia)
* Raffaela Mirandola (Politecnico di Milano, Italy)
* Dorina Petriu (Carleton Univesity, USA)
* Ralf Reussner (University of Karlsruhe, Germany)
* Cristina Seceleanu (Mälardalen University, Sweden)
* Dennis Westermann (SAP Research, Germany)
* Steffen Zschaler (King's College London, UK)

PC CO-CHAIRS

* Barbora Buhnova (Masaryk University, Czech Republic)
* Lucia Kapova (Karlsruhe Institute of Technology, Germany)
* Jan Kofron (Charles University in Prague, Czech Republic)

Related Resources

ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)
AIFU 2024   10th International Conference on Artificial Intelligence and Applications
Philosophical Approaches to Games and Ga 2024   Call For Papers - Philosophical Approaches to Games and Gamification: Ethical, Aesthetic, Technological and Political Perspectives
NovelIQA 2024   Novel Approaches to Image Quality Assessment