Composing model-based analysis tools
SpringerLink (Online service)

FindBook      Google Book      Amazon      博客來     
  • Composing model-based analysis tools
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Composing model-based analysis tools/ edited by Robert Heinrich ... [et al.].
    其他作者: Heinrich, Robert.
    出版者: Cham :Springer International Publishing : : 2021.,
    面頁冊數: xvi, 307 p. :ill., digital ;24 cm.
    內容註: 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.
    Contained By: Springer Nature eBook
    標題: Formal methods (Computer science) -
    電子資源: https://doi.org/10.1007/978-3-030-81915-6
    ISBN: 9783030819156
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9414334 電子資源 11.線上閱覽_V 電子書 EB QA76.9.F67 C65 2021 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入