Composing Model-Based Analysis Tools
暫譯: 撰寫基於模型的分析工具

Heinrich, Robert, Durán, Francisco, Talcott, Carolyn

Composing Model-Based Analysis Tools
  • 出版商: Springer
  • 出版日期: 2021-12-03
  • 售價: $6,360
  • 貴賓價: 9.5 折 $6,042
  • 語言: 英文
  • 頁數: 270
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 3030819140
  • ISBN-13: 9783030819149

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

相關主題

商品描述

1. Introduction.- 2. Foundations.- Part I: Challenges and Concepts.- 3. Overview of Challenges in Composing Model-Based Analysis Tools.- 4. Composition of Languages, Models, and Analyses.- 5. Integration and Orchestration of Analysis Tools.- 6. Continual Model-Based Analysis.- 7. Exploiting Results of Model-Based Analysis Tools.- 8. Living with Uncertainty in Model-Based Development.- Part II: Case Studies.- GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics.- 10. Compositional Modelling Languages with Analytics and Construction Infrastructures Based on Object-Oriented Techniques-The MontiCore Approach.- 11. Challenges in the Evolution of Palladio-Refactoring Design Smells in a Historically-Grown Approach to Software Architecture Analysis.- 12. AnATLyzer: Static Analysis of ATL Model Transformations.- 13. Using Afra in Different Domains by Tool Orchestration.- 14. Conclusion.

商品描述(中文翻譯)

1. 介紹
2. 基礎
第一部分：挑戰與概念
3. 模型基礎分析工具組合中的挑戰概述
4. 語言、模型與分析的組合
5. 分析工具的整合與協調
6. 持續的模型基礎分析
7. 利用模型基礎分析工具的結果
8. 在模型基礎開發中與不確定性共存
第二部分：案例研究
GTSMorpher：使用結構化操作語義安全地組合行為分析
10. 基於物件導向技術的分析與建構基礎設施的組合建模語言 - MontiCore 方法
11. Palladio 演進中的挑戰 - 在歷史發展的軟體架構分析方法中重構設計異味
12. AnATLyzer：ATL 模型轉換的靜態分析
13. 通過工具協調在不同領域中使用 Afra
14. 結論

作者簡介

Robert Heinrich leads the mobility lab at the Competence Center for Applied Security Technology (KASTEL) and the Quality-driven System Evolution research group at the Karlsruhe Institute of Technology, Germany. His research interests include software engineering and evolution with a special focus on model-based analysis of several quality properties for heterogeneous systems.

Francisco Durán is Full Professor at the Department of Computer Science of the University of Málaga, Spain. His main research topics are formal methods in software engineering, with a focus on the analysis of complex systems and their compositionality.

Carolyn Talcott is a Program Director and leader of the Symbolic Systems Technology group at SRI International in Menlo Park, CA, USA. Her work, published in more than 130 articles, falls under the general heading of formal reasoning about distributed cyber-physical and biological systems.

Steffen Zschaler is a Senior Lecturer in the Department of Informatics at King's College London, UK. He also directs MDENet, the expert network for model-driven engineering. His research is in model-driven engineering with a particular focus on the foundations of modularity and the optimization of non-functional properties.

作者簡介(中文翻譯)

羅伯特·海因里希（Robert Heinrich）領導德國卡爾斯魯厄理工學院（Karlsruhe Institute of Technology）應用安全技術中心（Competence Center for Applied Security Technology, KASTEL）的移動實驗室及以質量為驅動的系統演化研究小組。他的研究興趣包括軟體工程與演化，特別專注於對異構系統的多種質量屬性進行基於模型的分析。

法蘭西斯科·杜蘭（Francisco Durán）是西班牙馬拉加大學（University of Málaga）計算機科學系的全職教授。他的主要研究主題是軟體工程中的形式方法，專注於複雜系統的分析及其組合性。

卡羅琳·塔爾科特（Carolyn Talcott）是美國加州門洛帕克的SRI International的計畫主任及符號系統技術小組的負責人。她的工作已發表於130多篇文章，主要涉及對分佈式網路物理系統和生物系統的形式推理。

斯特芬·茲哈勒（Steffen Zschaler）是英國倫敦國王學院（King's College London）資訊學系的高級講師。他還負責MDENet，這是一個專注於模型驅動工程的專家網絡。他的研究集中在模型驅動工程，特別是模組化的基礎及非功能性屬性的優化。

類似商品