Formal methods for the development of computer systems have been extensively - searched and studied. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs of moderate size that are used in critical applications. The challenge now is to scale up formal methods and integrate them into engineering dev- opment processes for the correct construction and maintenance of computer systems. Thisrequiresus to improvethe state of the art by researchingthe integrationof methods and their theories, and mergingthem into industrial engineeringpractice, includingnew and emerging practice. ICFEM, the International Conference on Formal Engineering Methods, aimsto bring together those interested in the application of formal engineering methods to computersystems. Researchers and practitioners, from industry, academia, and gove- ment, are encouraged to attend, and to help advance the state of the art. The conference particularly encourages research that aims at a combination of conceptual and meth- ological aspects with their formal foundation and tool support, and work that has been incorporated into the production of real systems. This volume contains the proceedings of ICFEM 2006, which was the 8th ICFEM and held in Macao SAR, China on 1-3 November 2006. The Program Committee - ceived 108 submissions from over 30 countries and regions. Each paper was reviewed, mostly by at least three referees working in relevant ?elds, but by two in a few caJ Systems (Europe) Ltd., Failures-Divergence Refinement, User Manual, ob- agt;le from http://www.fsel.com/fdr2_manual.html hrmann and J. Hiemer, Formal Verification of STATEMATE-Statecharts, er.nj.nec.com/255163.html, 2001. Tokkink andanbsp;...
|Title||:||Formal Methods and Software Engineering|
|Author||:||Zhiming Liu, Jifeng He|
|Publisher||:||Springer Science & Business Media - 2006-10-24|