Projets par an
- 1 - 50 sur 65 résultats
Résultats de recherche
-
Recherche
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
1/11/15 → 31/10/22
Projet: Recherche
-
-
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
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
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
-
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
-
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
-
ORTHOGEN: Système d'information intégré pour la traçabilité et la gestion multi-paramètres des infections orthopédiques.
Schobbens, P. Y., Ortiz Vega, J. J. & DE NIZZA, D.
1/01/10 → 30/06/13
Projet: Recherche
-
MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
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
Projet: Recherche
-
Fireworks: Intégration de service: ingénierie des exigences
Schobbens, P. Y. & Zeippen, J.
1/05/97 → 30/11/00
Projet: Recherche
-
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
Projet: Recherche
-
BAAR: Extension de méthodes formelles en ingénierie des besoins pour la gestion de risques
1/11/99 → 31/10/03
Projet: Recherche
-
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P. Y., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Projet: Recherche
-
Interop: Réseau d'Excellence en Interopérabilité de Systèmes d'Information pour Entreprises en Réseaux (InterOP)
Schobbens, P. Y., DALLONS, G., Heymans, P., Petit, M., POLLET, I. & VERMAUT, F.
1/12/03 → 1/05/07
Projet: Recherche
-
-
GASICS: Analyse et Synthèse de Systèmes d'Information Interactifs grâce à la Théorie des Jeux (Théorie de la Décision)
Schobbens, P. Y. & Legay, A.
1/10/08 → 1/10/11
Projet: Recherche
-
DISSCO: Système intégré de gestion de documents pour les organisations scientifiques
Schobbens, P. Y., DE VOS, A., Heymans, P., Lobet-Maris, C. & Petit, M.
1/12/01 → 31/10/02
Projet: Recherche
-
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
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
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
-
Re2adapt: Réseau de recherche sur l'adaptabilité du logiciel
Heymans, P., BOUCHER, Q., Classen, A., HUBAUX, A. & Schobbens, P. Y.
1/06/08 → 1/06/12
Projet: Recherche
-
PLENTY: Ingénierie de lignes de produits pour logiciels de traçabilité alimentaire
Heymans, P., Schobbens, P. Y. & Trigaux, J.
1/03/03 → 28/02/07
Projet: Recherche
-
WebDeb: Création d'une application pédagogique open source de cartographie des débats et de sa plateforme générique
Schobbens, P. Y., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.
1/09/14 → 31/01/18
Projet: Recherche
-
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
-
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
-
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
-
Quasimodo: Propriétés quantitatives pour la conception orientée modèle de systèmes embarqués
1/01/08 → 31/12/10
Projet: Recherche
-
SIICA: Système Intégré d'Information et de Communication pour le Contrôle Aérien
15/12/01 → 31/12/03
Projet: Recherche
-
Artist: Réseau d'Excellence sur la conception de systèmes embarqués
Schobbens, P. Y. & Bontemps, Y.
1/07/04 → 1/07/07
Projet: Recherche
-
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Projet: Recherche
-
VEREV: Vérification de logiciel récursif, évolutif, et temps-réel
1/02/11 → 31/01/12
Projet: Recherche
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frénay, B., Schobbens, P. Y., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
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
-
Vigile: Visualisation Intégrée de Grandes Images médicales et création des Liens de façon Extensible
Madani, H., PEETERS, C. & Schobbens, P. Y.
1/09/07 → 1/09/10
Projet: Recherche
-
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
Projet: Recherche
-
MODIVOC: Systèmes MObiles et DIstribués à interface VOCale
Habra, N., Englebert, V., Mayala Lusilabo mfumua'Nsi, F. & Schobbens, P. Y.
6/03/02 → 30/06/04
Projet: Recherche
-
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
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
-
SEMIA: Architecture pour l'imagerie médicale augmentée sémantiquement
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Projet: Recherche
-
ARTHUR: ARchitecture de Télécommunication Hospitalière pour les services d'URgence
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
Projet: Recherche
-
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
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Projet: Recherche