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.
À la une
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.
Poser une question directement
Soumettre ma demandeÊtre appelé.e par un conseiller*
Par téléphone**Rappel téléphonique réservé aux pays suivants : France métropolitaine, Belgique, Luxembourg, Monaco, Suisse.
