Reasoning about UML/OCL class diagrams using constraint logic programming and formula
Project: MegaMaRt2
Updated at: 29-04-2024
Resources
5625 items found
Extracting software product line feature models from natural language specifications
Project: MegaMaRt2
Updated at: 29-04-2024
Advanced prefetching and caching of models with PrefetchML
Project: MegaMaRt2
Updated at: 29-04-2024
Model-driven round-trip software dependability engineering
Project: MegaMaRt2
Updated at: 29-04-2024
A Systematic Mapping Study on API Documentation Generation Approaches
Project: MegaMaRt2
Updated at: 29-04-2024
Fixing Defects in Integrity Constraints via Constraint Mutation
Project: MegaMaRt2
Updated at: 29-04-2024
Cluster-based test scheduling strategies using semantic relationships between test specifications
Project: MegaMaRt2
Updated at: 29-04-2024
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Project: MegaMaRt2
Updated at: 29-04-2024
On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects : - A Preliminary Case Study of the Me...
Project: MegaMaRt2
Updated at: 29-04-2024
Distributing relational model transformation on MapReduce
Project: MegaMaRt2
Updated at: 29-04-2024
ESPRET: A tool for execution time estimation of manual test cases
Project: MegaMaRt2
Updated at: 29-04-2024
Functional Dependency Detection for Integration Test Cases
Project: MegaMaRt2
Updated at: 29-04-2024
Model-based product line engineering in an industrial automotive context - an exploratory case study
Project: MegaMaRt2
Updated at: 29-04-2024
On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software
Project: MegaMaRt2
Updated at: 29-04-2024
Adopting MBSE in Construction Equipment Industry: An Experience Report
Project: MegaMaRt2
Updated at: 29-04-2024
A System Modeling Approach to Enhance Functional and Software Development
Project: MegaMaRt2
Updated at: 29-04-2024
sOrTES: A Supportive Tool for Stochastic Scheduling of Manual Integration Test Cases
Project: MegaMaRt2
Updated at: 29-04-2024
A metamodel for the specification and verification of model refactoring actions
Project: MegaMaRt2
Updated at: 29-04-2024
MegaM@Rt design tool set - final version
Project: MegaMaRt2
Updated at: 29-04-2024
SPOF—Slave Powerlink on FPGA for Smart Sensors and Actuators Interfacing for Industry 4.0 Applications
Project: MegaMaRt2
Updated at: 29-04-2024
The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime — Scalable Model-Based Framework for Continuous Development and ...
Project: MegaMaRt2
Updated at: 29-04-2024
Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models
Project: MegaMaRt2
Updated at: 29-04-2024
Case study evaluation report - Phase 2
Project: MegaMaRt2
Updated at: 29-04-2024
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams
Project: MegaMaRt2
Updated at: 29-04-2024
Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded Systems
Project: MegaMaRt2
Updated at: 29-04-2024
Reconstructing timed symbolic traces from rtioco -based timed test sequences using backward-induction
Project: MegaMaRt2
Updated at: 29-04-2024
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL
Project: MegaMaRt2
Updated at: 29-04-2024
Short and long distance marker detection technique in outdoor and indoor environments for embedded systems
Project: MegaMaRt2
Updated at: 29-04-2024
Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software
Project: MegaMaRt2
Updated at: 29-04-2024
MegaM@Rt design tool set guidelines - final version
Project: MegaMaRt2
Updated at: 29-04-2024