Projects per year
- 1 - 50 out of 65 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
-
ABILE: Abstract Interpretation for Declarative Languages
LE CHARLIER, B. & Schobbens, P. Y.
1/01/95 → 31/12/98
Project: Research
-
-
COMPULOG-Net: Network of Excellence in Computational Logic
LE CHARLIER, B., Jacquet, J. & Schobbens, P. Y.
24/06/96 → 24/06/99
Project: Research
-
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
-
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
-
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
-
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
-
-
-
-
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
-
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
-
-
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
-
PLENTY: Product Line ENgineering of food TraceabilitY systems
Heymans, P., Schobbens, P. Y. & Trigaux, J.
1/03/03 → 28/02/07
Project: Research
-
Interop: Interoperability Research for Networked Enterprises Applications and Software (InterOP)
Schobbens, P. Y., DALLONS, G., Heymans, P., Petit, M., POLLET, I. & VERMAUT, F.
1/12/03 → 1/05/07
Project: Research
-
Artist: Network of Excellence in Embedded Systems Design
Schobbens, P. Y. & Bontemps, Y.
1/07/04 → 1/07/07
Project: Research
-
Thèse-JC-Trigaux: Evaluation and Formalization of Feature Modelling Languages
Heymans, P., Schobbens, P. Y. & Trigaux, J.
30/09/03 → 27/12/07
Project: PHD
-
Vigile: Integrated viewing of large medical images and extensible linking
Madani, H., PEETERS, C. & Schobbens, P. Y.
1/09/07 → 1/09/10
Project: Research
-
Quasimodo: Quantitative System Properties in Model-Driven Design of Embedded Systems
1/01/08 → 31/12/10
Project: Research
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Schobbens, P. Y. & Legay, A.
1/10/08 → 1/10/11
Project: Research
-
Th-HTO: Formal Modelling and Verification of Access Control Policies
Schobbens, P. Y. & Toussaint, H.
20/11/07 → 1/10/11
Project: PHD
-
Thèse-A-Classen: Modelling and Model Checking Variability-Intensive Systems
Classen, A., Heymans, P. & Schobbens, P. Y.
1/10/07 → 1/10/11
Project: PHD
-
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
Project: Research
-
MoVES: Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software
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
Project: Research
-
Thesis-A-Hubaux: Separation of Concerns in Variability Models
Heymans, P., HUBAUX, A. & Schobbens, P. Y.
1/09/07 → 31/12/11
Project: PHD
-
LogiCCC: Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences
9/12/07 → 31/12/11
Project: Research
-
-
Re2adapt: Research network on software adaptability
Heymans, P., BOUCHER, Q., Classen, A., HUBAUX, A. & Schobbens, P. Y.
1/06/08 → 1/06/12
Project: Research
-
VLPL: Software Product Lines Verification
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
-
ORTHOGEN: Integrated Information System for Tracing and Managing Othopedic Infections
Schobbens, P. Y., Ortiz Vega, J. J. & DE NIZZA, D.
1/01/10 → 30/06/13
Project: Research
-
TPA: Theory and Practice of Automata and Logics
Schobbens, P. Y., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Project: Research
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Project: Research
-
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Project: PHD
-
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Project: Research
-
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
Project: Research