FME '93: Industrial-Strength Formal Methods

FME '93: Industrial-Strength Formal Methods
Author :
Publisher : Springer Science & Business Media
Total Pages : 712
Release :
ISBN-10 : 3540566627
ISBN-13 : 9783540566625
Rating : 4/5 (625 Downloads)

Book Synopsis FME '93: Industrial-Strength Formal Methods by : Jim Woodcock

Download or read book FME '93: Industrial-Strength Formal Methods written by Jim Woodcock and published by Springer Science & Business Media. This book was released on 1993 with total page 712 pages. Available in PDF, EPUB and Kindle. Book excerpt: The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.


FME '93: Industrial-Strength Formal Methods Related Books

FME '93: Industrial-Strength Formal Methods
Language: en
Pages: 712
Authors: Jim Woodcock
Categories: Business & Economics
Type: BOOK - Published: 1993 - Publisher: Springer Science & Business Media

GET EBOOK

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea
Industrial-Strength Formal Methods in Practice
Language: en
Pages: 410
Authors: Michael G. Hinchey
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industr
FME 2003: Formal Methods
Language: en
Pages: 955
Authors: Keijiro Araki
Categories: Business & Economics
Type: BOOK - Published: 2003-08-27 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44
Formal Methods for Open Object-based Distributed Systems
Language: en
Pages: 408
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2016-02-13 - Publisher: Springer

GET EBOOK

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications sys
FME 2002: Formal Methods - Getting IT Right
Language: en
Pages: 636
Authors: Lars-Henrik Eriksson
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

GET EBOOK

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europ