| 書目名稱 | Transactions on Foundations for Mastering Change I |
| 編輯 | Bernhard Steffen |
| 視頻video | http://file.papertrans.cn/928/927910/927910.mp4 |
| 概述 | First volume in the new Foundations for Mastering Change LNCS Transactions Series.Establishes a community for developing theories, methods and tools for dealing with the fact that change is not an exc |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | .The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. Submissions are evaluated according to these goals. . This book, the first volume in the series, contains contributions by the members of the editorial board. These contributions indicate the envisioned style and range of papers of topics covered by the transactions series. They cross-cut various traditional research directions and are characterized by a clear focus on change.?. |
| 出版日期 | Book 2016 |
| 關(guān)鍵詞 | abstraction; agile development; autonomic systems; change management; formal methods; formal verification |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-46508-1 |
| isbn_softcover | 978-3-319-46507-4 |
| isbn_ebook | 978-3-319-46508-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing AG 2016 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 13:28
發(fā)表于 2025-3-21 19:26:07
