Auteur Canals, Agusti
Documents disponibles écrits par cet auteur (2)
Affiner la recherche
Article : texte imprimé
Bazex, Pierre, Auteur ; Canals, Agusti, Auteur |CLes besoins industriels liés à l'utilisation d'un processus de développement à base de modèles nécessitent la modélisation des propriétés des langages de programmation. L'application de ces propriétés sur des diagrammes d'activité/classes perme[...]
Article : texte imprimé
Bazex, Pierre, Auteur ; Canals, Agusti, Auteur |Cette étude introduit les propriétés formelles des langages de programmation dont le but est de raisonner sur des programmes montrant , voire prouvant , qu’ils fonctionnent correctement. Resituées dans un contexte de processus centré sur les mod[...]
