2006 Eighth International Conference on Formal Engineering Methods, Macau, China

Formal methods for development of computer systems have been extensively researched and studied&#046; We have now a good theoretical understanding of how to describe what programs do, how they do it, and why they work&#046; A range of semantic theories, specification languages, design techniques, and verification methods and tools have been developed and applied to the construction of programs of moderate size that are used in critical applications&#046;<br>The challenge now is to scale up formal methods and integrate them into engineering development processes for the correct construction and maintenance of computer systems&#046; This requires us to improve the state of the art by researching the integration of methods and their theories, and merging them into industrial engineering practice, including new and emerging practice&#046;<br>ICFEM 2006 aims to bring together those interested in the application of formal engineering methods to computer systems&#046; Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art&#046; We particularly encourage submissions that aim at a combination of conceptual and methodological aspects with their formal foundation and tool support&#046; We are interested in work that has been incorporated into real production of systems, and in theoretical work that promises to bring practical, tangible benefit&#046;<br><b>Keywords:</b> Integrated methods and theories for different programming paradigms and design patterns<br>Formal model&#8211;based development and code generation<br>Formal methods for object and component systems<br>Application in model&#8211;driven and service&#8211;based architectures<br>Abstraction and refinement<br>Tool development and integration for formal system design, analysis and verification<br>Integration of formal verification tools in CASE tools<br>Techniques for specification, verification and validation<br>Techniques and case studies for correctness by construction<br>Experiments of verified systems<br>Testing and test&#8211;case generation<br>Techniques and case studies for reverse engineering<br>Application in real&#8211;time, hybrid and critical systems<br>Development methodologies with their formal foundations<br>Emerging technologies<br>