FASE (Fundamental Approaches to Software Engineering) is concerned with the foundations on which software engineering is built. Its focus is on novel techniques and the way in which they contribute to making software engineering a more mature and soundly based discipline. This year, we particularly encouraged contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support. We welcomed contributions on all such fundamental approaches, including:
– Software engineering as an engineering discipline, including its interaction with and impact on society
– 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: adaptive, collaborative, embedded, distributed, mobile, pervasive, or serviceoriented applications
– Software quality: validation and verification of software using theorem proving, model-checking, testing, analysis, refinement methods, metrics or visualization techniques
– Model-driven development and model-transformation: design and semantics of semi-formal visual languages, consistency and transformation of models
– Software processes: support for iterative, agile, and open source development
– Software evolution: re-factoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation
We solicited two types of contributions: research papers and tool demonstration papers. We received submissions from 31 countries around the world: 116 abstracts followed by 99 full papers, of which 2 were tool papers. The selection process was rigorous. Each paper received at least three reviews. We obtained external reviews for papers that lacked expertise within the Program Committee. We also had four reviews for all papers that did not receive high bids and for papers that had Program Committee authors so as to ensure high quality in accepted papers. Moreover, the Program Committee had extensive online discussions in order to decide on the papers to be accepted for the conference.