{"product_id":"9783540567332","title":"Lecture Notes in Computer Science: The PROSPECTRA Methodology, Language Family, and System","description":"\u003ch1\u003eLecture Notes in Computer Science: The PROSPECTRA Methodology, Language Family, and System\u003c\/h1\u003e \u003ch2\u003eHoffmann, Berthold; Krieg-Brückner, Bernd\u003c\/h2\u003e \u003cp\u003eThis 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-08-30\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540567332\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56733-X\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 630\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370066567308,"sku":"9783540567332","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540567332.jpg?v=1773969691","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540567332","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}