Le moteur de recherche
des thèses françaises
Didier Bert
IdRefMots clés
FR
Sciences appliquees
Systèmes informatiques
Langages de programmation impératifs
Spécification algébrique
Sémantique
Langages de programmation fonctionnelle
Informatique
Intégration de méthodes
Méta-modélisation
Analyse formelle de concepts
UML (informatique)
B (méthode formelle)
Rétro-ingénierie (informatique)
Langages de programmation
Logiciels -- vérification
Langage fonctionnel et parallèle
Généricité
Compilation
Exceptions
Transformation de programmes