Skip to content
  Projet Triskell  

Didier Vojtisek's bibliography

Document Actions

Didier Vojtisek's bibliography

Didier Vojtisek

A Koudry, J Champeau, D Aulagnier, and D Vojtisek (2009).
Processus de codesign UML/MARTE
Génie Logiciel - Ingéniérie dirigée par les modèles.

D Vojtisek (2009).
OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles
Génie Logiciel - Ingéniérie dirigée par les modèles 89:31-37.

A Koudri, D Aulagnier, D Vojtisek, P Soulard, C Moy, J Champeau, J Vidal, and J Le Lann (2008).
Using MARTE in a Co-Design Methodology
In: Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile workshop co-located with DATE'08. , Munich, Germany.

Z Altahat, T Elrad, and D Vojtisek (2007).
Using Aspect Oriented Modeling to localize implementation of executable models
In: Models and Aspects workshop, at ECOOP 2007. Springer, Berlin, Germany.

O Barais, F Fleurey, P Muller, D Vojtisek, and J Jézéquel (2007).
Nouvelles fonctionnalités de Kermeta
Session Démonstrations des 3 ème Journées sur l'Ingénierie Dirigée par les Modèles

J Mottu, O Barais, M Skipper, D Vojtisek, and J Jézéquel (2007).
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07)

D Vojtisek (2007).
Weaving behavior into Metamodels with Kermeta
In Workshop on Precise Behavioral Semantics for Domain Specific Modeling Languages at OMG technical meeting

Z Drey, C Faucher, F Fleurey, and D Vojtisek (2006).
Kermeta language reference manual
Manual.

Z Drey, and D Vojtisek (2006).
Kermeta EMF tutorial
Manual.

D Vojtisek (2006).
Kermeta user interface guide
Manual.

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

F Chauvel, J Jézéquel, and D Vojtisek (2004).
Validation dynamique de modèles UML avec points de variation sémantique
Génie Logiciel(69):24–30.

D Vojtisek, and J Jézéquel (2004).
MTL and Umlaut NG - Engine and Framework for Model Transformation
ERCIM News 58 58.

D Pollet, D Vojtisek, and J Jézéquel (2002).
OCL as a Core UML Transformation Language
WITUML 2002 Position paper, Malaga, Spain