Event:FASE 2013

Deadlines

2012-12-14

2012-10-07

2012-10-14

7 Oct 2012

Abstract

14 Oct 2012

Submission

14 Dec 2012

Notification

Venue

University of Rome, Rome, Latium, Italy

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","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":[{"text":"","title":"","link":"","lat":41.8854563,"lon":12.46229245,"icon":""}],"imageoverlays":null}

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.