Collet, Philippe, 19..-...., informaticien
VIAF ID: 198899620 ( Personal )
Permalink: http://viaf.org/viaf/198899620
Preferred Forms
Works
Title | Sources |
---|---|
Une approche formelle pour automatiser la gestion de l'évolutiondans les processus de développement à base de composants. |
![]() |
Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués |
![]() |
AN ASSERTION-BASED MODEL FOR SOFTWARE ENGINEERING AND DATABASES : APPLICATION TO THE OQUAL LANGUAGE, AN EXTENSION OF EIFFEL. |
![]() |
Conception, maintenance et évolution non-cassante des API REST. |
![]() |
Contract negotiation for hierarchical component-based systems. |
![]() |
DEPOSIT : an approach to model and deploy data collection policies on heterogeneous and shared sensor networks. |
![]() |
DEPOSIT : une approche pour exprimer et déployer des politiques de collecte sur des infrastructures de capteurs hétérogènes et partagées |
![]() |
Domain-specific modeling language for self-adaptive software system architectures. |
![]() |
A formal approach to automate the evolution management in component-based software development processes |
![]() |
From monolithic architectural style to microservice one : structure-based and task-based approaches |
![]() |
Gestion de la variabilité au niveau du code : modélisation, traçabilité et vérification de cohérence |
![]() |
Graphes "State Constraint Transition" : un langage pour la spécification formelle des systèmes de systèmes dynamiques |
![]() |
Handling variability at the code level : modeling, tracing and checking consistency. |
![]() |
Justification Factory : from justification requirements elicitation to their continuous production. |
![]() |
Langage de modélisation spécifique au domaine pour les architectures logicielles auto-adaptatives |
![]() |
Maîtriser la variabilité enfouie dans les systèmes orientés objet et les systèmes de construction logicielle |
![]() |
Managing, multiple feature models : foundations, languages and applications |
![]() |
Mastering variability in the wild : on object-oriented variability implementations and variability-aware build systems. |
![]() |
Mise en oeuvre de la composition de services scénarisée et centrée utilisateur pour les environnements pervasifs collaboratifs. |
![]() |
UN MODELE FONDE SUR LES ASSERTIONS POUR LE GENIE LOGICIEL ET LES BASES DE DONNEES : APPLICATION AU LANGAGE OQUAL, UNE EXTENSION D'EIFFEL |
![]() |
Négociation de contrats dans les systèmes à composants logiciels hiérarchiques |
![]() |
Safe and secure model-driven design for embedded systems. |
![]() |
Variability-intensive applications over highly-configurable platforms : Early feasibility and optimality analysis. |
![]() |