Vol.33 n°3 (2014)

Data-update-out: (data rules) after the execution of the embedded model, the Data-update-out rules are used to update the store with the data available on the output pins of

En plus de jouer le rôle de placeholder et de pouvoir être manipulé comme s’il s’agissait d’une transition classique, cet élément resolve maintient une relation entre un

L’échantillon montre que la charge estimée de rémunération des options d’achat d’ac- tions a un impact substantiel sur la réduction du bénéfice net de l’ordre moyen de 9,0

In particular, we have explored three reusable architectural decisions in this design space: the decision for the type of DSL de- velopment process, the decision for the concrete

Data-update-out: (data rules) after the execution of the embedded model, the Data-update-out rules are used to update the store with the data available on the output pins of

Generative programming tools are used to define the compilation of domain- specific facets of a DSL in terms of program generation processes.. One category of facets addresses

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334

The goal is to be able to conduct early verification and validation (V&V) activities to fulfill the associated safety objectives and to reduce the development costs. A widely