Projets par an
- 50 - 69 sur 69 résultats
Résultats de recherche
-
Terminé
-
-
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
-
Fireworks: Intégration de service: ingénierie des exigences
Schobbens, P. Y. & Zeippen, J.
1/05/97 → 30/11/00
Projet: Recherche
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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