Filtrer vos résultats
- 112
- 51
- 7
- 6
- 5
- 5
- 4
- 2
- 1
- 1
- 1
- 193
- 32
- 27
- 26
- 19
- 19
- 16
- 16
- 15
- 13
- 11
- 10
- 10
- 10
- 10
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 189
- 2
- 2
- 179
- 178
- 74
- 26
- 19
- 15
- 8
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 194
- 179
- 179
- 179
- 179
- 179
- 179
- 178
- 178
- 178
- 178
- 178
- 178
- 178
- 178
- 178
- 178
- 139
- 109
- 107
- 99
- 76
- 74
- 74
- 74
- 74
- 74
- 74
- 74
- 71
- 66
- 65
- 61
- 58
- 51
- 48
- 43
- 33
- 30
- 28
- 27
- 26
- 26
- 26
- 26
- 24
- 23
- 20
- 19
- 19
- 17
- 16
- 15
- 13
- 12
- 11
- 10
- 10
- 8
- 7
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 182
- 13
- 172
- 23
- 1
- 5
- 7
- 2
- 5
- 8
- 18
- 12
- 17
- 24
- 15
- 7
- 10
- 10
- 17
- 8
- 7
- 21
- 1
195 résultats
|
Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices[Research Report] RR-7882, INRIA. 2012
Rapport
hal-00670652v2
|
||
|
Découpez vos Modèles avec Kompren : une Démonstration2012
Autre publication
hal-00696149v1
|
||
|
Bridging the Chasm between Executable Metamodeling and Models of Computation5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Communication dans un congrès
hal-00905067v1
|
||
|
Impact of Footprinting on Model Quality: An Experimental EvaluationMODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2012, Sep 2012, Chicago, Illinois, United States. pp.78-87
Communication dans un congrès
hal-00722036v1
|
||
|
A Categorical Model of Model Merging and WeavingMiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland
Communication dans un congrès
hal-00714373v1
|
||
|
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-ExamplesMODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013, Miami, United States. pp.187-202
Communication dans un congrès
hal-00923789v1
|
||
Simulation et vérification de modèle par métamodélisation executableéditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3
Ouvrage (y compris édition critique et traduction)
inria-00542740v1
|
|||
|
Empirical evaluation of the conjunct use of MOF and OCLExperiences and Empirical Studies in Software Modelling (EESSMod 2011), Oct 2011, Wellington, New Zealand
Communication dans un congrès
hal-00647347v2
|
||
EduSymp '12: Proceedings of the 8th Edition of the Educators' SymposiumDan Chiorean and Benoit Combemale. ACM, pp.39, 2012, 978-1-4503-1812-9
Ouvrage (y compris édition critique et traduction)
hal-00916296v1
|
|||
|
The 8th Educators' Symposium @ MODELS 2012: Software Modeling in EducationProceedings of the 8th edition of the Educators' Symposium, Oct 2012, Innsbruck, Austria. ⟨10.1145/2425936.2425937⟩
Communication dans un congrès
hal-00773311v1
|
||
Protéger les données jusqu'à l'OSDalloz IP/IT : droit de la propriété intellectuelle et du numérique, 2023, 11, pp.576
Article dans une revue
halshs-04280509v1
|
|||
|
Modeling Modeling ModelingSoftware and Systems Modeling, 2012, 11 (3), pp.347-359. ⟨10.1007/s10270-010-0172-x⟩
Article dans une revue
inria-00538459v1
|
||
|
Modeling Model SlicersACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.62--76, ⟨10.1007/978-3-642-24485-8_6⟩
Communication dans un congrès
inria-00609072v2
|
||
|
Approximate Loop Unrolling2016
Pré-publication, Document de travail
hal-01401828v1
|
||
|
Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges3rd Workshop on Model-Driven Tool & Process Integration, in conjunction with ECMFA 2010, 2010, Paris, France, France
Communication dans un congrès
inria-00538460v1
|
||
|
Variability Support in Domain-Specific Language DevelopmentSLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.76-95, ⟨10.1007/978-3-319-02654-1_5⟩
Communication dans un congrès
hal-00914715v1
|
||
|
Aligning SysML with the B Method to Provide V&V for Systems EngineeringModel-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria
Communication dans un congrès
hal-00741134v1
|
||
|
An Analysis of Metamodeling Practices for MOF and OCLComputer Languages, Systems and Structures, 2015, 41, pp.46. ⟨10.1016/j.cl.2015.02.002⟩
Article dans une revue
hal-01186015v1
|
||
GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific LanguagesCombemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6
Ouvrage (y compris édition critique et traduction)
hal-00916292v1
|
|||
|
Using Slicing to Improve the Performance of Model Invariant CheckingThe Journal of Object Technology, 2015, pp.28. ⟨10.5381/jot.2015.14.4.a1⟩
Article dans une revue
hal-01179369v1
|
||
|
Using CVL to Operationalize Product Line Development with Reusable Aspect ModelsVARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria
Communication dans un congrès
hal-00730274v1
|
||
|
Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) , Sep 2016, Singapore, Singapore
Communication dans un congrès
hal-01343818v1
|
||
|
Variability Management in Domain-Specific LanguagesInternational School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. , 2014
Poster
hal-01077788v1
|
||
|
Integrating Software Process Reuse and AutomationAsia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand
Communication dans un congrès
hal-00872188v1
|
||
|
Leveraging CVL to Manage Variability in Software Process LinesAsia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China
Communication dans un congrès
hal-00735881v1
|
||
|
A Generative Approach to Define Rich Domain-Specific Trace Metamodels11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy
Communication dans un congrès
hal-01154225v1
|
||
|
Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature ReviewComputer Languages, Systems and Structures, 2016, ⟨10.1016/j.cl.2016.09.004⟩
Article dans une revue
hal-01372702v1
|
||
|
Ingénierie Dirigée par les Modèles : des concepts à la pratique...Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963
Ouvrage (y compris édition critique et traduction)
hal-00648489v1
|
||
|
Bridging the Gap Between Software Process and Software DevelopmentIDM, Jun 2011, Lille, France
Communication dans un congrès
inria-00605465v1
|
||
|
Improving Reusability in Software Process LinesEuromicro Conference on Software Engineering and Advanced Applications, Sep 2013, Santander, Spain
Communication dans un congrès
hal-00838771v1
|