Lecture Notes in Computer Science

Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.

By: Marie-Claude Gaudel (Editor), James Woodcock (Editor)

Write A Review

Paperback | 6 March 1996

At a Glance

Paperback
724 Pages

Dimensions(cm)
22.86 x 15.24 x 3.81

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations".
The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Business & Management Business Mathematics & Systems Business Applications Compilers & Interpreters

How did Software get so Reliable Without Proof?	p. 1
A Case Study on the Formal Development of a Reactor Safety System	p. 18
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments	p. 39
Quantitative Analysis of an Application of Formal Methods	p. 60
Applying the B Technologies to CICS	p. 74
Refining Action Systems within B-Tool	p. 85
Integrating Action Systems and Z in a Medical System Specification	p. 105
Formalizing Anaesthesia: a Case Study in Formal Specification	p. 120
A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation	p. 140
Formalizing New Navigation Requirements for NASA's Space Shuttle	p. 160
Combining VDM-SL Specifications with C++ Code	p. 179
Data Reification without Explicit Abstraction Functions	p. 195
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study	p. 214
Visual Verification of Safety and Liveness	p. 228
Graphical Development of Consistent System Specifications	p. 248
Deduction in the Verification Support Environment (VSE)	p. 268
Consistency and Refinement for Partial Specification in Z	p. 287
Combining Statecharts and Z for the Design of Safety-Critical Control Systems	p. 307
Integrating Real-time Scheduling Theory and Program Refinement	p. 327
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems	p. 347
Local Nondeterminism in Asynchronously Communicating Processes	p. 367
Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language	p. 385
Formal Specification and Verification of the pGVT Algorithm	p. 405
Automatic Verification of a Hydroelectric Power Plant	p. 425
Experiences in Embedded Scheduling	p. 445
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN	p. 465
The Incremental Development of Correct Specifications for Distributed Systems	p. 479
A Theory of Distributing Train Rescheduling	p. 499
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets	p. 518
From Testing Theory to Test Driver Implementation	p. 538
Program Slicing using Weakest Preconditions	p. 557
A Formal Approach to Architectural Design Patterns	p. 576
Modular Completeness: Integrating the Reuse of Specified Software in Top-Down Program Development	p. 595
A Strategic Approach to Transformational Design	p. 609
Correct and User-Friendly Implementations of Transformation Systems	p. 629
An Example of use of Formal Methods to Debug an Embedded Software	p. 649
Experiments in Theorem Proving and Model Checking for Protocol Verification	p. 662
Procedure-Level Verification of Real-time Concurrent Systems	p. 682
Author's Index	p. 703
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Business Applications

Microsoft Planner For Dummies

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

SPSS Statistics

5th Edition - A Practical Guide

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Statistics and Data Handling for Biologists

A Student's Guide

Statistics and Data Handling for Biologists

A Student's Guide

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Proceedings of the 6th International Conference on Research in Management & Technovation

ICRMAT-2025

Introduction and Applications of Machine Learning in Geotechnics

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

The Visual MBA

A Quick Guide to Everything You'll Learn in Two Years of Business School

MYOB For Dummies

9th Edition

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Access For Dummies

Access for Dummies

Hands-On Programming with R

Write Your Own Functions and Simulations

Statistical Rethinking

2nd Edition - A Bayesian Course with Examples in R and STAN

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Microsoft 365 PowerPoint For Dummies

Powerpoint for Dummies

Microsoft 365 Office All-in-One For Dummies

For Dummies (Computer/Tech)

Microsoft Excel 365 Bible

Bible

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The Value of People Analytics

Using HR Data to Drive Business Results

Adobe Photoshop Lightroom Classic For Dummies

For Dummies (Computer/Tech)

Microsoft Teams For Dummies

For Dummies (Computer/Tech)

This product is categorised by