Projets par an
- 1 - 50 sur 66 résultats
Résultats de recherche
-
Icarus: Construction incrémentale et réutilisation de spécifications d'exigences
DUBOIS, E. & Schobbens, P. Y.
1/01/89 → 31/01/94
Projet: Recherche
-
COMPASS: Une approche algébrique globale pour la spécification et le développement de systèmes informatiques
1/04/89 → 31/03/96
Projet: Recherche
-
PDU: Le langage Albert II: de la conception et de l'utilisation d'un langage formel de spécification pour l'analyse des besoins
DUBOIS, E. & Schobbens, P. Y.
1/09/89 → 1/09/95
Projet: Projet de thèse
-
ModelAge: Un modèle formel commun des agents coopératifs intelligents
Schobbens, P. Y., DUBOIS, E. & Petit, M.
1/09/93 → 31/03/97
Projet: Recherche
-
MeDiCiS: Méthodologie pour le développement de spécifications de systèmes informatiques
Schobbens, P. Y., DUBOIS, E., Petit, M. & Zeippen, J.
1/11/93 → 31/10/95
Projet: Recherche
-
ABILE: Interprétation abstraite pour les langages de programmation déclaratifs
LE CHARLIER, B. & Schobbens, P. Y.
1/01/95 → 31/12/98
Projet: Recherche
-
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
-
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
-
JFR: Logiques, automates et théories classiques de décision du temps réel
1/10/95 → 7/06/99
Projet: Projet de thèse
-
COMPULOG-Net: Réseau d'excellence en logique computationnelle
LE CHARLIER, B., Jacquet, J. & Schobbens, P. Y.
24/06/96 → 24/06/99
Projet: Recherche
-
S&T: Modélisation d'activités et technologie orientée objet pour la construction de systèmes d'information coopératifs
DUBOIS, E., Schobbens, P. Y. & Petit, M.
1/08/96 → 31/10/99
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
-
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
-
JMZ: Assister l'ingénieur des exigences dans ses activités de raisonnement face à une spécification
Schobbens, P. Y. & Zeippen, J.
20/12/96 → 20/12/01
Projet: Projet de thèse
-
ASPIRE: Modélisation avancée et spécification de systèmes d'information distribués
Schobbens, P. Y. & DUBOIS, E.
1/02/97 → 31/03/00
Projet: Recherche
-
Fireworks: Intégration de service: ingénierie des exigences
Schobbens, P. Y. & Zeippen, J.
1/05/97 → 30/11/00
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
-
-
-
BAAR: Extension de méthodes formelles en ingénierie des besoins pour la gestion de risques
1/11/99 → 31/10/03
Projet: Recherche
-
ARTHUR: ARchitecture de Télécommunication Hospitalière pour les services d'URgence
Deville, G., Lobet-Maris, C., Poullet, Y., Schobbens, P. Y., DEPLANQUE, L., DUMONT, V., Herveg, J., Petit, M. & Rousseau, A.
1/10/00 → 1/10/03
Projet: Recherche
-
YBO: Relation entre spécification inter-agent et intra-agent
Schobbens, P. Y. & Bontemps, Y.
1/10/01 → 30/05/05
Projet: Projet de thèse
-
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
-
SIICA: Système Intégré d'Information et de Communication pour le Contrôle Aérien
15/12/01 → 31/12/03
Projet: Recherche
-
-
MODIVOC: Systèmes MObiles et DIstribués à interface VOCale
Habra, N., Englebert, V., Mayala Lusilabo mfumua'Nsi, F. & Schobbens, P. Y.
6/03/02 → 30/06/04
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
-
-
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
-
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
-
Artist: Réseau d'Excellence sur la conception de systèmes embarqués
Schobbens, P. Y. & Bontemps, Y.
1/07/04 → 1/07/07
Projet: Recherche
-
CadProfSant: Cadastre des professions de la santé
Schobbens, P. Y., DUMONT, V., LETOCART, V., Meurisse, J. & SAVAL, G.
27/07/04 → 31/05/05
Projet: Recherche
-
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
-
Vigile: Visualisation Intégrée de Grandes Images médicales et création des Liens de façon Extensible
Madani, H., PEETERS, C. & Schobbens, P. Y.
1/09/07 → 1/09/10
Projet: Recherche
-
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
-
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
-
Th-HTO: Modèle et vérification formels des politiques de contrôle d'accès
Schobbens, P. Y. & Toussaint, H.
20/11/07 → 1/10/11
Projet: Projet de thèse
-
-
Quasimodo: Propriétés quantitatives pour la conception orientée modèle de systèmes embarqués
1/01/08 → 31/12/10
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
-
GASICS: Analyse et Synthèse de Systèmes d'Information Interactifs grâce à la Théorie des Jeux (Théorie de la Décision)
Schobbens, P. Y. & Legay, A.
1/10/08 → 1/10/11
Projet: Recherche
-
ORTHOGEN: Système d'information intégré pour la traçabilité et la gestion multi-paramètres des infections orthopédiques.
Schobbens, P. Y., Ortiz Vega, J. J. & DE NIZZA, D.
1/01/10 → 30/06/13
Projet: Recherche
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
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
-
VEREV: Vérification de logiciel récursif, évolutif, et temps-réel
1/02/11 → 31/01/12
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
-
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
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Projet: Recherche