Jean-Marc Jézéquel

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Outils pour l'experimentation d'algorithmes distribues sur machines paralleles

Directed Thesis:

Investigate the matrix : leveraging variability to specialize software and test suites
Integrating predictive analysis in self-adaptive pervasive systems
Ingénierie des applications Web : réduire la complexité sans diminuer le contrôle
Gestion de la variabilité et automatisation des processus de développement logiciel
Facilités de typage pour l'ingénierie des langages
Model-driven software engineering for virtual machine images provisioning in cloud computing
Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits
Une méthode fondée sur les modèles pour gérer les propriétés temporelles des systèmes à composants logiciels
Kevoree : Model@Runtime pour le développement continu de systèmes adaptatifs distribués hétérogènes
Methodology for the derivation of product behaviour in a Software Product Line
Assistance à la méta-modélisation précise
EnTiMid : un modèle de composants pour intégrer des objets communicants dans des applications à base de services
Le développement agile de services de télécommunication intégrés via des techniques d'ingénierie des modèles
Composition de modèles et de métamodèles : séparation des correspondances et desinterprétations pour unifier les approches de composition existantes
Validation of reasoning engines and adaptation mechanisms for self-adaptive systems
Automatic effective model discovery
Leveraging models from design-time to runtime to support dynamic variability
Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel
La mesure des modèles par les modèles
Qualité de Service temporelle pour composants logiciels
Performances des systèmes distribués : proposition d'une plateforme fédératrice de la supervision
Typage de Modèles
Aspects comportementaux et tissage
Proposition d'un processus de réification d'abstraction de communication comme un connecteur associé à des générateurs
Une architecture pour les transformations de modèles et la restructuration de modèles UML
Manipulation de lignes de produits en UML
Génération automatique de tests à partir des exigences et application aux lignes de produits logicielles
Modélisation d'aspects qualité de service en UML : application aux composants logiciels
Assemblage testable et validation de composants
Contribution à un processus de réification d'abstractions de communications
Test des composants logiciels pour les télécommunications
Test et modèle UML : stratégies de planification des tests
Contribution à la réification d'un processus de conception