Publisher: Springer; 2003 edition (October 10, 2003)
Format: PDF / Kindle / ePub
Size: 9.9 MB
Downloadable formats: PDF
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal tools Europe Symposium which used to be held in Pisa, Italy on September 8–14, 2003. Formal equipment Europe (FME, www. fmeurope. org) is an self sufficient - sociation which goals to stimulate using and learn on formal tools for process improvement. FME meetings begun with a VDM Europe symposium in 1987. considering the fact that then, the conferences have grown and feature been held approximately as soon as - ery 18 months. during the years the symposia were particularly winning in bringing jointly researchers, instrument builders, owners, and clients, either from academia and from undefined. not like earlier symposia within the sequence, FM 2003 used to be now not given a speci?c topic. quite, its major target should be synthesized as “widening the scope. ” certainly, the organizers aimed toward enlarging the viewers and effect of the symposium alongside numerous instructions. losing the su?x ‘E’ from the name of the convention re?ects the desire to welcome participation and contribution from each nation; also,contributionsfromoutsidethetraditionalFormalMethodscommunitywere solicited. the hot innovation of together with an business Day as a major a part of the symposium indicates the robust dedication to contain commercial p- ple an increasing number of in the Formal tools neighborhood. Even the normal and fairly fuzzy borderline among “software engineering formal tools” and techniques and formalisms exploited in di?erent ?elds of engineering used to be so- what challenged.