| 期刊全稱 | Algebraic Specification Techniques in Object Oriented Programming Environments | | 影響因子2023 | Ruth Breu | | 視頻video | http://file.papertrans.cn/153/152696/152696.mp4 | | 學科分類 | 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
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 15:14
發(fā)表于 2025-3-21 18:05:58
