Projets par an
Profil personnel
Diplômes
Licence et Maîtrise en Informatique
Diplômes
Baccalauréat en Mathématiques
Projets
- 6 Terminé
-
MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
SCHOBBENS, P., 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
-
CERTIFORM-PADI: Formations certifiantes pour les professionnels de l'informatique - Point d'Appui Documentaire en Informatique
HAINAUT, J., Lobet-Maris, C., BROGNEAUX, A. & Zeippen, J.
1/01/01 → 31/12/03
Projet: Recherche
-
-
JMZ: Assister l'ingénieur des exigences dans ses activités de raisonnement face à une spécification
20/12/96 → 20/12/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., DUBOIS, E., HEYMANS, P., Petit, M. & Zeippen, J.
1/04/95 → 1/07/01
Projet: Recherche
-
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
Auteur: Zeippen, J., 1990Superviseur: Hainaut, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier