Formal Specification and Documentation Using Z: A Case Study Approach

Formal Specification and Documentation using Z: A Case Study Approach Jonathan Bowen Revised 2003 FORMAL SPECIFICATI...
Author:  Jonathan Bowen

38 downloads 893 Views 700KB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Using Z Specification, Refinement, and Proof Jim Woodcock University of Oxford Jim Davies University of Oxford Copyr...

313 Amputations and Prosthetics A CASE STUDY APPROACH S ec ond Ed i tion Bella J. May, PT, EdD, FAPTA President, BJ...

TE AM FL Y Data Mining Using SAS Enterprise Miner : A Case Study Approach, Second Edition ®  The correct bibliogra...

International Corporate Governance A Case Study Approach International Corporate Governance A Case Study Approach Ed...

International Corporate Governance A Case Study Approach International Corporate Governance A Case Study Approach Ed...

Corporate Social Responsibility Corporate Social Responsibility A Case Study Approach Edited by Christine A. Mallin...

Clinical Ophthalmic Echography Clinical Ophthalmic Echography A Case Study Approach Roger P. Harrie, MD IHC Health C...

NON-TRIAL ADVOCACY A Case Study Approach Cavendish Publishing Limited London • Sydney NON-TRIAL ADVOCACY A Case Stud...

Larch: Languages and Tools for Formal Specification J.V. Guttag and J.J. Horning, with S.J. Garland, K.D. Jones, A. Mode...