Knowledge Tree

researcher / Didier Bert

Didier Bert

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Propriétés de vivacité sous condition d'équité et sémantique des systèmes d'événements avec la méthode B

B/uml : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B

Etude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes

Sur l'intégration des langages algébriques et logiques

Validation sémantique dans les théories structurées : application à un langage de programmation générique

Algèbre de programmes dans un univers type