Related Books

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

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
Authors: Bastian Dölle
Categories:
Type: BOOK - Published: 2007 - Publisher: Cuvillier Verlag

DOWNLOAD EBOOK

Modelling Database Dynamics
Language: en
Pages: 235
Authors: Udo W. Lipeck
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure
Semantic Integration of Heterogeneous Software Specifications
Language: en
Pages: 333
Authors: Martin Große-Rhode
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract sys
Multi-Agent Systems and Applications
Language: en
Pages: 1366
Authors: Michael Luck
Categories: Business & Economics
Type: BOOK - Published: 2001-06-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents selected tutorial lectures given at the summer school on Multi-Agent Systems and Their Applications held in Prague, Czech Republic, in July 2