Projets par an
Projets
- 7 Terminé
-
ROBIN: A high level Reconstruction Of BIological PipeliNes
Jacquet, J.-M. (Responsable du Projet) & Zeippen, J.-M. (Chercheur)
1/09/21 → 31/10/22
Projet: Recherche
-
MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
Schobbens, P. Y. (Responsable du Projet), BAINA, S. (Chercheur), Bontemps, Y. (Chercheur), BROGNEAUX, A.-F. (Chercheur), Classen, A. (Chercheur), Cleve, A. (Co-investigateur), DETIENNE, V. (Chercheur), Englebert, V. (Co-investigateur), Faulkner, S. (Co-investigateur), GENON, N. (Chercheur), Habra, N. (Co-investigateur), Hainaut, J.-L. (Co-investigateur), Heymans, P. (Co-investigateur), HUBAUX, A. (Chercheur), Jureta, I. (Chercheur), MATULEVICIUS, R. (Chercheur), Mayer, N. (Chercheur), OGER, L. (Secrétaire), Petit, M. (Co-investigateur), RAMDOYAL, R. (Chercheur), SANDRON, S. (Chercheur), SAVAL, G. (Chercheur), Toussaint, H. (Chercheur), Trigaux, J.-C. (Chercheur), Vanderose, B. (Chercheur) & Zeippen, J.-M. (Chercheur)
1/01/07 → 31/12/11
Projet: Recherche
-
CERTIFORM-PADI: Formations certifiantes pour les professionnels de l'informatique - Point d'Appui Documentaire en Informatique
Hainaut, J.-L. (Responsable du Projet), Lobet-Maris, C. (Responsable du Projet), BROGNEAUX, A.-F. (Chercheur) & Zeippen, J.-M. (Chercheur)
1/01/01 → 31/12/03
Projet: Recherche
-
Fireworks: Intégration de service: ingénierie des exigences
Schobbens, P. Y. (Responsable du Projet) & Zeippen, J.-M. (Chercheur)
1/05/97 → 30/11/00
Projet: Recherche
-
JMZ: Assister l'ingénieur des exigences dans ses activités de raisonnement face à une spécification
Schobbens, P. Y. (Responsable du Projet) & Zeippen, J.-M. (Chercheur)
20/12/96 → 20/12/01
Projet: Projet de thèse
-
PloneGov as a software product line
Delannay, G., Heymans, P., Schobbens, P.-Y., Zeippen, J.-M. & Mens, K., 2007, Open-Source Software Product Lines Workshop. van, F., Linden, D. & Lundell, B. (eds.). Vol 1.Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems
Zeippen, J.-M., Dubois, E. & Du Bois, P., 1998, Proc. of the First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98). Kyoto (Japan), p. 215-219Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
A propos du méta-modèle Albert
Jungen, B., Zeippen, J.-M. & Heymans, P., 1997, Namur: Facultés Universitaires Notre-Dame de la Paix .Résultats de recherche: Livre/Rapport/Revue › Autre rapport
-
On the Use of a Formal RE Language - The Generalized Railroad Crossing Problem
Du Bois, P., Dubois, E. & Zeippen, J.-M., 1997, Proc. of the Third IEEE International Symposium on Requirements Engineering (RE '97). Annapolis, Maryland (USA), p. 171-183Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems
Dubois, E., Du Bois, P. & Zeippen, J.-M., 1995, Proc. of the Real-Time Systems Conference (RTS '95). PAris (France)Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Thèse
-
Generalization/specialization abstraction structures: Theoretical study and integration in a database design workbench
Zeippen, J.-M. (Auteur)Hainaut, J.-L. (Promoteur), 1990Student thesis: Master types › Master en sciences informatiques
Fichier