Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
暫譯: 軟體工程基礎：第八屆國際會議，Fsen 2019，伊朗德黑蘭，2019年5月1-3日，修訂選定論文

Hojjat, Hossein, Massink, Mieke

Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
  • 出版商: Springer
  • 出版日期: 2019-09-22
  • 售價: $2,400
  • 貴賓價: 9.5 折 $2,280
  • 語言: 英文
  • 頁數: 261
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030315169
  • ISBN-13: 9783030315160
  • 相關分類: 軟體工程

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.

The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 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 the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.

商品描述(中文翻譯)

本書是第八屆國際軟體工程基礎會議（FSEN 2019）後的會議論文集，該會議於2019年5月在伊朗德黑蘭舉行。

本卷中包含的14篇完整論文和3篇短文是從47篇投稿中仔細審核和選出的。FSEN的研究主題涵蓋了形式方法的各個方面，特別是與推進形式方法在軟體產業中的應用以及促進其與實際工程技術整合相關的議題。這些論文按主題分為代理系統、定理證明、學習、驗證、分散式演算法和程式分析等部分。

類似商品