The 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (pending), will be held in London, UK.<br>The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state–of–the–art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. Previous SEFM Conferences were held in Brisbane, Australia (2003), Beijing, China (2004), Koblenz, Germany (2005) and Pune, India (2006).<br>Authors are invited to submit both research and tool papers. The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials, and workshops.<br>The proceedings of the conference will be published by the IEEE Computer Society Press.<br><b>Keywords:</b> * requirement analysis and specification<br>* software specification, validation and verification<br>* component–based development<br>* programming languages and type theory<br>* formal models for service–oriented computing; web & grid computing<br>* formal aspects of security and mobility<br>* model checking for software and hardware systems<br>* theorem proving and decision procedures<br>* program analysis<br>* fault–tolerant computing<br>* embedded systems; real–time and hybrid systems theory<br>* software architectures and their description languages<br>* object and multi–agent systems, aspect oriented development<br>* coordination and feature interaction<br>* formal aspects of software evolution and maintenance<br>* formal methods for testing, re–engineering and reuse<br>* CASE tools and tool integration<br>* applications of formal methods and industrial case studies<br>* socio–economic implications of the use of formal methods<br>
Abbrevation
SEFM
City
London
Country
UK
Deadline Paper
Start Date
End Date
Abstract