FESCA @ ETAPS 2014
Date: Apr 12, 2014 1:00 am – Apr 12, 2014 11:00 am
Location: Grenoble, France
FESCA @ ETAPS 2014
11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2014, Grenoble, France
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.
**************************************************************************
PROGRAM HIGHLIGHTS: We are pleased to announce invited speaker:
Prof. Dr. Colin Atkinson, Chair of Software Engineering at University of Mannheim (Germany), has agreed to deliver the FESCA 2014 keynote speech on the topic:
"Facilitating Formal Views in View-Driven (Orthographic) Software Engineering" and tutorial on the topic: "Orthographic and Deep Modeling with Melanee"
**************************************************************************
PROGRAMME COMMITTEE
- Ivana Černá (Masaryk University, Czech Republic)
- Antinisca Di Marco (Università dell'Aquila, Italy)
- Petr Hnetynka (Charles University in Prague, Czech Republic)
- Samuel Kounev (Karlsruhe Institute of Technology, Germany)
- Ralf Küsters (Universität 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 Zürich, Switzerland)
- Ralf Reussner (Karlsruhe Institute of Technology, Germany)
- Cristina Seceleanu (Mälardalen University, Sweden)
- Kishor Trivedi (Duke University, USA)
- Catia Trubiani (Università dell'Aquila, 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)
-
Submitted by Anonymous
on
11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2014, Grenoble, France
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.
**************************************************************************
PROGRAM HIGHLIGHTS: We are pleased to announce invited speaker:
Prof. Dr. Colin Atkinson, Chair of Software Engineering at University of Mannheim (Germany), has agreed to deliver the FESCA 2014 keynote speech on the topic:
"Facilitating Formal Views in View-Driven (Orthographic) Software Engineering" and tutorial on the topic: "Orthographic and Deep Modeling with Melanee"
**************************************************************************PROGRAMME COMMITTEE
- Ivana Černá (Masaryk University, Czech Republic)
- Antinisca Di Marco (Università dell'Aquila, Italy)
- Petr Hnetynka (Charles University in Prague, Czech Republic)
- Samuel Kounev (Karlsruhe Institute of Technology, Germany)
- Ralf Küsters (Universität 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 Zürich, Switzerland)
- Ralf Reussner (Karlsruhe Institute of Technology, Germany)
- Cristina Seceleanu (Mälardalen University, Sweden)
- Kishor Trivedi (Duke University, USA)
- Catia Trubiani (Università dell'Aquila, 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)