תמונות העטיפה

Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers /

This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8–10, 2021 and February 6–8,...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Pires, Luís Ferreira (Editor), Hammoudi, Slimane (Editor), Seidewitz, Edwin (Editor)
פורמט: אלקטרוני ספר אלקטרוני
שפה:אנגלית
יצא לאור: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
מהדורה:1st ed. 2023.
סדרה:Communications in Computer and Information Science, 1708
נושאים:
Software engineering.
Computer systems.
Computers, Special purpose.
Programming languages (Electronic computers).
Computer programming.
Artificial intelligence.
Software Engineering.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Programming Language.
Programming Techniques.
Artificial Intelligence.
גישה מקוונת:https://doi.org/10.1007/978-3-031-38821-7
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תוכן הענינים:
  • A Digital Twin Description Framework and its Mapping to Asset Administration Shell
  • Acknowledging Implementation Trade-offs when Developing with Units of Measurement
  • HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments
  • Multi-view FMEA Re-Validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering
  • PSCS4CPP: A Generative PSCS Implementation for C++
  • Dependency Graphs to Boost the Verification of SysML Models
  • Decomposable and Executable Models for Verification of Real-Time Systems
  • Comparing Goal-oriented Analysis Techniques: A Controlled Experiment
  • A Methodological Framework for SPL Engineering from DSML
  • W-Sec: a Model-based Formal Method for Assessing the Impacts of Security Countermeasures
  • Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies.

פריטים דומים