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