Hakim Belhaouari
Mots clés
FR |
EN
Topologie
Génie logiciel
Modélisation géométrique
Transformation de graphe
Compilation
Dsl
Géologie.
Modélisation tridimensionnelle
Théorie des graphes topologiques
Prototypage rapide
Compilation (informatique)
Modèles en géologie
Résolution de problème
Logiciels
Méthodes formelles (informatique)
Logiciels -- Vérification
Conception orientée objets (informatique)
Simulation physique
Modèle topologique
Langage à base de règles