-
Modeling multi-clocked data-flow programs in the Generic Modeling Environment
This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language Signal. It relies on the Generic Modeling Environment (Gme), a... -
A Modeling Paradigm for Integrated Modular Avionics Design
The Modeling paradigm for Integrated Modular Avionics Design (MIMAD) is an extensible component-oriented framework that enables high level models of systems designed... -
Advanced Interacting Sequential Monte Carlo Sampling for Inverse Scattering
The following electromagnetism (EM) inverse problem is addressed. It consists in estimating local radioelectric properties of materials recovering an object from... -
Aspectual Templates in UML
UML Templates allow to capture models whose some of their constituents are parameters. This construct is general enough to be used in many ways, such as generic class... -
Micro Languages for Systems
International audience -
Bridging the Chasm between Executable Metamodeling and Models of Computation
ISBN: 978-3-642-36088-6 -
Handling behavioral semantics in persistent metamodeling systems
Modeling and model management have taken a great interest in software development since they accelerate thesoftware development process and facilitate their...
