-
ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE ...
International audience -
Toward Polychronous Analysis and Validation for Timed Software Architectures ...
International audience -
A Methodology to Develop High Performance Applications on GPGPU Architectures...
Complex physical phenomena can be numerically simulated by mathematical techniques. Usually, these techniques are based on discretization of partial differential... -
Verification of Synchronization-Related Properties for UML-MARTE RTES Models ...
Critical Real-Time Embedded Systems (RTES) have strong requirement with respect to system's reliability. In Model-Driven Engineering (MDE), verification at early... -
SimStudio : une Infrastructure pour la Modélisation, la Simulation et l'Analy...
SimStudio is a Modeling & Simulation framework based on the DEVS formalism (Discrete EVent Systems Specification). SimStudio architecture aims at integrating in a... -
Bridging the MS/DSL Tools and the Eclipse Modeling Framework
Model Driven Engineering is based on a number of principles that may be applied in different contexts. Nowadays several environments employ the MDE principles: Model... -
Découpez vos Modèles avec Kompren : une Démonstration
Démonstration, 4emes journées nationales du GDR-GPL 2012, p. 201--202 -
Model Driven Mutation Applied to Adaptative Systems Testing
International audience -
Evaluation of Modeling Tools Adaptation
This paper proposes an evaluation for modeling tool's adaptation by observing how well they can be used to customize graphical editors for a sample DSML proposed as a... -
MDA approach for PLM system design
International audience -
Quality Requirements for Service Choreographies
International audience -
Cloud computing : a need for abstraction to manage adaptation as an orthogona...
Cloud Computing is becoming the new paradigm for information technology to provide resources as Internet-based services. These services are basically categorized... -
Power consumption analysis using multi-view modeling
International audience -
RELATE: a research training network on engineering and provisioning of servic...
International audience -
Papyrus: A UML2 Tool for Domain-Specific Language Modeling Model-Based Engine...
International audience -
Modeling periodic composite events, temporal properties and relations
Modelling events with their temporal properties concerns many users and scientific communities. We adopted the Object paradigm and designed an operational metamodel... -
Formal Verification of Static Software Models in MDE: A Systematic Review
International audience
