Filtrer vos résultats
- 170
- 23
- 112
- 50
- 7
- 6
- 5
- 5
- 4
- 1
- 1
- 1
- 1
- 5
- 189
- 2
- 1
- 21
- 7
- 8
- 17
- 9
- 9
- 7
- 15
- 24
- 17
- 13
- 17
- 8
- 5
- 2
- 7
- 5
- 1
- 180
- 13
- 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
- 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
- 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
193 résultats
|
VCU: The Three Dimensions of Reuse15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Communication dans un congrès
hal-01287720v1
|
||
|
GEMOC 2014 2nd International Workshop on The Globalization of Modeling LanguagesBenoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, , pp.82, 2014, CEUR-WS, 1613-0073
Proceedings/Recueil des communications
hal-01074602v1
|
||
|
Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)EXE 2017 - 3rd International Workshop on Executable Modeling, Sep 2017, Austin, United States. pp.1-6
Communication dans un congrès
hal-01651801v1
|
||
|
Behavioral interfaces for executable DSLsSoftware and Systems Modeling, 2020, 19 (4), pp.1015-1043. ⟨10.1007/s10270-020-00798-2⟩
Article dans une revue
hal-02565549v1
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Article dans une revue
hal-01319576v1
|
|||
|
Towards the use of slicing techniques for an efficient invariant checkingMODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩
Communication dans un congrès
hal-01141395v1
|
||
|
Approximate Loop Unrolling2016
Pré-publication, Document de travail
hal-01401828v1
|
||
|
A Systematic Mapping Study on Modeling for Industry 4.0[Research Report] RR-9062, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2017, pp.25
Rapport
hal-01514421v2
|
||
|
Specialization of Run-time Configuration Space at Compile-time: An Exploratory StudySAC 2023 - The 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia. pp.1-10
Communication dans un congrès
hal-03916459v1
|
||
|
Large language models as an “operating” system for software and systems modelingSoftware and Systems Modeling, 2023, 22 (5), pp.1391-1392. ⟨10.1007/s10270-023-01126-0⟩
Article dans une revue
hal-04425734v1
|
||
|
On Understanding Context Modelling for Adaptive Authentication SystemsACM Transactions on Autonomous and Adaptive Systems, 2023, 18 (1), pp.1-35. ⟨10.1145/3582696⟩
Article dans une revue
hal-04037520v1
|
||
|
Concern-Oriented Language Development (COLD): Fostering Reuse in Language EngineeringComputer Languages, Systems and Structures, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩
Article dans une revue
hal-01803008v1
|
||
|
A Behavioral Coordination Operator Language (BCOoL)International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462
Communication dans un congrès
hal-01182773v1
|
||
EduSymp '12: Proceedings of the 8th Edition of the Educators' SymposiumDan Chiorean and Benoit Combemale. ACM, pp.39, 2012, 978-1-4503-1812-9
Ouvrages
hal-00916296v1
|
|||
|
Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices[Research Report] RR-7882, INRIA. 2012
Rapport
hal-00670652v2
|
||
|
A Systematic Mapping Study on Modeling for Industry 4.0MODELS '17: Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, TX, USA, United States
Communication dans un congrès
hal-03284857v1
|
||
|
Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosenGDR GPL, Jun 2014, Paris, France
Communication dans un congrès
hal-00980126v1
|
||
|
Leveraging Family Polymorphism in MDE2014
Pré-publication, Document de travail
hal-00994541v1
|
||
|
SéMo'07 : premier atelier sur la Sémantique des ModèlesRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.137-144. ⟨10.3166/obj.13.4.137-144⟩
Article dans une revue
hal-00369871v1
|
||
|
Towards a Model-Based DevOps for Cyber-Physical SystemsSoftware Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019
Chapitre d'ouvrage
hal-02407886v1
|
||
|
Approximate Loop UnrollingCF 2019 - ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩
Communication dans un congrès
hal-02407868v1
|
||
|
Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future ChallengesICSMM 2020 - International Conference on Systems Modelling and Management, Jun 2020, Bergen, Norway
Communication dans un congrès
hal-02946949v1
|
||
|
From DSL Specification to Interactive Computer Programming EnvironmentSLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Athènes, Greece. pp.167-178, ⟨10.1145/3357766.3359540⟩
Communication dans un congrès
hal-02307953v1
|
||
|
On Language InterfacesBertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017
Chapitre d'ouvrage
hal-01424909v1
|
||
|
Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic SoftwareFourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom
Communication dans un congrès
hal-01367344v1
|
||
|
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
|
||
|
IDE as Code: Reifying Language Protocols as First-Class CitizensISEC 2021 - Innovations in Software Engineering Conference, Feb 2021, Bhubaneswar / Virtual, India. pp.1-5
Communication dans un congrès
hal-03107122v1
|
||
|
Personal report of the 3rd ECMDA-FA'07 conference2007
Pré-publication, Document de travail
hal-00369872v1
|
||
|
Automatic generation of Truffle-based interpreters for Domain-Specific LanguagesThe Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Article dans une revue
hal-02395867v2
|
||
|
Correct-by-construction model composition: Application to the Invasive Software Composition methodInternational Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Communication dans un congrès
hal-03252267v1
|