Le moteur de recherche
des thèses françaises
Emilie Balland
IdRefMots clés
FR |
EN
Langages de programmation
termes-graphes
analyse statique
transformation de programmes
langages embarqués
Logiciels -- Vérification
Systèmes de réécriture (informatique)
Architecture Logicielle
Langage Dédié
Programmation Générative
Test
Simulation
Informatique omniprésente
Génie logiciel
Architecture logicielle
Langage dédié
Programmation générative
Qualité de service
Logiciels -- Développement