{"product_id":"9783540549727","title":"Lecture Notes in Computer Science","description":"\u003ch1\u003eLecture Notes in Computer Science\u003c\/h1\u003e \u003ch2\u003eBreu, Ruth\u003c\/h2\u003e \u003cp\u003eThe main aim of this monograph is to provide a framework for\nthe integrated design of object-oriented programs with\nalgebraic specification techniques. The design method\npursued relies fundamentally on the structuring of        systems\nbased on the notion of data types. Depending on the level           of\nabstraction, data types are described in an object-oriented\nway by   algebraic specifications or by machine-executable\nobject-oriented programs. The treatment involves two main\naspects. First, object-oriented programs    have to be related\nby a notion of correctness that models the transition    from\nspecifications to program implementations. The author\npresents a   notion of correctness which relies on the idea of\nabstraction functions.    Second, in order to obtain an\nintegrated design environment, a uniform      structuring concept\nfor object oriented programs and algebraic              specifications\nhas to be provided. Inheritance, subtyping and               clientship\nare three central notions of object-oriented structuring.\nTheauthor uses them to develop the kernel of a typed\nobject- oriented          programming language. The monograph\nprovides the formal foundation for a    unified framework of\nalgebraic specifications and object-oriented programs. A\nmajor guideline is the development of a design method\nsupporting the  structured design and reuse of software in\nthis environment.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-12-04\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540549727\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-54972-2\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 231\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369946734732,"sku":"9783540549727","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540549727.jpg?v=1773967232","url":"https:\/\/lateknightbooks.com\/products\/9783540549727","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}