Michel Bidoit
IdRefMots clés
FR
Spécifications algébriques
Sémantique opérationnelle
Langage de spécification
Bibliothèque de spécification
Environnement de spécification
Réécriture de termes
E,R-algèbres
Asspegique
Algèbre
Génération d'interfaces
Système informatique interactif
Graffiti
Interfaces utilisateur (informatique)
Programmation orientée objets (informatique)
Interfaces graphiques (informatique)
Commutation, Théorie de la
Théorie de la démonstration
Induction (logique)
Récurrence
Constructeurs