ZB 2002

Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

By: Didier Bert (Editor), Jonathan P. Bowen (Editor), Martin C. Henson (Editor)

Write A Review

Paperback | 16 January 2002

At a Glance

Paperback
552 Pages

Dimensions(cm)
22.86 x 15.88 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux ´ within the Institut d'Informatique et Mathematiques ´ Appliquees ´ de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.

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 $79.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 Programming & Scripting Languages Software Engineering Medicine Medicine in General Mathematics Mathematical Foundation Mathematical Logic Computer Science

Theories, Implementations, and Transformations	p. 1
Incremental Proof of the Producer/Consumer Property for the PCI Protocol	p. 22
Controlling Control Systems: An Application of Evolving Retrenchment	p. 42
Checking Z Data Refinements Using an Animation Tool	p. 62
Encoding Object-Z in Isabelle/HOL	p. 82
Characters + Mark-up = Z Lexis	p. 100
Extraction of Abstraction Invariants for Data Refinement	p. 120
An Approach to Combining B and Alloy	p. 140
Software Construction by Stepwise Feature Introduction	p. 162
The Semantics of Circus	p. 184
Handling Inconsistencies in Z Using Quasi-Classical Logic	p. 204
Loose Specification and Refinement in Z	p. 226
On Using Conditional Definitions in Formal Theories	p. 242
A Theory of Generalised Substitutions	p. 270
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing	p. 291
A Comparison of the BTT and TTF Test-Generation Methods	p. 309
A Formal Analysis of the CORBA Security Service	p. 330
Type Synthesis in B and the Translation of B to PVS	p. 350
öHigher-Orderö Mathematics in B	p. 370
ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries	p. 394
Generalised Substitution Language and Differentials	p. 396
Communicating B Machines	p. 416
Synchronized Parallel Composition of Event Systems in B	p. 436
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study	p. 458
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions	p. 477
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints	p. 497
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development	p. 517
Author Index	p. 535
Table of Contents provided by Publisher. All Rights Reserved.

ZB 2002

Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

Machine Learning For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Supremacy

AI, ChatGPT and the Race that Will Change the World

Empire of AI

Inside the reckless race for total domination

Deep Learning for Intrusion Detection

Techniques and Applications

Human-Centered Design for Health Care Safety

SEIPS in Action

Python All-in-One For Dummies

3rd Edition

Leading Enterprise AI Programs

Optimize AI Teams for Value Creation

MRI in Practice

5th Edition

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

Python Workout, Second Edition

200 ten-minute exercises

Radical Infrastructure

Imagining the Internet from the Ground Up

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

This product is categorised by