Related Books

Algebraic Specification Techniques in Object Oriented Programming Environments
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
Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement
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

Algebraic Methodology and Software Technology (AMAST’93)
Language: en
Pages: 429

Algebraic Methodology and Software Technology (AMAST’93)

Authors: Maurice Nivat
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathem
Algebraic Methodology and Software Technology
Language: en
Pages: 660

Algebraic Methodology and Software Technology

Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 1996-06-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Content Description #Includes bibliographical references and index.
ECOOP '94 - Object-Oriented Programming
Language: en
Pages: 558

ECOOP '94 - Object-Oriented Programming

Authors: Mario Tokoro
Categories: Computers
Type: BOOK - Published: 1994-06-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the 8th European Conference on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is th