<P>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.</P><B></B> <P><B>Keywords:</B> </P> <P> * requirement analysis and specification<BR> * software specification, verification and validation<BR> * component–based development<BR> * programming languages and type theory<BR> * formal models for service–oriented computing<BR> * web and 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<BR> * real–time and hybrid systems theory<BR> * analysis of safety–critical systems<BR> * interactive systems and human error analysis<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> * light–weight formal methods<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></P>
Abbrevation
SEFM
City
Cape Town
Country
South Africa
Deadline Paper
Start Date
End Date
Abstract