page d'accueil   sommaire  

MOVES: modélisation, vérification et évolution de logiciel [MOVES: Fundamental Issues in Modelling, Verification and Evolution of Software]

Voir http://moves.vub.ac.be/ [See http://moves.vub.ac.be/]



responsables


Thierry MASSART Jean-François RASKIN


disciplines et mots clés déclarés


Informatique appliquée logiciel Informatique mathématique

evolution logicielle logiciel synthèse de logiciel vérification de logiciels