{"product_id":"9783832501525","title":"Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems","description":"\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","brand":"Logos Verlag","offers":[{"title":"Default Title","offer_id":47057093689584,"sku":"9783832501525","price":61.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9783832501525_p0.jpg?v=1763686816","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9783832501525","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}