Magazine d'Actualité
Découvrez gratuitement toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie.
{{block-infos-connection}}
Magazine d'Actualité
Découvrez gratuitement toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie.
{{block-infos-connection}}
Professeur émérite de l'Université Paul Sabatier, Toulouse III
Comment vérifier et prouver qu’un programme fonctionne correctement ? Les propriétés formelles des langages de programmation peuvent être appliquées dans des modèles de modélisation à des fins de preuve. Ces techniques permettent de garantir que les exigences des applications ont été prises en compte.
Découvrez comment est utilisé le langage de modélisation graphique UML, la référence en génie logiciel, dans la mise en œuvre d’une méthode de modélisation de la sémantique des langages de programmation. Différents diagrammes y représentent les exigences des applications à développer.