posted by user: kapova || 16824 views || tracked by 57 users: [display]

FESCA 2015 : 12th International Workshop on Formal Engineering approaches to Software Components and Architectures

FacebookTwitterLinkedInGoogle

Link: http://fesca.ipd.kit.edu/fesca2015
 
When Apr 12, 2015 - Apr 12, 2015
Where London, UK
Abstract Registration Due Dec 10, 2014
Submission Deadline Dec 17, 2014
Notification Due Jan 26, 2015
Final Version Due Feb 16, 2015
Categories    software architecture   model-driven development   software engineering   formal methods
 

Call For Papers

*** Please accept our apologies should you receive multiple copies of this call from different lists. ***

INVITATION:

Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FESCA 2015.


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

- FESCA 2015 -

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

Satellite event of ETAPS
April 12th, 2015, London, UK

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

* Paper registration: December 10, 2014
* Submission deadline: December 17, 2014
* Notification of acceptance: January 26, 2015

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

WORKSHOP AIM
In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity of today's software systems, FESCA aims at addressing two research questions: (1) what role the software architecture can play in systematic addressing of the analytical and modelling challenges, and (2) how formal and semi-formal techniques can be applied effectively to make the issues easier to address automatically, with lower human intervention.

TOPICS

We encourage submissions on (semi-)formal techniques and their application that aid analysis, design and implementation of software applications, including the techniques in the realm of Model-Driven Development.
In this context, the topics include (but are not limited to):
* Modelling
- Modelling formalisms;
- Models, metamodels and model transformations;
* Correctness checking
- Temporal properties and their formal verification;
- Interface compliance and contractual use of components;
* Correctness of models, metamodels and model transformations
* Analysis and prediction of quality attributes
- Formal prediction and analysis;
- Static and dynamic analysis;
- Instrumentation and monitoring approaches;
* Industrial case studies and experience reports.

We encourage not only mature research results, submissions presenting innovative ideas and early results of junior researchers are also of a particular interest.

SUBMISSIONS

Three kinds of submissions are solicited:

* regular papers (up to 15 pages) presenting original and unpublished work related to the workshop topics,
* position papers (up to 10 pages) presenting ideas and directions of interesting ongoing and yet unpublished research related to the workshop topics, and
* tool demonstration papers (up to 8 pages) presenting and highlighting the distinguishing features of a topic-related tool (co-developed by the authors).

PROCEEDINGS

* Final versions of accepted regular, position and tool papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).

IMPORTANT DATES

* Paper registration: December 10, 2014
* Submission deadline: December 17, 2014
* Notification of acceptance: January 26, 2015
* Final versions due: February 16, 2015
* Workshop date: April 12, 2015

PROGRAMME COMMITTEE (tentative)

* Premysl Brada (University of West Bohemia in Pilsen, Czech Republic)
* Ivana Cerna (Masaryk University, Czech Republic)
* Yanja Dajsuren (Eindhoven University of Technology, Netherlands)
* Antinisca Di Marco (Universita dell'Aquila, Italy)
* Petr Hnetynka (Charles University in Prague, Czech Republic)
* Samuel Kounev (Universitat Wuerzburg, Germany)
* Ralf Kuesters (Universitat Trier, Germany)
* Markus Lumpe (Swinburne University of Technology, Australia)
* Daniel Menasche (UFRJ, Brazil)
* Raffaela Mirandola (Politecnico di Milano, Italy)
* Dorina Petriu (Carleton Univesity, USA)
* Nadia Polikarpova (ETH Zuerich, Switzerland)
* Ralf Reussner (Karlsruhe Institute of Technology, Germany)
* Cristina Seceleanu (Malardalen University, Sweden)
* Catia Trubiani (Gran Sasso Science Institute, Italy)
* Steffen Zschaler (King's College London, UK)


PC CO-CHAIRS

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

Related Resources

ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
IJCSES 2020   International Journal of Computer Science and Engineering Survey
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
ICSESS 2021   2021 12th International Conference on Software Engineering and Service Science
ENASE 2021   16th International Conference on Evaluation of Novel Approaches to Software Engineering
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
FM 2021   Formal Methods 2021