Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

298 résultats
Page :
triés par
Image document

Parallèlisme massif et langage à objets : une approche SPMD

 Jean-Marc Jézéquel
[Rapport de recherche] RR-1607, INRIA. 1992
Rapport inria-00074953v1
Image document

Analyzing a space-protocol: from specification, simulation to experimentation

 Marc Andreu , Michèle Haziza , Claude Jard , Jean-Marc Jézéquel
Proc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France
Communication dans un congrès hal-00765076v1
Image document

Parallélisation d'un routeur XTP

 Jean-Marc Jézéquel
Actes du colloque CFIP'93 sur l'ingénièrie des protocoles, Sep 1993, Montreal, Canada
Communication dans un congrès hal-00765333v1
Image document

When Model Driven Engineering meets Virtual Reality: Feedback from Application to the Collaviz Framework

 Thierry Duval , Arnaud Blouin , Jean-Marc Jézéquel
Software 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 Systems

 Uwe Assmann , Sebastian Gotz , Jean-Marc Jézéquel , Brice Morin , Mario Trapp
Models@run.time - Foundations, Applications, and Roadmaps, 2014
Chapitre d'ouvrage hal-02054122v1

Reusable test requirements for UML-modeled product lines

 Clémentine Nebut , Simon Pickin , Yves Le Traon , Jean-Marc Jézéquel
Proceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), Sep 2002, Essen, Germany
Communication dans un congrès hal-00794640v1
Image document

Genes and bacteria for automatic test cases optimization in the .net environment

 Benoit Baudry , Franck Fleurey , Jean-Marc Jézéquel , Yves Le Traon
Proceedings of ISSRE02 (International Symposium on Software Reliability Engineering), Nov 2002, Annapolis, United States
Communication dans un congrès hal-00794778v1
Image document

Extra-functional contract support in components

 Olivier Defour , Jean-Marc Jézéquel , Noël Plouzeau
Proc. of International Symposium on Component-based Software Engineering (CBSE7), May 2004, RENNES, France
Communication dans un congrès hal-00795031v1
Image document

An MDA approach to tame component based software development

 Jean-Marc Jézéquel , Olivier Defour , Noël Plouzeau
Post Proceedings of Formal Methods for Components and Objects (FMCO'03), 2004, Leiden, Netherlands
Communication dans un congrès hal-00795036v1
Image document

Product line engineering: Product derivation

 Laurent Monestel , Tewfik Ziadi , Jean-Marc Jézéquel
Workshop 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

Managing Variability Complexity in Aspect Oriented Modelling

 Brice Morin , Gilles Vanwormhoudt , Philippe Lahire , Alban Gaignard , Olivier Barais , et al.
12th 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

EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers

 Jean-Marc Jézéquel
ECOOP'92 proceedings, Jul 1992, RENNES, France
Communication dans un congrès hal-00765329v1
Image document

Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen

 Mathieu Acher , Olivier Barais , Benoit Baudry , Arnaud Blouin , Johann Bourcier , et al.
GDR GPL, Jun 2014, Paris, France
Communication dans un congrès hal-00980126v1
Image document

Leveraging Family Polymorphism in MDE

 Thomas Degueule , Benoit Combemale , Olivier Barais , Arnaud Blouin , Jean-Marc Jézéquel
2014
Pré-publication, Document de travail hal-00994541v1
Image document

On Language Interfaces

 Thomas Degueule , Benoit Combemale , Jean-Marc Jézéquel
Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017
Chapitre d'ouvrage hal-01424909v1
Image document

ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems

 Inti Gonzalez-Herrera , Johann Bourcier , Erwan Daubert , Walter Rudametkin , Olivier Barais , et al.
Journal of Systems and Software, 2016, ⟨10.1016/j.jss.2016.02.027⟩
Article dans une revue hal-01354999v1
Image document

Making components contract aware

 Antoine Beugnard , Jean-Marc Jézéquel , Noël Plouzeau , Damien Watkins
Computer, 1999, 32 (7), pp.38-45. ⟨10.1109/2.774917⟩
Article dans une revue hal-01794333v1
Image document

Reusable model transformations

 Sagar Sen , Naouel Moha , Vincent Mahé , Olivier Barais , Benoit Baudry , et al.
Software and Systems Modeling, 2012, 11 (1), pp.111-125. ⟨10.1007/s10270-010-0181-9⟩
Article dans une revue inria-00542766v1
Image document

Generative Software Engineering

 Jean-Marc Jézéquel
Labit, Claude. Shaping the Future: 10 years of IrisaTech, IrisaTech, pp.51--54, 2007
Chapitre d'ouvrage inria-00512600v1
Image document

Evaluation of Kermeta on Graph Transformation Problems

 Naouel Moha , Sagar Sen , Cyril Faucher , Olivier Barais , Jean-Marc Jézéquel
International Journal on Software Tools for Technology Transfer, 2010
Article dans une revue inria-00477521v1
Image document

Taming Dynamically Adaptive Systems with Models and Aspects

 Brice Morin , Olivier Barais , Grégory Nain , Jean-Marc Jézéquel
31st International Conference on Software Engineering (ICSE'09), 2009, Vancouver, Canada, Canada
Communication dans un congrès inria-00468516v1
Image document

Semantic Join Point Models: Motivations, Notions and Requirements

 Walter Cazzola , Jean-Marc Jézéquel , Awais Rashid
SPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies), 2006, Bonn, Germany, Germany
Communication dans un congrès inria-00542782v1
Image document

Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering Approaches

 Reda Bendraou , Jean-Marc Jézéquel , Franck Fleurey
Journal 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 Components

 Jean-Marc Jézéquel , Frédéric Guidec , Franck Hamelin
Object Oriented Systems, 1994, 1, pp.149-170
Article dans une revue hal-00494950v1
Image document

Multimorphic Testing

 Paul Temple , Mathieu Acher , Jean-Marc Jézéquel
ICSE '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

Multiple Feature Models & Relationships in a Model-Based Product Line Process

 Stephen Creff , Arnaud Monégier , Joël Champeau , Jean-Marc Jézéquel
Lignes de produits, Oct 2011, Paris, France
Communication dans un congrès hal-00676780v1

Relationships Formalization for Model-Based Product Lines

 Stephen Creff , Joël Champeau , Arnaud Monégier , Jean-Marc Jézéquel
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
Communication dans un congrès hal-00773497v1
Image document

Experience in validating protocol integration using Estelle

 Jean-Marc Jézéquel
Third 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 families

 Clémentine Nebut , Simon Pickin , Yves Le Traon , Jean-Marc Jézéquel
Proc. 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 machines

 Jean-Marc Jézéquel , Naohito Sato
Springer-Verlag, Apr 1999, Etats-Unis, United States
Communication dans un congrès hal-00776485v1
Page :