Le moteur de recherche
des thèses françaises
Isabelle Attali
IdRefMots clés
FR
Systèmes à paramètres répartis
Systèmes informatiques -- Mesures de sûreté
Java (langage de programmation)
Langages de programmation -- Sémantique
Circuits asynchrones
Méthodes formelles (informatique)
Langages de programmation orientés objet
Logiciels -- Vérification
Composants électroniques
Qualité -- Contrôle
Langages de programmation
Programmation (informatique)
XML (langage de balisage)
Logiciels
Grilles informatiques
Programmation orientée objets (informatique)
Eiffel (langage de programmation)
Programmation parallèle (informatique)
Sémantique opérationnelle
Spécifications