Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement

Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement
Author :
Publisher : Cuvillier Verlag
Total Pages : 173
Release :
ISBN-10 : 9783867274524
ISBN-13 : 3867274525
Rating : 4/5 (525 Downloads)

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

Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement
Language: en
Pages: 173
Authors: Bastian Dölle
Categories:
Type: BOOK - Published: 2007 - Publisher: Cuvillier Verlag

GET EBOOK

Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement
Language: en
Pages: 173
Authors: Bastian Dölle
Categories: Mathematics
Type: BOOK - Published: 2007-12-12 - Publisher: Cuvillier Verlag

GET EBOOK

This thesis presents a formal method how to refine algebraic specifications into object-oriented specifications in a systematic way. Thereby, we highlight the c
4th Refinement Workshop
Language: en
Pages: 488
Authors: Joseph M. Morris
Categories: Mathematics
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

GET 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
Algebraic Specification Techniques in Object Oriented Programming Environments
Language: en
Pages: 248
Authors: Ruth Breu
Categories: Computers
Type: BOOK - Published: 1991-12-04 - Publisher: Springer Science & Business Media

GET 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
Refinement in Z and Object-Z
Language: en
Pages: 498
Authors: John Derrick
Categories: Mathematics
Type: BOOK - Published: 2013-08-30 - Publisher: Springer Science & Business Media

GET EBOOK

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and