FASE 2013

FASE 2013
International Conference on Fundamental Approaches to Software Engineering
Ordinal	16
Event in series	FASE
Subevent of	ETAPS 2013
Dates	2013/03/16 (iCal) - 2013/03/24
Presence	presence
Homepage:	https://etaps.org/2013/fase
Submitting link:	https://www.easychair.org/account/signin?l=1KWm9kLf54rxidbbAw20gk#
Location
Location:	Rome, Italy
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}
Important dates
Abstracts:	2012/10/07
Submissions:	2012/10/14
Notification:	2012/12/14
Papers:	Submitted 112 / Accepted 25 (22.3 %)
Committees
PC chairs:	Vittorio Cortellessa, Daniel Varró
Keynote speaker:	Krzysztof Czarnecki
Table of Contents
Contents 1 Topics

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

The 16. International Conference on Fundamental Approaches to Software Engineering (FASE) 2013

Topics

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 service-oriented applications;
Software quality: validation and verification of software using theorem proving, model checking, testing, analysis, refinement methods, metrics or visualisation 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.