Projects per year
- 1 - 50 out of 252 results
Search results
-
Icarus: Incremental Construction and Reuse of Requirements Specifications
DUBOIS, E. & Schobbens, P. Y.
1/01/89 → 31/01/94
Project: Research
-
PDU: The Albert II Language. On the Design and the Use of a Formal Specification Language for Requirements Analysis
DUBOIS, E. & Schobbens, P. Y.
1/09/89 → 1/09/95
Project: PHD
-
MeDiCiS: Methodology for the development of computer system specification
Schobbens, P. Y., DUBOIS, E., Petit, M. & Zeippen, J.
1/11/93 → 31/10/95
Project: Research
-
COMPASS: Comprehensive Algebraic Approach to System Specification and Development
1/04/89 → 31/03/96
Project: Research
-
2RARE: 2 Real Applications for Requirements Engineering
DUBOIS, E., Heymans, P. & Schobbens, P. Y.
1/10/95 → 30/09/96
Project: Research
-
ModelAge: A common formal model of cooperating intelligent agents
Schobbens, P. Y., DUBOIS, E. & Petit, M.
1/09/93 → 31/03/97
Project: Research
-
-
MPE: Formal Requirements Engineering of Manufacturing Systems: A Multi-Formalism and Component-Based Approach
1/10/92 → 27/10/99
Project: PHD
-
S&T: Activity Modelling and Object Technology for Cooperative Information Systems
DUBOIS, E., Schobbens, P. Y. & Petit, M.
1/08/96 → 31/10/99
Project: Research
-
CREWS: Cooperative Requirements Engineering With Scenarios
DUBOIS, E., Schobbens, P. Y. & Heymans, P.
1/08/96 → 31/10/99
Project: Research
-
-
DB-MAIN/01: Technology Transfert in Database Application Engineering
Hainaut, J., BROGNEAUX, A. & Englebert, V.
1/09/95 → 1/12/99
Project: Research
-
ASPIRE: Advanced modeling and SPecification of distributed InfoRmation systEms
Schobbens, P. Y. & DUBOIS, E.
1/02/97 → 31/03/00
Project: Research
-
RENOIR: Requirements Engineering Network Of International cooperating Research groups
Schobbens, P. Y., Heymans, P. & Petit, M.
1/06/97 → 31/05/00
Project: Research
-
-
Fireworks: Feature Integration in Requirements Engineering
Schobbens, P. Y. & Zeippen, J.
1/05/97 → 30/11/00
Project: Research
-
-
-
Active-DB: Active Databases
Hainaut, J., BROGNEAUX, A. & DETIENNE, V.
1/01/00 → 31/12/00
Project: Research
-
PHE: Animation of formal requirements specifications
Schobbens, P. Y., DUBOIS, E. & Heymans, P.
20/12/96 → 20/05/01
Project: PHD
-
CAT: Tools for the modelling and analysis of requirements for telecommunication systems
Schobbens, P. Y., DUBOIS, E., Heymans, P., Petit, M. & Zeippen, J.
1/04/95 → 1/07/01
Project: Research
-
-
-
JMZ: Assisting software engineers in their analysis of software systems requirements and specifications
Schobbens, P. Y. & Zeippen, J.
20/12/96 → 20/12/01
Project: PHD
-
TimeSTAMP: Modeling and development of temporal databases
Hainaut, J., DETIENNE, V. & ROLAND, D.
1/09/97 → 31/12/01
Project: Research
-
DB-Process: Modeling and Control of Engineering processes
Hainaut, J. & ROLAND, D.
1/01/94 → 31/12/01
Project: Research
-
InterDB: Heterogeneous and Distributed Systems Integration
Hainaut, J., HICK, J. & Thiran, P.
30/09/95 → 31/08/02
Project: Research
-
DISSCO: Document management Integrated System for Scientific Organisations
Schobbens, P. Y., DE VOS, A., Heymans, P., Lobet-Maris, C. & Petit, M.
1/12/01 → 31/10/02
Project: Research
-
-
Thèse: Database engineering process modelling
Hainaut, J. & ROLAND, D.
31/08/95 → 15/05/03
Project: PHD
-
-
-
Program comprehension in database reverse engineering
Hainaut, J. & HENRARD, J.
1/09/95 → 19/09/03
Project: PHD
-
ARTHUR: Telecom architecture for hospital urgency services
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
Project: Research
-
-
BAAR: Extending formal methods for requirements engineering to risk management
1/11/99 → 31/10/03
Project: Research
-
CERTIFORM-PADI: Certifying training for computer professionals - Documentation support in Informatics
Hainaut, J., Lobet-Maris, C., BROGNEAUX, A. & Zeippen, J.
1/01/01 → 31/12/03
Project: Research
-
SIICA: Integrated information and communication system for air traffic control
15/12/01 → 31/12/03
Project: Research
-
MODIVOC: Distributed Mobile Systems with Voice Interfaces
Habra, N., Englebert, V., Mayala Lusilabo mfumua'Nsi, F. & Schobbens, P. Y.
6/03/02 → 30/06/04
Project: Research
-
IS Migration: Architectures and transformational techniques for database applications migration, including data and programs
Hainaut, J., Cleve, A., HENRARD, J., HICK, J., ROLAND, D. & Thiran, P.
1/09/02 → 31/08/04
Project: Research
-
Le dilemne du détermisme technologique et du constructivisme social en informatique
Habra, N. & VALENDUC, G.
30/09/00 → 30/09/04
Project: PHD
-
-
YBO: Relating inter-agent and intra-agent specifications : the case of life sequence chart
Schobbens, P. Y. & Bontemps, Y.
1/10/01 → 30/05/05
Project: PHD
-
-
CadProfSant: Cadastre des professions de la santé
Schobbens, P. Y., DUMONT, V., LETOCART, V., Meurisse, J. & SAVAL, G.
27/07/04 → 31/05/05
Project: Research
-
-
-
-
Decision Support Tool on Basis of Parameterized Measurements (D-side)
21/12/04 → 30/06/06
Project: Research
-
Craq-Certification: Cerrtification of Software Practices & Sofware Products
7/03/02 → 1/07/06
Project: Research