Leveraging applications of formal me...
ISoLA (Symposium) (2021 :)

FindBook      Google Book      Amazon      博客來     
  • Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Leveraging applications of formal methods, verification and validation/ edited by Tiziana Margaria, Bernhard Steffen.
    其他題名: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings /
    其他題名: ISoLA 2021
    其他作者: Margaria-Steffen, Tiziana.
    團體作者: ISoLA (Symposium)
    出版者: Cham :Springer International Publishing : : 2021.,
    面頁冊數: xii, 504 p. :ill., digital ;24 cm.
    內容註: STRESS - Introduction -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles -- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data -- Programming - What is Next? -- Low-Code is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated Modeling and Development of Component-Based Embedded Software in Scala -- Slang: The Sireum Programming Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing -- GATE: Gradual Effect Types -- Fixing Classification: A Viewpoint-based Approach -- The Future of Programming and Modelling: a Vision -- Towards Model-based Intent-Driven Adaptive Software -- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS -- Programming vs. That Thing Subject Matter Experts Do -- Aligned, Purpose-Driven Cooperation: The Future Way of System Development -- RAILS: Roadmaps for AI integration in the raiL Sector -- A Journey through Software Model Checking of Interlocking Programs -- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning -- Verifying temporal properties of stigmergic collective systems using CADP.
    Contained By: Springer Nature eBook
    標題: Formal methods (Computer science) - Congresses. -
    電子資源: https://doi.org/10.1007/978-3-030-89159-6
    ISBN: 9783030891596
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9410058 電子資源 11.線上閱覽_V 電子書 EB QA76.9.F67 I83 2021 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入