Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science)
- 出版商: Springer
- 出版日期: 2014-08-04
- 售價: $2,430
- 貴賓價: 9.5 折 $2,309
- 語言: 英文
- 頁數: 416
- 裝訂: Paperback
- ISBN: 3319104306
- ISBN-13: 9783319104300
-
相關分類:
Computer-Science、軟體工程
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
商品描述(中文翻譯)
本書為第十二屆國際軟體工程與形式方法會議（SEFM 2014）的經過審稿的會議論文集，該會議於2014年9月在法國格勒諾布爾舉行。共提交了106篇論文，經過仔細審查後，最終選出23篇完整論文、3篇邀請論文及6篇工具論文。這些論文依主題分為程式驗證、測試、基於元件的系統、即時與嵌入式系統、模型檢查與自動機學習、程式正確性，以及自適應與多代理系統等部分。
