Coverart for item
The Resource Algebraic specification techniques in object oriented programming environments, R. Breu

Algebraic specification techniques in object oriented programming environments, R. Breu

Label
Algebraic specification techniques in object oriented programming environments
Title
Algebraic specification techniques in object oriented programming environments
Statement of responsibility
R. Breu
Creator
Subject
Language
eng
Summary
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
Member of
Action
digitized
Cataloging source
OCLCE
http://library.link/vocab/creatorDate
1964-
http://library.link/vocab/creatorName
Breu, R.
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.64
LC item number
.B74 1991
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Lecture notes in computer science
Series volume
562
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Object-oriented programming (Computer science)
  • Programmation orientée objets (informatique)
  • Programmierumgebung
  • Objektorientierte Programmierung
  • Algebraische Spezifikation
Label
Algebraic specification techniques in object oriented programming environments, R. Breu
Instantiates
Publication
Note
Originally presented as the author's thesis (Ph. D.)
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references (pages 219-224) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
An integrated environment of classes and algebraic specifications -- Basic notions and concepts -- A semantic framework of abstract data types -- A theory of inheritance, subtyping and clientship -- OS -- An object oriented algebraic specification language -- OP -- An object oriented kernel programming language -- An integrated design environment of classes and algebraic specifications -- Final remarks
Control code
802298821
Dimensions
unknown
Extent
1 online resource (xi, 228 pages)
Form of item
online
Isbn
9783540466222
Lccn
91041553
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)802298821
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Algebraic specification techniques in object oriented programming environments, R. Breu
Publication
Note
Originally presented as the author's thesis (Ph. D.)
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references (pages 219-224) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
An integrated environment of classes and algebraic specifications -- Basic notions and concepts -- A semantic framework of abstract data types -- A theory of inheritance, subtyping and clientship -- OS -- An object oriented algebraic specification language -- OP -- An object oriented kernel programming language -- An integrated design environment of classes and algebraic specifications -- Final remarks
Control code
802298821
Dimensions
unknown
Extent
1 online resource (xi, 228 pages)
Form of item
online
Isbn
9783540466222
Lccn
91041553
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)802298821
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...