FME 93 Industrial Strength Formal Methods

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.

FME  93  Industrial Strength Formal Methods

FME 93 Industrial Strength Formal Methods

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.

More Books:

FME '93: Industrial-Strength Formal Methods
Language: un
Pages: 689
Authors: James C.P. Woodcock, Jim Woodcock, Peter G. Larsen
Categories: Business & Economics
Type: BOOK - Published: 1993 - Publisher: Springer Science & Business Media

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
FME '93 - Industrial Strength Formal Methods
Language: un
Pages:
Authors: James C.P. Woodcock, Jim Woodcock, Peter G. Larsen
Categories: Computer software
Type: BOOK - Published: 1993 - Publisher:

Books about FME '93 - Industrial Strength Formal Methods
FME '93: Industrial-Strength Formal Methods
Language: un
Pages: 695
Authors: James C.P. Woodcock, Peter G. Larsen
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

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
Industrial-Strength Formal Methods in Practice
Language: en
Pages: 400
Authors: Michael G. Hinchey, Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
Language: en
Pages: 684
Authors: John Fitzgerald, Cliff B. Jones, Peter Lucas
Categories: Computers
Type: BOOK - Published: 1997-09-03 - Publisher: Springer Verlag

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of

Popular All Time

How to Grill Everything
Falastin
Tea Time
What's a Cook to Do?
Vegetable Simple: A Cookbook
The Wicked Healthy Cookbook
Salad of the Day
FlavCity's 5 Ingredient Meals
Beyond the Great Wall
Illustrated Step-by-Step Baking
The Blue Zones Kitchen
Mangoes & Curry Leaves
Stir Crazy
French Pastry Made Simple
Joshua Weissman: An Unapologetic Cookbook
Chewy Gooey Crispy Crunchy Melt-In-Your-Mouth Cookies
The Cook's Atelier
Franny's