FASE 2019

From Openresearch
Jump to: navigation, search
FASE 2019
22nd International Conference on Fundamental Approaches to Software Engineering
Event in series FASE
Subevent of ETAPS 2019
Dates 2019/04/08 (iCal) - 2019/04/11
Homepage: https://conf.researchr.org/track/etaps-2019/fase-2019-papers
Submitting link: http://www.easychair.org/conferences/?conf=fase2019
Location
Location: Prague, Czeck Republic
Loading map...

Important dates
Submissions: 2018/11/16
Notification: 2019/01/25
Camera ready due: 2019/02/15
Papers: Submitted 74 / Accepted 24 (32.4 %)
Committees
Organizers: Jan Kofron
General chairs: Jan Vitek
PC chairs: Reiner Hähnle, Wil van der Aalst, Christel Baier, Stefano Berardi
Table of Contents

Contents


Event

The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.


Enter your description here. Maybe just paste in the call for papers.

Topics

FASE is concerned with the foundations on which software engineering is built. Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all such fundamental approaches, including:

   Software engineering as an engineering discipline, including its interaction with and impact on society and economics;
   Requirements engineering: capture, consistency, and change management of software requirements;
   Software architectures: description and analysis of the architecture of individual systems or classes of applications;
   Specification, design, and implementation of particular classes of systems: (self-)adaptive, collaborative, embedded, distributed, mobile, pervasive, cyber-physical or service-oriented applications;
   Software quality: (static or run-time) validation and verification of functional and non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniques;
    Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific languages, consistency and transformation of models, generative architectures;
   Software processes: support for iterative, agile, and open source development;
   Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation.