Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers (Lecture Notes in Computer Science)

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2018-02-03
  • 售價: $4,030
  • 貴賓價: 9.5 折 $3,829
  • 語言: 英文
  • 頁數: 604
  • 裝訂: Paperback
  • ISBN: 3319747800
  • ISBN-13: 9783319747804
  • 相關分類: Computer-Science、軟體工程

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

相關主題

商品描述

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

商品描述(中文翻譯)

本書收錄了與第15屆國際軟體工程與形式方法會議（SEFM 2017）同期舉辦的五個研討會的修訂選定論文。本卷共收錄了38篇論文，經過嚴格審查和從55篇投稿中精心選擇而來。這些論文來自以下研討會：DataMod 2017 - 第6屆國際研討會“從數據到模型和回歸”；FAACS 2017 - 第1屆形式方法應用於高級計算系統的研討會；MSE 2017 - 第1屆微服務：科學與工程研討會；CoSim-CPS 2017 - 第1屆形式共模擬的研討會；FOCLASA 2017 - 第15屆協調語言和自適應系統基礎研討會。

類似商品