FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceed by James C.P. WoodcockFME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceed by James C.P. Woodcock

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe…

EditorJames C.P. Woodcock, Peter G. Larsen

Paperback | April 6, 1993

Pricing and Purchase Info

$192.95 online 
$219.95 list price save 12%
Earn 965 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged.This volume presents the proceedings of the firstinternational symposium of Formal Methods Europe, FME'93.The symposium focuses on the application ofindustrial-strength formal methods. Authors address thedifficulties of scaling their techniques up toindustrial-sized problems, and their suitability in theworkplace, and discuss techniques that are formal (thatis, they have a mathematical basis) and that areindustrially applicable.The volume has four parts:- Invited lectures, containing a lecture by Cliff B. Jonesand 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.
Title:FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe…Format:PaperbackDimensions:704 pages, 9.17 × 6.1 × 0.01 inPublished:April 6, 1993Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540566627

ISBN - 13:9783540566625

Look for similar items by category:

Reviews