E-Books durchsuchen

Model-Driven Engineering and Software Development [2021]

1
The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems
2
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications
3
Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems
4
Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices
5
ProvAnalyser: A Framework for Scientific Workflows Provenance
6
A Multi-Model Reviewing Approach for Production Systems Engineering Models
7
Augmenting Deep Neural Networks with Scenario-Based Guard Rules
8
Resilient Business Process Modeling and Execution Using BPMN and Microservices
9
Model Transformation from CBM to EPL Rules to Detect Failure Symptoms
10
Verification and Simulation of Time-Domain Properties for Models of Behaviour
11
Domain-Driven Architecture Modeling and Rapid Prototyping with Context Mapper
12
Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios
13
A Methodological Assistant for UML and SysML Use Case Diagrams
14
Model-Based Static and Runtime Verification for Ethereum Smart Contracts
15
A Novel Family of Queuing Network Models for Self-adaptive Systems
Feedback