Filtrer vos résultats
- 243
- 53
- 2
- 203
- 58
- 15
- 13
- 5
- 3
- 1
- 14
- 1
- 295
- 2
- 1
- 1
- 5
- 11
- 9
- 5
- 5
- 4
- 5
- 4
- 8
- 14
- 8
- 18
- 10
- 20
- 14
- 24
- 14
- 13
- 10
- 8
- 11
- 12
- 10
- 9
- 8
- 6
- 3
- 7
- 2
- 4
- 4
- 5
- 1
- 2
- 3
- 1
- 274
- 24
- 292
- 241
- 47
- 11
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 298
- 64
- 32
- 29
- 28
- 25
- 17
- 15
- 15
- 14
- 14
- 11
- 11
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 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
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
298 résultats
|
Parallèlisme massif et langage à objets : une approche SPMD[Rapport de recherche] RR-1607, INRIA. 1992
Rapport
inria-00074953v1
|
||
|
Analyzing a space-protocol: from specification, simulation to experimentationProc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France
Communication dans un congrès
hal-00765076v1
|
||
|
Parallélisation d'un routeur XTPActes du colloque CFIP'93 sur l'ingénièrie des protocoles, Sep 1993, Montreal, Canada
Communication dans un congrès
hal-00765333v1
|
||
|
When Model Driven Engineering meets Virtual Reality: Feedback from Application to the Collaviz FrameworkSoftware Engineering and Architectures for Realtime Interactive Systems Working Group, Mar 2014, Minnesota, United States
Communication dans un congrès
hal-00969072v1
|
||
A Reference Architecture and Roadmap for Models@run.time SystemsModels@run.time - Foundations, Applications, and Roadmaps, 2014
Chapitre d'ouvrage
hal-02054122v1
|
|||
Reusable test requirements for UML-modeled product linesProceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), Sep 2002, Essen, Germany
Communication dans un congrès
hal-00794640v1
|
|||
|
Genes and bacteria for automatic test cases optimization in the .net environmentProceedings of ISSRE02 (International Symposium on Software Reliability Engineering), Nov 2002, Annapolis, United States
Communication dans un congrès
hal-00794778v1
|
||
|
Extra-functional contract support in componentsProc. of International Symposium on Component-based Software Engineering (CBSE7), May 2004, RENNES, France
Communication dans un congrès
hal-00795031v1
|
||
|
An MDA approach to tame component based software developmentPost Proceedings of Formal Methods for Components and Objects (FMCO'03), 2004, Leiden, Netherlands
Communication dans un congrès
hal-00795036v1
|
||
|
Product line engineering: Product derivationWorkshop on Model Driven Architecture and Product Line Engineering, associated to the SPLC2 conference, Aug 2002, San Diego, United States
Communication dans un congrès
hal-00794538v1
|
||
EPEE: an Eiffel Environment to Program Distributed Memory Parallel ComputersECOOP'92 proceedings, Jul 1992, RENNES, France
Communication dans un congrès
hal-00765329v1
|
|||
|
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systemsJournal of Systems and Software, 2016, ⟨10.1016/j.jss.2016.02.027⟩
Article dans une revue
hal-01354999v1
|
||
|
Making components contract awareComputer, 1999, 32 (7), pp.38-45. ⟨10.1109/2.774917⟩
Article dans une revue
hal-01794333v1
|
||
|
Reusable model transformationsSoftware and Systems Modeling, 2012, 11 (1), pp.111-125. ⟨10.1007/s10270-010-0181-9⟩
Article dans une revue
inria-00542766v1
|
||
|
Generative Software EngineeringLabit, Claude. Shaping the Future: 10 years of IrisaTech, IrisaTech, pp.51--54, 2007
Chapitre d'ouvrage
inria-00512600v1
|
||
|
Evaluation of Kermeta on Graph Transformation ProblemsInternational Journal on Software Tools for Technology Transfer, 2010
Article dans une revue
inria-00477521v1
|
||
|
Taming Dynamically Adaptive Systems with Models and Aspects31st International Conference on Software Engineering (ICSE'09), 2009, Vancouver, Canada, Canada
Communication dans un congrès
inria-00468516v1
|
||
|
Semantic Join Point Models: Motivations, Notions and RequirementsSPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies), 2006, Bonn, Germany, Germany
Communication dans un congrès
inria-00542782v1
|
||
Managing Variability Complexity in Aspect Oriented Modelling12th International Conference on Model Driven Engineering Languages and Systems (MODELS'2009), ACM/IEEE, Sep 2008, Toulouse, France. pp.797-812
Communication dans un congrès
hal-00415774v1
|
|||
|
Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering ApproachesJournal of Software: Evolution and Process, 2012, 24 (7), pp.765-781. ⟨10.1002/smr.494⟩
Article dans une revue
inria-00538462v1
|
||
Parallelizing Object Oriented Software through the Reuse of Parallel ComponentsObject Oriented Systems, 1994, 1, pp.149-170
Article dans une revue
hal-00494950v1
|
|||
Relationships Formalization for Model-Based Product LinesAPSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
Communication dans un congrès
hal-00773497v1
|
|||
Multiple Feature Models & Relationships in a Model-Based Product Line ProcessLignes de produits, Oct 2011, Paris, France
Communication dans un congrès
hal-00676780v1
|
|||
|
Multimorphic TestingICSE '18 - ACM/IEEE 40th International Conference on Software Engineering, May 2018, Gothenburg, Sweden. pp.1-2, ⟨10.1145/3183440.3195043⟩
Communication dans un congrès
hal-01730163v2
|
||
|
On Language InterfacesBertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017
Chapitre d'ouvrage
hal-01424909v1
|
||
|
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
|
||
|
Experience in validating protocol integration using EstelleThird International Conference on Formal Description Techniques, Nov 1990, Madrid, Spain
Communication dans un congrès
hal-00764941v1
|
||
Automated requirements-based generation of test cases for product familiesProc. of the 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003, RENNES, France
Communication dans un congrès
hal-00794804v1
|
|||
A simple dynamic load-balancing schemefor parallel molecular dynamics simulationon distributed memory machinesSpringer-Verlag, Apr 1999, Etats-Unis, United States
Communication dans un congrès
hal-00776485v1
|