| 书目名称 | Program Development by Specification and Transformation | | 副标题 | The PROSPECTRA Metho | | 编辑 | Berthold Hoffmann,Bernd Krieg-Brückner | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram development by SPECificationand TRAnsformation) that aims to provide a rigorousmethodology for developing correct software andacomprehensive support system. The results are substantial:atheoretically well-founded methodology covering the wholedevelopment cycle, a very high-level specification andtransformation language family allowing meta-programdevelopment and formalization of the developmentprocessitself, and a prototype development system supportingstructure editing, incremental static-semantic checking,interactive context-sensitivetransformation andverification, development of transformation(meta-)programs, version management, and so on, with an initiallibraryof specifications and a sizeable collection ofimplemented transformations. The intended audience for thisdocumentation is the academic communityworking in this andrelated areas and those members of the industrial communityinterested in the use of formal methods. | | 出版日期 | Book 1993 | | 关键词 | Attribut; Programmentwicklung; Semantics and Verification; Software-Engineering Umgebungen; development; | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-56733-X | | isbn_softcover | 978-3-540-56733-2 | | isbn_ebook | 978-3-540-47639-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1993 |
The information of publication is updating
|
|
发表于 2025-3-21 18:37:27
