Dépôt numérique de UQTR
RECHERCHER

Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture

Gagnon, Patrice (2007). Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture. Mémoire. Trois-Rivières, Université du Québec à Trois-Rivières, 157 p.

[img]
Prévisualisation
PDF
Télécharger (6MB) | Prévisualisation
Type de document: Thèse (Mémoire)
Informations complémentaires: par Patrice Gagnon. Comprend des réf. bibliogr.: f. 152-157. Également disponible en format microfiche et PDF. Résumé en anglais. Thèses et écrits académiques.
Mots-clés libres: Application Applique Ascenseur Automatique Classe Communication Concurrence Concurrentiel Consommateur Diagramme Etat-transition Formel Graphique Guichet Langage Logique Ltl Lineaire Mathematique Maude Methode Modele Modelisation Notation Objet Producteur Reecriture Specification Structure Systeme Temporel Translation Uml Verification
Division: Mathématiques et informatique appliquées
Date de dépôt: 25 nov. 2011 21:06
Dernière modification: 25 nov. 2011 21:06
URI: http://depot-e.uqtr.ca/id/eprint/2017

Actions (Identification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt