Filtrer vos résultats
- 113
- 53
- 5
- 3
- 3
- 2
- 2
- 1
- 142
- 26
- 19
- 18
- 18
- 18
- 16
- 14
- 14
- 13
- 13
- 11
- 11
- 11
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 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
- 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
- 130
- 15
- 11
- 9
- 9
- 2
- 84
- 76
- 60
- 21
- 18
- 14
- 11
- 10
- 10
- 9
- 9
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
- 145
- 107
- 97
- 95
- 95
- 87
- 84
- 77
- 77
- 76
- 76
- 76
- 60
- 60
- 56
- 56
- 56
- 46
- 45
- 29
- 29
- 29
- 29
- 28
- 28
- 24
- 24
- 23
- 23
- 21
- 21
- 21
- 20
- 19
- 19
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 16
- 16
- 16
- 15
- 14
- 13
- 13
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 170
- 8
- 3
- 1
- 112
- 70
- 3
- 13
- 14
- 5
- 3
- 21
- 15
- 8
- 3
- 4
- 7
- 6
- 3
- 4
- 12
- 13
- 8
- 8
- 18
- 13
- 1
182 résultats
KM3: a DSL for Metamodel SpecificationIFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, 2006, Italy. pp.171-185
Communication dans un congrès
hal-00448119v1
|
|||
|
Coupling solvers with model transformations to generate explorable model setsSoftware and Systems Modeling, 2021, 20 (5), pp.1633-1652. ⟨10.1007/s10270-021-00867-0⟩
Article dans une revue
hal-03594336v1
|
||
Define DSL notation using declarative geometric constraints1st Papyrus Workshop - DSML Technologies (CEA), Jun 2015, Toulouse, France
Communication dans un congrès
hal-01195933v1
|
|||
Loosely Coupled Traceability for ATLEuropean Conference on Model Driven Architecture (ECMDA) Workshop on Traceability, 2005, Germany. pp.29-37
Communication dans un congrès
hal-00448118v1
|
|||
Transforming Models with ATLSatellite Events at the MoDELS 2005 Conference, LNCS 3844, 2006, Jamaica. pp.128-138
Communication dans un congrès
hal-00448120v1
|
|||
Mapping Specification in MDA: from Theory to PracticeInt. Conf. on Interoperability of Enterprise Software and Applications (INTEROP-ESA), 2005, Switzerland. pp.253--264
Communication dans un congrès
hal-00448127v1
|
|||
Model Engineering: From Principles to PlatformsSébastien Gérard, Jean-Philippe Babau and Joël Champeau. Model Driven Engineering for Distributed Real-time Embedded Systems, Hermes Sciences, pp.15-30, 2005
Chapitre d'ouvrage
hal-00448060v1
|
|||
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded SystemsOCL 2014, Sep 2014, Valencia, Spain. pp.73-82
Communication dans un congrès
hal-01222938v1
|
|||
Bidirectional incremental transformations with Active Operation Framework – Application to Facades1st Papyrus Workshop - DSML Technologies (CEA), Jun 2015, Toulouse, France
Communication dans un congrès
hal-01195930v1
|
|||
Model Transformation and Weaving in the AMMA PlatformSummer School onGenerative and Transformational Techniquesin Software Engineering, 2005, Portugal. pp.71-77
Communication dans un congrès
hal-00448114v1
|
|||
Système de conduite d’un fauteuil roulant électrique à l’aide d’oculométrie : une preuve de conceptCongrès Handicap 2020 - 11ème conférence de l'IFRATH sur les technologies d'assistance, IFRATH, Nov 2020, Paris, France. pp.212--215
Communication dans un congrès
hal-03153160v1
|
|||
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL15th International Workshop on OCL and Textual Modeling (OCL'15), Sep 2015, Ottawa, Canada. pp.35-45
Communication dans un congrès
hal-01222510v1
|
|||
Efficient OCL-based Incremental Transformations16th International Workshop in OCL and Textual Modeling, Oct 2016, Saint-Malo, France. pp.121--136
Communication dans un congrès
hal-01399962v1
|
|||
Applying MDA Approach for Web Service PlatformIEEE Enterprise Distributed Object Computing Conference (EDOC), 2004, Monterey, California, USA, United States. pp.58-70
Communication dans un congrès
hal-00448058v1
|
|||
Principles, Standards and Tools for Model Engineering10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005, Shanghai, China, China. pp.28-29
Communication dans un congrès
hal-00448109v1
|
|||
Bridging the MS/DSL Tools and the Eclipse Modeling FrameworkProceedings of the International Workshop on Software Factories at OOPSLA 2005, 2005, San Diego, United States
Communication dans un congrès
hal-00068357v1
|
|||
19th International Workshop in OCL and Textual Modeling (OCL 2019)Object Constraint Language and Textual Modeling 2019, 2019
Proceedings/Recueil des communications
hal-02492125v1
|
|||
Generating Transformation Definition from Mapping Specification: Application to Web Service PlatformInternational Conference on Advanced Information Systems Engineering (CAiSE), 2005, Porto, Portugal, Netherlands. pp.309-325
Communication dans un congrès
hal-00448126v1
|
|||
Introducing the Active Map operation to unify and improve efficiency of active operations18th International Workshop in OCL and Textual Modeling, Oct 2018, Copenhague, Denmark
Communication dans un congrès
hal-01887853v1
|
|||
|
A Practical Experiment to Give Dynamic Semantics to a DSL for Telephony Services Development2006
Pré-publication, Document de travail
hal-00023149v1
|
||
|
Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs2006
Pré-publication, Document de travail
hal-00023008v1
|
||
AMW: a generic model weaver1 ere Journées sur l'Ingénierie Dirigée par les Modèles (IDM05), 2005, France. pp.105-114
Communication dans un congrès
hal-00448112v1
|
|||
|
Model Engineering Support for Tool InteroperabilityWorkshop in Software Model Engineering (WiSME’2005) - a MODELS 2005 Satellite Event, Oct 2005, Montego Bay, Jamaica
Communication dans un congrès
hal-01272245v1
|
||
Towards an Advanced Model-driven Engineering ToolboxInnovations in Systems and Software Engineering, 2009, 5 (1), pp.5-12. ⟨10.1007/s11334-009-0082-7⟩
Article dans une revue
istex
hal-00782784v1
|
|||
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph17th International Workshop in OCL and Textual Modeling, Jul 2017, Marburg, Germany
Communication dans un congrès
hal-01585342v1
|
|||
Cheptre Solution to the TTC 2023 Incremental Class2Relational CaseTTC 2023, 2023, VIRTUAL CONFERENCE, France
Communication dans un congrès
hal-04234778v1
|
|||
An M3-Neutral infrastructure for bridging model engineering and ontology engineeringFirst international Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA'05), 2005, Geneva, Switzerland, Switzerland. pp.159-171
Communication dans un congrès
hal-00448055v1
|
|||
Evaluating Tool Support for Embedded Operating System Security: an Experience FeedbackSecureMDE 2020, Nov 2020, Virtual Event, Canada
Communication dans un congrès
hal-02966564v1
|
|||
Approaching Model Edition as a Linear Logic ProblemMODELS-C/OCL, Oct 2023, Västeras, Sweden
Communication dans un congrès
hal-04234665v1
|
|||
Program Comprehension Case Study for GraBaTs 2009Fifth International Workshop on Graph-Based Tools - Grabats 2009 (co-located with TOOLS 2009), Jul 2009, Zurich, Switzerland
Communication dans un congrès
hal-00782445v1
|