Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement

Author	: Bastian Dölle
Publisher	: Cuvillier Verlag
Total Pages	: 173
Release	: 2007
ISBN-10	: 9783867274524
ISBN-13	: 3867274525
Rating	: 4/5 (525 Downloads)

DOWNLOAD EBOOK

Book Synopsis Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement by : Bastian Dölle

Download or read book Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement written by Bastian Dölle and published by Cuvillier Verlag. This book was released on 2007 with total page 173 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement Related Books

Language: en
Pages: 173

Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement

Authors: Bastian Dölle

Categories:

Type: BOOK - Published: 2007 - Publisher: Cuvillier Verlag

DOWNLOAD EBOOK

Language: en
Pages: 248

Algebraic Specification Techniques in Object Oriented Programming Environments

Authors: Ruth Breu

Categories: Computers

Type: BOOK - Published: 1991-12-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The desi

Language: en
Pages: 626

Algebraic Foundations of Systems Specification

Authors: Egidio Astesiano

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and su

Language: en
Pages: 612

Algebraic Methodology and Software Technology

Authors: Michael Johnson

Categories: Computers

Type: BOOK - Published: 1997-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney,

Language: en
Pages: 488

4th Refinement Workshop

Authors: Joseph M. Morris

Categories: Mathematics

Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Com