CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

...
Author:  RaМ†zvan Diaconescu; Kokichi Futatsugi
8 downloads 369 Views 1MB 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

DOWNLOAD DJVU

Recommend Documents

Methodologies and Techniques for Advanced Maintenance Lorenzo Fedele Contributions by Massimo Concetti (CNIM-Italian ...
LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collaboration with 7 7 Gerard Allwein Dave Barker-Plummer ...
LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collaboration with 7 7 Gerard Allwein Dave Barker-Plummer ...
LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collaboration with 7 7 Gerard Allwein Dave Barker-Plummer ...
LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collaboration with 7 7 Gerard Allwein Dave Barker-Plummer ...
Using Z Specification, Refinement, and Proof Jim Woodcock University of Oxford Jim Davies University of Oxford Copyr...
SPECIFICATION AND PROOF IN REAL-TIME CSP Distinguished Dissertations in Computer Science Edited by C.J. van Rijsberge...
Contents Preface ix 1 Introduction 1.1 Motivation 1.2 Classes 1.3 Objects 1.4 Inheritance 1.5 Polymorphism 1.6 Case ...