15th International Conference on Software Engineering and Formal Methods

The topics of interest for submission include, but are not limited to the following aspects of software engineering and formal methods:

• 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.
• Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing, re-engineering and reuse.
• Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance and reuse.
• Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis.
• Security and safety: security and mobility; safety-critical, fault-tolerant and secure systems; software certification.
• Design principles: programming languages; domain specific languages; type theory; abstraction and refinement.