Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July ... Papers (Lecture Notes in Computer Science)
暫譯: 軟體技術：應用與基礎：STAF 2016 共同舉辦的工作坊：DataMod、GCM、HOFM、MELO、SEMS、VeryComp，奧地利維也納，七月... 論文（計算機科學講義）

Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July ... Papers (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2016-12-06
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 504
  • 裝訂: Paperback
  • ISBN: 3319502298
  • ISBN-13: 9783319502298
  • 相關分類: Computer-Science

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

相關主題

商品描述

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. 
The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

商品描述(中文翻譯)

本書包含了在2016年7月於奧地利維也納舉行的國際軟體技術：應用與基礎會議（STAF 2016）上所呈現的六個研討會的經過徹底審核的技術論文。

本卷收錄的六個研討會包括：DataMod、GCM、HOFM、MELO、SEMS 和 VeryComp。所呈現的33篇完整論文和3篇短文從53篇投稿中仔細審核和選出。這些論文專注於軟體技術的實用和基礎進展，涵蓋了包括軟體技術的形式基礎、測試與形式分析、圖形轉換與模型轉換、模型驅動工程以及工具等廣泛的主題。

類似商品