Filtrer vos résultats
- 30
- 14
- 28
- 11
- 3
- 2
- 2
- 39
- 4
- 1
- 2
- 1
- 3
- 2
- 3
- 8
- 4
- 4
- 1
- 3
- 3
- 1
- 2
- 3
- 1
- 1
- 1
- 37
- 7
- 41
- 9
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 44
- 15
- 13
- 9
- 8
- 6
- 6
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 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
44 résultats
|
|
triés par
|
|
A kernel transformation language for metamodel evolution and reversible model co-evolution2013
Rapport
hal-00842789v1
|
||
Fondements de la programmation orientée objet avec Java 8Ellipses, 2016, Références sciences, 9782340-014824
Ouvrages
hal-01418081v1
|
|||
FaST: An Efficient Framework For Visualizing Large-Scale Time Series2022 IEEE International Conference on Big Data (Big Data), Dec 2022, Osaka, Japan. pp.3745-3754, ⟨10.1109/BigData55660.2022.10020317⟩
Communication dans un congrès
hal-04103149v1
|
|||
A two-steps model transformation to extend the scope of an analysis framework to standard modeling languagesConférence : 6th MoDELS workshop on Models and Evolution., Oct 2012, Innsbruck, Austria. pp.P.P1-6
Communication dans un congrès
hal-00745477v1
|
|||
Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada
Communication dans un congrès
hal-01220427v1
|
|||
|
Back-in-time inspectors: an implementation with CollectorsInternational Workshop on Smalltalk Technologies, Sep 2018, Cagliari, Italy
Communication dans un congrès
hal-02320434v1
|
||
An experiment of a MDE approach for the design of reusable DSL toolsjournées sur l'Ingénierie Dirigée par les Modèles (IDM), Jun 2011, Lille, France. pp.25-30
Communication dans un congrès
hal-00631307v1
|
|||
|
Motif pour la métamodélisation: Flot de contrôleAtelier de IDM07 sur les motifs de métamodélisation, Jan 2007, France. pp.x-y
Communication dans un congrès
hal-00502123v1
|
||
|
Un aperçu de l'ingénierie du logiciel en 12 leçons de L1 InformatiqueColloque LMD en informatique: Europe et emploi. Montpellier-France, May 2005, Montpellier, France
Communication dans un congrès
hal-01448447v1
|
||
ModifRoundtrip: A Model-Based tool to reuse legacy transformationsACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint Malo, France
Communication dans un congrès
hal-01418027v1
|
|||
|
Formal framework of recontextualization by means of dependency graphs[Research Report] Lab-STICC_UBO_CACS_MOCS. 2015
Rapport
hal-01140107v1
|
||
|
Encapsulation and Behavioral Inheritance in a Synchronous Model of Computation for Embedded System Services AdaptationJournal of Logic and Algebraic Programming, 2005, 63 (2), pp.241-269. ⟨10.1016/j.jlap.2004.05.005⟩
Article dans une revue
hal-00546408v1
|
||
|
Validate, Simulate and Implement ARINC653 Systems using the AADLACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Article dans une revue
hal-00745370v1
|
||
|
Lub: A Pattern for Fine Grained Behavior Adaptation at RuntimeScience of Computer Programming, 2017, ⟨10.1016/j.scico.2017.09.006⟩
Article dans une revue
hal-01608971v1
|
||
Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372
Communication dans un congrès
hal-00502111v1
|
|||
|
Formal proof of a polychronous protocol for loosely time-triggered architectures5th International Conference on Formal Engineering Methods (ICFEM 2003), Nov 2003, Singapore, Singapore. pp.359-374, ⟨10.1007/978-3-540-39893-6_21⟩
Communication dans un congrès
hal-00544516v1
|
||
A design pattern-based approach for automatic choice of semi-partitioned and global scheduling algorithmsInformation and Software Technology, 2018, Volume 97, pp.83-98
Article dans une revue
hal-01742937v1
|
|||
A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE SystemsIEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Jun 2014, Parma, Italy. ⟨10.1109/WETICE.2014.52⟩
Communication dans un congrès
hal-01107511v1
|
|||
CdmCL, a Specific Textual Constraint Language for Common Data ModelInternational Workshop on OCL and Textual Modelling, co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain
Communication dans un congrès
hal-01107518v1
|
|||
|
CollectorsProgramming Experience 2018 (PX'18), Apr 2018, Nice, France. pp.9, ⟨10.1145/3191697.3214335⟩
Communication dans un congrès
hal-01829183v2
|
||
AADL design patterns and tools for modelling and performance analysis of real-time systems.5th european congress ERTSS Embedded Real-Time Software and System., May 2010, France
Communication dans un congrès
hal-00661001v1
|
|||
|
Specification and Verification of a Steam-Boiler with Signal-Coq13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2000), Aug 2000, Portland, Oregon, United States. pp.356-371, ⟨10.1007/3-540-44659-1_22⟩
Communication dans un congrès
hal-00544631v1
|
||
Modif: Automating data migration for the reuse of legacy tools2ème Conférence en IngénieriE du Logiciel (CIEL 2013), Mar 2013, Nancy, France
Communication dans un congrès
hal-00904067v1
|
|||
Recontextualisation de modèles par graphes de dépendanceRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015
Article dans une revue
hal-01220433v1
|
|||
|
Design Patterns for Self-Adaptive RTE Systems SpecificationInternational Journal of Reconfigurable Computing, 2014, 2014, 2014, Article ID 536362, 21 p. ⟨10.1155/2014/536362⟩
Article dans une revue
hal-01107504v1
|
||
Specification of Adaptable Model MigrationsMODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, Feb 2015, Angers, France
Communication dans un congrès
hal-01128973v1
|
|||
Design Pattern for self-adaptive RTE systems monitoringStudies in Computational Intelligence, 2015, Software Engineering Research, Management and Applications, 578, ⟨10.1007/978-3-319-11265-7_3⟩
Article dans une revue
hal-01107507v1
|
|||
Lub: A DSL for Dynamic Context Oriented ProgrammingInternational Workshop on Smalltalk Technologies (IWST'16), Aug 2016, Prague, Czech Republic. pp.13, ⟨10.1145/2991041.2991054⟩
Communication dans un congrès
hal-01418007v1
|
|||
|
The Steam Boiler Controller Problem in Signal-Coq[Research Report] RR-3773, INRIA. 1999
Rapport
inria-00072888v1
|
||
A DSML for reversible transformations11th OOPSLA Workshop on Domain-Specific Modeling, Oct 2011, Portland, United States. pp.1-6
Communication dans un congrès
hal-00631306v1
|
- 1
- 2