| Titre : | Validation des algorithmes en UML et OCL (2007) |
| Auteurs : | Bazex, Pierre, Auteur ; Canals, Agusti, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Techniques de l'ingénieur HB (Vol. HB4, Trimestriel) |
| Note générale : | Technologies logicielles Architectures des systèmes |
| Langues : | Français |
| Tags : | Propriétés axiomatiques ; Preuve de programme ; UML ; Processus IDM ; Programmation ; Modélisation |
| Résumé : | 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èles (processus IDM), ces propriétés peuvent alors être appliquées à des langages de modélisation pour vérifier et garantir la qualité que l’on peut exiger de la part des modèles et la cohérence entre les modèles et les programmes. Mais ces techniques de preuve, basées sur la logique des prédicats, peuvent-elles s’appliquer à des langages métiers tels que le langage « Structured Analysis Model » (SAM) développé pour modéliser des applications du domaine de l’aéronautique ? |
| Note de contenu : | Bibliogr. |
| REFERENCE : | H 3882 |
| Date : | Août 2013 |
| En ligne : | http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/genie-logiciel-42306210/validation-des-algorithmes-en-uml-et-ocl-h3882/ |
