作者: Keijiro Araki

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling …

…

Thisvolumecontainstheproceedingsof FM2003, the12th International Formal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) …

Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose …