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
FME '93 - Industrial Strength Formal Methods
Language: en
Pages:
Authors:
Categories: Computer software
Type: BOOK - Published: 1993 - Publisher:

GET EBOOK

FME '93: Industrial-Strength Formal Methods
Language: en
Pages: 695
Authors: James C.P. Woodcock
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

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
Logic Programming and Automated Reasoning
Language: en
Pages: 408
Authors: Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 1993-06-29 - Publisher: Springer Science & Business Media

GET EBOOK

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic
PARLE '93 Parallel Architectures and Languages Europe
Language: en
Pages: 796
Authors: Arndt Bode
Categories: Computers
Type: BOOK - Published: 1993-06-07 - Publisher: Springer Science & Business Media

GET EBOOK

Parallel processing offers a solution to the problem of providing the processing power necessary to help understand and master the complexity of natural phenome