{"product_id":"mechanizing-the-transformation-of-higher-order-algebraic-specifications-for-the-development-of-software-systems-paperback","title":"Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eSonke Johannes Magnussen\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eThe quality of software systems depends on many criteria. Choosing an adequate software process model is essential in meeting quality requirements. When aiming at a rigorous mathematical notion of correctness, formal software development provides an appropriate process model, which ensures that the implementation fulfills the requirements given by a formal specification. The stepwise derivation by transformations represents one approach to formal system development that can be supported by computers. This book first introduces a sound framework for the mechanizable transformation of formal specifications. The framework comprises a specification language, a formal development method and various mechanizable transformation rules. It is then illustrated how the framework is implemented in the Lubeck Transformation System LTS -- a tool for the interactive development of software systems.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 220\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e February 19, 2014\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":47214083014905,"sku":"9783832501525","price":109.8,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/fkRMMfUlJg9783832501525.webp?v=1768112102","url":"https:\/\/bookscloud.io\/products\/mechanizing-the-transformation-of-higher-order-algebraic-specifications-for-the-development-of-software-systems-paperback","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}