Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems
Project: MegaMaRt2
Updated at: 29-04-2024
Resources
5627 items found
Scalable model views over heterogeneous modeling technologies and resources
Project: MegaMaRt2
Updated at: 29-04-2024
Applying Test-driven Development in Evaluating Student Projects
Project: MegaMaRt2
Updated at: 29-04-2024
The Refinement Calculus of Reactive Systems Toolset
Project: MegaMaRt2
Updated at: 29-04-2024
An improved software reliability prediction model by using high precision error iterative analysis method
Project: MegaMaRt2
Updated at: 29-04-2024
Runtime Architect: Link Performance Design to Runtime Aspects
Project: MegaMaRt2
Updated at: 29-04-2024
On the Measurement of Software Complexity for PLC Industrial Control Systems using TIQVA
Project: MegaMaRt2
Updated at: 29-04-2024
An evaluation of Monte Carlo-based hyper-heuristic for interaction testing of industrial embedded software applications
Project: MegaMaRt2
Updated at: 29-04-2024
Improving software requirements reasoning by novices: a story-based approach
Project: MegaMaRt2
Updated at: 29-04-2024
Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations
Project: MegaMaRt2
Updated at: 29-04-2024
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks
Project: MegaMaRt2
Updated at: 29-04-2024
TRILATERAL: A Model-Based Approach for Industrial CPS – Monitoring and Control
Project: MegaMaRt2
Updated at: 29-04-2024
MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs
Project: MegaMaRt2
Updated at: 29-04-2024
Enabling easy Web of Things compatible device generation using a Model-Driven Engineering approach
Project: MegaMaRt2
Updated at: 29-04-2024
Model-Based Verification and Testing of Web Services - Functionality, Robustness, and Vulnerability Analysis
Project: MegaMaRt2
Updated at: 29-04-2024
Towards analyzing large graphs with quantum annealing
Project: MegaMaRt2
Updated at: 29-04-2024
Executable Modeling for Reactive Programming
Project: MegaMaRt2
Updated at: 29-04-2024
Analysis of large sparse graphs using regular decomposition of graph distance matrices
Project: MegaMaRt2
Updated at: 29-04-2024
Towards a Model-Driven Product Line Engineering Process – An Industrial Case Study
Project: MegaMaRt2
Updated at: 29-04-2024
A Two-Layer Component-Based Allocation for Embedded Systems with GPUs
Project: MegaMaRt2
Updated at: 29-04-2024
Clustering Structure Analysis in Time-Series Data With Density-Based Clusterability Measure
Project: MegaMaRt2
Updated at: 29-04-2024
The Refinement Calculus of Reactive Systems Toolset
Project: MegaMaRt2
Updated at: 29-04-2024
Self-Learning of Multivariate Time Series Using Perceptually Important Points
Project: MegaMaRt2
Updated at: 29-04-2024
A generic solution for weaving business code into executable models
Project: MegaMaRt2
Updated at: 29-04-2024
Una Aproximación Basada en Modelos para la Definición de Arquitecturas Asíncronas
Project: MegaMaRt2
Updated at: 29-04-2024
Regular Decomposition of Large Graphs: Foundation of a Sampling Approach to Stochastic Block Model Fitting
Project: MegaMaRt2
Updated at: 29-04-2024
UMLto[No]SQL: Mapping Conceptual Schemas to Heterogeneous Datastores
Project: MegaMaRt2
Updated at: 29-04-2024
Robust methods and conditional expectations for vehicular traffic count analysis
Project: MegaMaRt2
Updated at: 29-04-2024
Unsupervised online detection and prediction of outliers in streams of sensor data
Project: MegaMaRt2
Updated at: 29-04-2024
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
Project: MegaMaRt2
Updated at: 29-04-2024