Didier Vojtisek
18
Documents
Publications
- 7
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
|
|
Comment allons-nous développer d'ici 5 à 10 ans ?Programmez !, 2012, 150, pp.44-46
Article dans une revue
hal-00714953v1
|
|
|
Processus MOPCOM pour SoC/SoPCGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009
Article dans une revue
inria-00468656v1
|
|
|
Introduction à la construction d'un DSL sous EclipseProgrammez !, 2009, 120, pp.70-72
Article dans une revue
inria-00468511v1
|
|
|
OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèlesGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.31-37
Article dans une revue
inria-00468512v1
|
|
|
MTL and Umlaut NG - Engine and Framework for Model TransformationERCIM News, 2004, ERCIM News 58, 58
Article dans une revue
inria-00000953v1
|
|
|
Execution Framework of the GEMOC Studio (Tool Demo)Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8
Communication dans un congrès
hal-01355391v2
|
|
|
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio8th Transformation Tool Contest, 2015, l'Aquila, Italy
Communication dans un congrès
hal-01152342v2
|
|
|
ATSyRa: An Integrated Environment for Synthesizing Attack Trees Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy
Communication dans un congrès
hal-01243021v1
|
|
|
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk AnalysisWorkshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France
Communication dans un congrès
hal-01064645v1
|
|
|
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 ExperienceConférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France
Communication dans un congrès
hal-00796009v1
|
|
|
Using MARTE in a Co-Design MethodologyMARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
Communication dans un congrès
hal-00354356v1
|
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285
Communication dans un congrès
hal-00461532v1
|
|
|
|
Using Aspect Oriented Modeling to localize implementation of executable modelsModels and Aspects workshop, at ECOOP 2007, Jul 2007, Berlin, Germany
Communication dans un congrès
inria-00460326v1
|
|
|
On Executable Meta-Languages applied to Model TransformationsModel Transformations In Practice Workshop, Oct 2005, Montego Bay, Jamaica
Communication dans un congrès
inria-00000381v1
|
Engineering Modeling LanguagesChapman and Hall/CRC, pp.398, 2016, 9781466583733
Ouvrages
hal-01355374v1
|
|
|
|
Ingénierie Dirigée par les Modèles : des concepts à la pratique...Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963
Ouvrages
hal-00648489v1
|
|
|
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.2007
Autre publication scientifique
inria-00477561v1
|
|
|
QVT : un standard de transformation pour l'Ingénierie Dirigèe par les Modèles2006
Autre publication scientifique
inria-00511398v1
|