| 書目名稱 | Program Development by Specification and Transformation | | 副標(biāo)題 | The PROSPECTRA Metho | | 編輯 | Berthold Hoffmann,Bernd Krieg-Brückner | | 視頻video | http://file.papertrans.cn/760/759832/759832.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-24 11:49
發(fā)表于 2025-3-21 18:37:27
