38th EUROMICRO-SEAA 2012: Cesme, Izmir, Turkey

Embedded Software Engineering (ESE)

Model-Based Development

Formal Methods

Certification and Tool Support

Analysis and Synthesis

Model-Based Development, Components, and Services (MOCS)

Product Lines

Embedded Systems

Extra-functional Properties

Modeling Components

Frameworks and Architecture

Finding and Building Components

Modeling Services and Components

Special Sessions Papers: Cyber-Physical Systems (Invited Papers)

Software Process and Product Improvement (SPPI)

Agile and Lean Processes

Process Improvement and Quality Measurement and Assurance

Process and Product Modeling

Practical Experiences and New Ideas for Process Improvement

Special Session: MeSVAM - Measurement as a Strategy for Software Value Management

Software Management (SM)

Cloud Software (CS)

Cloud Technology

Cloud Software

a service of Schloss Dagstuhl - Leibniz Center for Informatics