Knowledge Tree

researcher / Michel Bidoit

Michel Bidoit

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Specifications algebriques observationnelles modulaires : une semantique fondee sur une relation de satisfaction observationnelle

Pluss, un langage pour le développement de spécifications algébriques modulaires

Directed Thesis:

Abstractions pour la vérification de propriétés de sécurité de protocoles cryptographiques

Prise en compte de principes architecturaux lors de la formalisation des besoins

Application des specifications algebriques a la retro-ingenierie de codes fortran

Une methode de derivation de programmes imperatifs a partir de specifications algebrico-operationnelles

Modularite dans les specifications algebriques : theorie et applications

Integration des paradigmes de programmation parallele, fonctionnelle et imperative : fondements semantiques

La construction d'interfaces homme-machine animees

Derivation systematique de programmes ada comportant des traitements d'exception a partir des psecifications algebriques de type de donnees

Graffiti : un outil interactif et graphique pour la construction d'interfaces homme-machine adaptables

Preuve de formules conditionnelles dans des spécifications algébriques conditionnelles