{"product_id":"algebraic-specification-techniques-in-object-oriented-programming-environments-von-ruth-breu","title":"Algebraic Specification Techniques in Object Oriented Programming Environments","description":"The 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540549727\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540549727","offer_id":39427852795997,"sku":"9783540549727","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/85e9762d-2879-4e2b-b6b7-57763b83cdcc.jpg?v=1773555062","url":"https:\/\/shop.autorenwelt.de\/en\/products\/algebraic-specification-techniques-in-object-oriented-programming-environments-von-ruth-breu","provider":"Autorenwelt Shop","version":"1.0","type":"link"}