ZB 2003 : Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Didier Bert

Instant online reading.
Don't wait for delivery!
Go digital and save!

ZB 2003

Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

By: Didier Bert (Editor), Jonathan P. Bowen (Editor), Steve King (Editor)

Write A Review

Paperback | 20 May 2003

At a Glance

Paperback
568 Pages

Dimensions(cm)
22.86 x 15.24 x 3.18

Paperback

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.

The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

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 Computer Science Computer Architecture & Logic Design Systems Analysis & Design Mathematics Mathematical Foundation Mathematical Logic

Alloy: A Logical Modelling Language	p. 1
An Outline Pattern Language for Z: Five Illustrations and Two Tables	p. 2
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z	p. 20
Reuse of Specification Patterns with the B Method	p. 40
Composing Specifications Using Communication	p. 58
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets	p. 79
How to Diagnose a Modern Car with a Formal B Model?	p. 98
Parallel Hardware Design in B	p. 101
Operation Refinement and Monotonicity in the Schema Calculus	p. 103
Using Coupled Simulations in Non-atomic Refinement	p. 127
An Analysis of Forward Simulation Data Refinement	p. 148
B[superscript #]: Toward a Synthesis between Z and B	p. 168
Introducing Backward Refinement into B	p. 178
Expression Transformers in B-GSL	p. 197
Probabilistic Termination in B	p. 216
Probabilistic Invariants for Probabilistic Machines	p. 240
Proving Temporal Properties of Z Specifications Using Abstraction	p. 260
Compositional Verification for Object-Z	p. 280
Timed CSP and Object-Z	p. 300
Object Orientation without Extending Z	p. 319
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z	p. 339
Towards Practical Proofs of Class Correctness	p. 359
Automatically Generating Information from a Z Specification to Support the Classification Tree Method	p. 388
Refinement Preserves PLTL Properties	p. 408
Proving Event Ordering Properties for Information Systems	p. 421
ZML: XML Support for Standard Z	p. 437
Formal Derivation of Spanning Trees Algorithms	p. 457
Using B Refinement to Analyse Compensating Business Processes	p. 477
A Formal Specification in B of a Medical Decision Support System	p. 497
Extending B with Control Flow Breaks	p. 513
Towards Dynamic Population Management of Abstract Machines in the B Method	p. 528
Author Index	p. 547
Table of Contents provided by Blackwell. All Rights Reserved.

ZB 2003

Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

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

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

User Story Mapping

Discover the Whote Story, Build the Right Product

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Hacking For Dummies

For Dummies (Computer/Tech)

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

The Engineering Leader

Strategies for Scaling Teams and Yourself

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by