Thus, the Software Engineering track solicits original papers that fit the definition given above. So, Topics of interest include:

• Formal and Semi-formal Specifications,

• Contracts, Test, Verification, validation and model-checking

• Reliability, Exception Handling, Self-Adaptation

• Quality and Quality Measurement

• Re-engineering and Evolution

• Separation of Concerns (Views, Aspects, Subjects, Roles, Traits)

• Patterns, Frameworks

• Components, Software Composition

• Model Driven Engineering

• Software Architecture

• Service/Component Oriented Architecture

• Systems of Systems Engineering

• Software Product Lines and Software Factories

• Tools, Applications, Successes, Failures and Lessons Learned