Projets par an
- 1 - 50 sur 60 résultats
Résultats de recherche
-
2RARE: 2 applications réelles pour l'ingénierie des exigences
DUBOIS, E., Heymans, P. & Schobbens, P. Y.
1/10/95 → 30/09/96
Projet: Recherche
-
CREWS: Ingénierie des exigences coopérative à l'aide de scénarios
DUBOIS, E., Schobbens, P. Y. & Heymans, P.
1/08/96 → 31/10/99
Projet: Recherche
-
RENOIR: Réseau de recherche international en ingénierie des exigences
Schobbens, P. Y., Heymans, P. & Petit, M.
1/06/97 → 31/05/00
Projet: Recherche
-
PHE: Animation de spécifications formelles des exigences
Schobbens, P. Y., DUBOIS, E. & Heymans, P.
20/12/96 → 20/05/01
Projet: Projet de thèse
-
CAT: Outils de Conception et d'Analyse de cahiers de charges pour des systèmes informatiques de Télécommunication
Schobbens, P. Y., DUBOIS, E., Heymans, P., Petit, M. & Zeippen, J.
1/04/95 → 1/07/01
Projet: Recherche
-
DISSCO: Système intégré de gestion de documents pour les organisations scientifiques
Schobbens, P. Y., DE VOS, A., Heymans, P., Lobet-Maris, C. & Petit, M.
1/12/01 → 31/10/02
Projet: Recherche
-
Outil d'Aide à la Décision sur Base de Mesures Paramétrables (D-side)
21/12/04 → 30/06/06
Projet: Recherche
-
Rigorous-UEML: Définition Rigoureuse d'un Langage Unifié de Modélisation d'Entreprises (UEML)
Heymans, P. & MATULEVICIUS, R.
1/11/05 → 31/10/06
Projet: Recherche
-
PLENTY: Ingénierie de lignes de produits pour logiciels de traçabilité alimentaire
Heymans, P., Schobbens, P. Y. & Trigaux, J.
1/03/03 → 28/02/07
Projet: Recherche
-
Interop: Réseau d'Excellence en Interopérabilité de Systèmes d'Information pour Entreprises en Réseaux (InterOP)
Schobbens, P. Y., DALLONS, G., Heymans, P., Petit, M., POLLET, I. & VERMAUT, F.
1/12/03 → 1/05/07
Projet: Recherche
-
Thesis-G-Perrouin: Modélisation d'architectures logicielles par l'utilisation de transformations de modèles et de cadres architecturaux
1/09/03 → 24/10/07
Projet: Projet de thèse
Fichier -
Thèse-JC-Trigaux: Evaluation et Formalisation de Langages de Modélisation de "Features"
Heymans, P., Schobbens, P. Y. & Trigaux, J.
30/09/03 → 27/12/07
Projet: Projet de thèse
-
CIGMOL: Comparaison et Intégration de Langages de Modélisation d'Objectifs
Heymans, P. & MATULEVICIUS, R.
1/11/06 → 31/10/08
Projet: Recherche
-
Model-based Management of Information System Security Risk
DUBOIS, E., Heymans, P. & Mayer, N.
22/09/04 → 31/08/10
Projet: Projet de thèse
-
Thesis-E-Abbasi: Operational Semantics of Multi-Level Staged Configuration
1/06/09 → 31/05/11
Projet: Projet de thèse
-
Formal Issues in Modelling and Automated Checking of Software Product Lines
1/09/10 → 31/08/11
Projet: Recherche
-
-
Thèse-G-Saval: Sélection de Systèmes de Gestion de Conférences
Heymans, P. & SAVAL, G.
1/09/06 → 31/08/11
Projet: Projet de thèse
-
S@T: SAT : Centre de Compétences pour l'industrie Aéronautique (Plan Marshall) : Aspects liés à la Certification
Habra, N., Heymans, P. & PEETERS, C.
1/09/09 → 31/08/11
Projet: Recherche
-
Problem-driven Specification and Verification of Software Product Lines
Classen, A. & Heymans, P.
1/10/07 → 30/09/11
Projet: Recherche
-
Thèse-A-Classen: Modélisation et vérification de lignes de produits logiciel
Classen, A., Heymans, P. & Schobbens, P. Y.
1/10/07 → 1/10/11
Projet: Projet de thèse
-
Thesis-A-Hubaux: Séparation des préoccupations dans les modèles de variabilité
Heymans, P., HUBAUX, A. & Schobbens, P. Y.
1/09/07 → 31/12/11
Projet: Projet de thèse
-
MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
Schobbens, P. Y., BAINA, S., Bontemps, Y., BROGNEAUX, A., Classen, A., Cleve, A., DETIENNE, V., Englebert, V., Faulkner, S., GENON, N., Habra, N., Hainaut, J., Heymans, P., HUBAUX, A., Jureta, I., MATULEVICIUS, R., Mayer, N., OGER, L., Petit, M., RAMDOYAL, R., SANDRON, S., SAVAL, G., Toussaint, H., Trigaux, J., Vanderose, B. & Zeippen, J.
1/01/07 → 31/12/11
Projet: Recherche
-
IRIS: Integration of Research in Information Systems
Englebert, V., Habra, N., Hainaut, J., Heymans, P., Petit, M. & Schobbens, P. Y.
1/03/07 → 31/12/11
Projet: Recherche
-
Re2adapt: Réseau de recherche sur l'adaptabilité du logiciel
Heymans, P., BOUCHER, Q., Classen, A., HUBAUX, A. & Schobbens, P. Y.
1/06/08 → 1/06/12
Projet: Recherche
-
SecureProcMetrics: Security Certification of Processes
Heymans, P. & Mangin, O.
1/09/09 → 31/08/12
Projet: Recherche
-
Variability in Base Models: Annotative vs. Compositional Approaches
1/10/11 → 30/09/12
Projet: Recherche
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Projet: Recherche
-
NAPLES - SPW: New Agile Platform for a Lifelong Engineering of Software.
Heymans, P., BOUCHER, Q. & Perrouin, G.
1/03/10 → 28/02/13
Projet: Recherche
-
POC PoCoLoCo: PoCoLoCo - Proof of Concept d'un Configurateur Logiciel
1/09/11 → 31/08/13
Projet: Recherche
-
-
-
Thesis-O-Mangin: Capturing and Managing Security Management Requirements
DUBOIS, E., Heymans, P. & Mangin, O.
1/09/09 → 31/08/13
Projet: Projet de thèse
-
Thesis-M-Mahaux: Improvisational Theater for Software Requirements Engineering
1/12/09 → 30/11/13
Projet: Projet de thèse
-
FEDER-CELLaVI: Mise sur pied d'un centre d'expertise en matière de logiciels libres / Open Source
DUSOLLIER, S., Heymans, P. & LAURENT, P.
1/09/08 → 31/12/13
Projet: Recherche
-
RW/FEDER-IQS: Centre d'Expertise en Ingénierie et Qualité des Systèmes
Habra, N., Heymans, P., Montero Redondo, E., BOUCHER, Q., DEMOULIN, M., KAMSEU, F. & MAHAUX, M.
1/09/08 → 31/12/13
Projet: Recherche
-
CALiPro: Automated Configuration of Software Product Lines
Heymans, P. & MICHEL, R.
1/01/10 → 1/01/14
Projet: Recherche
Fichier -
Thesis-R-Michel: Configuration Support for a Rich Feature Modelling Language
Heymans, P. & MICHEL, R.
1/09/10 → 31/08/14
Projet: Projet de thèse
-
Thesis-Q-Boucher: Génération d'interfaces de configuration à partir de modèles de variabilité
BOUCHER, Q. & Heymans, P.
12/03/10 → 26/09/14
Projet: Projet de thèse
Fichier -
-
CONF&TI: Conf&ti : aide au développement de configurateurs logiciels pour les technologies de l'information
Heymans, P. & SAVAL, G.
1/09/11 → 31/08/15
Projet: Recherche
-
Assurance Qualité Automatisée de Systèmes Hautement Variables basée sur les Modèles.
1/10/12 → 30/09/15
Projet: Recherche
-
Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Projet: Projet de thèse
-
MIRROR: MedIcal Resource Real Time Optimizer
Lucas, S., Schobbens, P. Y., Cleve, A., Lobet-Maris, C., Hainaut, J., Heymans, P. & DE NIZZA, D.
1/01/12 → 31/12/15
Projet: Recherche
-
-
SEAMPAT: Amélioration de la continuité des traitements médicamenteux par le développement d'une plate-forme de réconciliation médicamenteuse favorisant la participation active du patient
VANMEERBEEK, P., BURNET, C., Heymans, P., De Terwangne, C., PAGACZ, P., Forget, C. & Lobet-Maris, C.
1/06/14 → 31/05/17
Projet: Recherche
-
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., Schobbens, P. Y. & Perrouin, G.
1/09/11 → 30/08/17
Projet: Projet de thèse
-
Recommandations Adaptatives dans les Systèmes Complexes de Personnalisation de Produits
Heymans, P. & DAVRIL, J.
1/10/15 → 31/12/17
Projet: Recherche
-
-
ARC 13/18-054: Modeling, Design and Optimization of Software defined Networks
1/09/13 → 31/08/18
Projet: Recherche