ZB 2000

Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

By: Jonathan P. Bowen (Editor), Steve Dunne (Editor), Andrew Galloway (Editor)

Write A Review

Paperback | 16 August 2000

At a Glance

Paperback
532 Pages

Dimensions(cm)
22.86 x 15.24 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.
The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

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 Medicine Medicine in General Software Engineering Mathematics Mathematical Foundation Mathematical Logic Computer Science Computer Architecture & Logic Design

Meeting tlie Challenge of Object-Oriented Programming	p. 1
A Formal Mapping between UML Models and Object-Z Specifications	p. 2
A Generic Process to Refine a B Specification into a Relational Database Implementation	p. 22
Recursive Schema Definitions in Object-Z	p. 42
On Mutually Recursive Free Types in Z	p. 59
Reasoning Inductively about Z Specifications via Unification	p. 75
Reconcihng Axiomatic and Model-Based Specifications Using the B Method	p. 95
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context	p. 107
Automatic Construction of Validated B Components from Structured Developments	p. 127
Playing with Abstraction and Refinement for Managing Features Interactions	p. 148
A Formal Architecture for the 3APL Agent Programming Language	p. 168
How to drive a B Machine	p. 188
Deriving Software Specifications from Event Based Models	p. 209
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants	p. 230
Type-Constrained Generics for Z	p. 250
Typechecking Z	p. 264
Guards, Preconditions, and Refinement in Z	p. 286
Retrenchment, Refinement and Simulation	p. 304
Performing Algorithmic Refinement before Data Refinement in B	p. 324
Program Development and Specification Refinement in the Schema Calculus	p. 344
Are Smart Cards the Ideal Domain for Applying Formal Methods?	p. 363
Formal Methods for Industrial Products	p. 374
An Execution Architecture for GSL	p. 394
A Computation Model for Z Based On Concurrent Constraint Resolution	p. 414
Analysis of Compiled Code: A Prototype Formal Model	p. 433
Zzzzzzzzzzzzzzzzzzzzzzzzzz	p. 450
Segregation with Communication	p. 451
Closure Induction in a Z-Like Language	p. 471
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z	p. 491
Author Index	p. 511
Table of Contents provided by Publisher. All Rights Reserved.

ZB 2000

Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python Automation For Dummies

For Dummies (Computer/Tech)

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

Python Workout, Second Edition

200 ten-minute exercises

Cultures of Programming

The Development of Programming Concepts and Methodologies

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Artificial Intelligence Programming with Python

From Zero to Hero

C# 12 in a Nutshell

The Definitive Reference

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python Crash Course

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

Learning Go

An Idiomatic Approach to Real-World Go Programming

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Introduction to Machine Learning with Python

A Guide for Data Scientists

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Programming Rust

Fast, Safe Systems Development 2nd Edition

Python for Excel

A Modern Environment for Automation and Data Analysis

Python Cookbook

Recipes for Mastering Python : 3rd Edition

This product is categorised by