Algebraic Specification Techniques in Object Oriented Programming Environments - Lecture Notes in Computer Science 562 (Paperback)
  • Algebraic Specification Techniques in Object Oriented Programming Environments - Lecture Notes in Computer Science 562 (Paperback)
zoom

Algebraic Specification Techniques in Object Oriented Programming Environments - Lecture Notes in Computer Science 562 (Paperback)

(author)
£62.99
Paperback 231 Pages / Published: 04/12/1991
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540549727
Number of pages: 231
Weight: 780 g
Dimensions: 233 x 155 x 13 mm
Edition: 1991 ed.

You may also be interested in...

Java in Easy Steps
Added to basket
£10.99
Paperback
C Programming in Easy Steps
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
C++ Primer
Added to basket
£43.99
Paperback
C# in Depth
Added to basket
£31.99
Paperback
Getting Started with Arduino
Added to basket
C++ for Everyone
Added to basket
Essential C# 6.0
Added to basket
£43.99
Paperback
Jumping Into C++
Added to basket
£22.00
Paperback
C# 5.0 Pocket Reference
Added to basket
Programming in C#
Added to basket
£29.99
Paperback
Java For Dummies Quick Reference
Added to basket
Programming in C
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.