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 $89.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 365 Excel All-in-One For Dummies

Excel for Dummies

Statistics and Data Handling for Biologists

A Student's Guide

Statistics and Data Handling for Biologists

A Student's Guide

New Trends in Blockchain

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

ICRMAT-2025

Introduction and Applications of Machine Learning in Geotechnics

SPSS Statistics

5th Edition - A Practical Guide

Statistical Analysis Techniques, Volume 1

Foundations and Basic Applications

Statistical Analysis Techniques, Volume 2

Advanced Methods and Applied Research Tools

Data Inspired

Building an Organizational Culture of Inquiry for Lasting Transformation

Getting to Know ArcGIS Pro 3.6

Getting to Know

Hands-On Programming with R

Write Your Own Functions and Simulations

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The Visual MBA

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

Microsoft Excel 365 Bible

Bible

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Excel 2019 All-in-One For Dummies

All-in-One For Dummies

Adobe Photoshop Lightroom Classic For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Word For Professionals For Dummies

For Dummies (Computer/Tech)

Microsoft Planner For Dummies

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

The Value of People Analytics

Using HR Data and AI to Drive Business Results

Microsoft 365 PowerPoint For Dummies

Powerpoint for Dummies

Microsoft 365 Office All-in-One For Dummies

For Dummies (Computer/Tech)

This product is categorised by