The topics of interest for submission include, but are not limited to the following aspects of software engineering and formal methods:<br>New frontiers in software architecture: self–adaptive, service–oriented and cloud computing systems; component, object and multi–agent systems; real–time, hybrid and embedded systems; reconfigurable systems.<br>Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing, re–engineering and reuse.<br>Software development methods: requirement analysis, modeling, specification and design; light–weight and scalable formal methods; software evolution, maintenance and reuse.<br>Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis.<br>Security and safety: security and mobility; safety–critical, fault–tolerant and secure systems; software certification.<br>Design principles: programming languages; domain specific languages; type theory; abstraction and refinement.<br>
Abbrevation
SEFM
City
Trento
Country
Italy
Deadline Paper
Start Date
End Date
Abstract