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. | |
Towards understanding web applications : automated abstraction inference and its applications | |
Variability-intensive applications over highly-configurable platforms : Early feasibility and optimality analysis. | |
Vers une compréhension des applications web : inférence non-supervisée d’abstraction et ses applications. |