{"product_id":"program-development-by-specification-and-transformation-the-prospectra-methodology-language-family-and-system-von-berthold-hoffmann-bernd-krieg-bruckner-hrsg","title":"Program Development by Specification and Transformation","description":"This volume gives a coherent presentation of the outcome of\nthe project     PROSPECTRA (PROgram development by SPECification\nand TRAnsformation) that   aims to provide a rigorous\nmethodology for developing correct software and  a\ncomprehensive support system. The results are substantial:                a\ntheoretically well-founded methodology covering the whole\ndevelopment cycle, a very high-level specification and\ntransformation language family   allowing meta-program\ndevelopment and formalization of the development      process\nitself, and a prototype development system supporting\nstructure editing, incremental static-semantic checking,\ninteractive context-sensitivetransformation and\nverification, development of transformation              (meta-)\nprograms, version management, and so on, with an initial\nlibraryof specifications and a sizeable collection of\nimplemented transformations. The intended audience for this\ndocumentation is the academic community      working in this and\nrelated areas and those members of the industrial       community\ninterested in the use of formal methods.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540567332\"\u003e\u003ch3\u003eThe PROSPECTRA Methodology, Language Family, and System\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540567332","offer_id":39425923350621,"sku":"9783540567332","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/ed9a76eb-010d-4891-b879-cd2b5f323590.jpg?v=1773552854","url":"https:\/\/shop.autorenwelt.de\/en\/products\/program-development-by-specification-and-transformation-the-prospectra-methodology-language-family-and-system-von-berthold-hoffmann-bernd-krieg-bruckner-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}