↓ Skip to main content
What is this page? Embed badge

Model-Driven Engineering and Software Development

Overview of attention for book
Cover of 'Model-Driven Engineering and Software Development'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Digital Twin Description Framework and Its Mapping to Asset Administration Shell
  3. Altmetric Badge
    Chapter 2 Acknowledging Implementation Trade-Offs When Developing with Units of Measurement
  4. Altmetric Badge
    Chapter 3 HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments
  5. Altmetric Badge
    Chapter 4 Multi-view FMEA Re-validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering
  6. Altmetric Badge
    Chapter 5 PSCS4CPP: A Generative PSCS Implementation for C++
  7. Altmetric Badge
    Chapter 6 Dependency Graphs to Boost the Verification of SysML Models
  8. Altmetric Badge
    Chapter 7 Decomposable and Executable Models for Verification of Real-Time Systems
  9. Altmetric Badge
    Chapter 8 Comparing Goal-Oriented Analysis Techniques: A Controlled Experiment
  10. Altmetric Badge
    Chapter 9 A Methodological Framework for SPL Engineering from DSML
  11. Altmetric Badge
    Chapter 10 W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures
  12. Altmetric Badge
    Chapter 11 Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies
Attention for Chapter 6: Dependency Graphs to Boost the Verification of SysML Models
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Dependency Graphs to Boost the Verification of SysML Models
Chapter number 6
Book title
Model-Driven Engineering and Software Development
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-38821-7_6
Book ISBNs
978-3-03-138820-0, 978-3-03-138821-7
Authors

Apvrille, Ludovic, de Saqui-Sannes, Pierre, Hotescu, Oana, Calvino, Alessandro Tempia

View on publisher site

This page is provided by Altmetric.