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. <b>Keywords:</b> requirement analysis and specification<br>software architectures and their description languages<br>software specification, validation and verification<br>software design and refinement<br>models of programs and systems<br>object and multi–agent systems<br>coordination and feature interaction<br>integration of formal and informal methods<br>integration of different formal methods<br>component–based development<br>service–oriented development<br>aspect–oriented development<br>formal aspects of security and mobility<br>model checking and theorem proving<br>fault–tolerant, real–time and hybrid systems<br>analysis of safety–critical systems<br>formal aspects of software evolution and maintenance<br>formal methods for testing, re–engineering and reuse<br>light–weight formal methods<br>prototyping and visualisation<br>CASE tools and tool integration<br>application to industrial cases<br>formal methods for industrial standardisation<br>socio–economic implications of the use of formal methods
Abbrevation
SEFM
City
Beijing
Country
China
Deadline Paper
Start Date
End Date
Abstract