| 期刊全称 | Algebraic Specification Techniques in Object Oriented Programming Environments | | 影响因子2023 | Ruth Breu | | 视频video | | | 学科分类 | Lecture Notes in Computer Science | | 图书封面 |  | | 影响因子 | The main aim of this monograph is to provide a framework forthe integrated design of object-oriented programs withalgebraic specification techniques. The design methodpursued relies fundamentally on the structuring ofsystemsbased on the notion of data types. Depending on the level ofabstraction, data types are described in an object-orientedway by algebraic specifications or by machine-executableobject-oriented programs. The treatment involves two mainaspects. First, object-oriented programshave to be relatedby a notion of correctness that models the transitionfromspecifications to program implementations. The authorpresents a notion of correctness which relies on the idea ofabstraction functions.Second, in order to obtain anintegrated design environment, a uniformstructuring conceptfor object oriented programs and algebraicspecificationshas to be provided. Inheritance, subtyping and clientshipare three central notions of object-oriented structuring.Theauthor uses them to develop the kernel of a typedobject- orientedprogramming language. The monographprovides the formal foundation for aunified framework ofalgebraic specifications and object-oriented programs. Amajor guideline is th | | Pindex | Book 1991 |
The information of publication is updating
|
|
发表于 2025-3-21 18:05:58
