Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
Portail de la recherche de l'Université de Namur Accueil
English
Français
Accueil
Profils
Unités de recherche
Projets
Résultat de recherche
Thèses de l'étudiant
Équipement
Ensembles de données
Prix
Activités
Presse/médias
Recherche par expertise, nom ou affiliation
Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
Schobbens, Pierre Yves
(Responsable du Projet)
BAINA, Salah
(Chercheur)
Bontemps, Yves
(Chercheur)
BROGNEAUX, ANNE-FRANCE
(Chercheur)
Classen, Andreas
(Chercheur)
Cleve, Anthony
(Co-investigateur)
DETIENNE, Virginie
(Chercheur)
Englebert, Vincent
(Co-investigateur)
Faulkner, Stephane
(Co-investigateur)
GENON, NICOLAS
(Chercheur)
Habra, Naji
(Co-investigateur)
Hainaut, Jean-Luc
(Co-investigateur)
Heymans, Patrick
(Co-investigateur)
HUBAUX, Arnaud
(Chercheur)
Jureta, Ivan
(Chercheur)
MATULEVICIUS, Raimundas
(Chercheur)
Mayer, Nicolas
(Chercheur)
OGER, Laura
(Secrétaire)
Petit, Michael
(Co-investigateur)
RAMDOYAL, Ravi
(Chercheur)
SANDRON, Stephane
(Chercheur)
SAVAL, Germain
(Chercheur)
Toussaint, Hubert
(Chercheur)
Trigaux, Jean-Christophe
(Chercheur)
Vanderose, Benoit
(Chercheur)
Zeippen, Jean-Marc
(Chercheur)
Research Center on Information Systems Engineering
Universite de Namur
Projet
:
Recherche
Aperçu
Empreinte digitale
Résultat de recherche
(1)
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
Trier par
Pondération
Par ordre alphabétique
Computer Science
Intensive System
100%
Application
80%
Model Checking
80%
Transition System
80%
Software
80%
Software Engineering
80%
Teams
40%
Domains
40%
Models
36%
Quality Assurance Technique
32%
Model Checking Algorithm
32%
aspect oriented software development
20%
Research Quality
20%
Programs
20%
Desired Property
20%
formal modeling
20%
Essential Property
20%
Model-Driven Engineering
20%
Research Worker
20%
Software Evolution
20%
Artifacts
20%
Links
20%
Contexts
20%
Analysis Method
20%
Automaton
16%
software product line engineering
16%
model checker
16%
Parallel Composition
16%
Detection
16%
Linear Feature
16%
Benchmark
16%