Pierre BAZEX

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.