Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
暫譯: 軟體工程基礎:第六屆國際會議,FSEN 2015,伊朗德黑蘭,2015年4月22-24日。修訂選擇論文(計算機科學講義)
- 出版商: Springer
- 出版日期: 2015-11-12
- 售價: $2,400
- 貴賓價: 9.5 折 $2,280
- 語言: 英文
- 頁數: 317
- 裝訂: Paperback
- ISBN: 3319246437
- ISBN-13: 9783319246437
-
相關分類:
Computer-Science、軟體工程
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015.
The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
商品描述(中文翻譯)
本書是第六屆 IPM 國際軟體工程基礎會議(FSEN 2015)經過徹底審稿的會後論文集,該會議於 2015 年 4 月在伊朗德黑蘭舉行。
本卷中呈現的 21 篇完整論文是從 64 篇投稿中仔細審核和選出的。FSEN 的研究主題涵蓋了形式方法的各個方面,特別是與推進形式方法在軟體產業中的應用以及促進其與實際工程技術整合相關的議題。