Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings
暫譯: 元件軟體的正式面向：第十六屆國際會議 FACS 2019，荷蘭阿姆斯特丹，2019年10月23-25日，會議論文集
Arbab, Farhad, Jongmans, Sung-Shik
- 出版商: Springer
- 出版日期: 2020-02-13
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 261
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030409139
- ISBN-13: 9783030409135
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.
The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
商品描述(中文翻譯)
本書是從2019年10月在荷蘭阿姆斯特丹舉行的第16屆國際組件軟體正式性方面會議（FACS 2019）中精心修訂的選定論文集。共提交了27篇論文，最終選出9篇完整論文、9篇完整論文、3篇短文以及另外2篇論文，這些論文經過仔細審查和選擇。FACS 2019關注如何利用正式方法使基於組件和服務導向的軟體開發取得成功。正式方法為基於組件的軟體提供了基礎，成功解決了數學模型、組合與適應、以及對驗證、部署、測試和認證的嚴謹方法等挑戰性問題。
.jpg)
