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.

Prévisualisation

PDF Télécharger (7MB) | Prévisualisation

Type de document:	Thèse et mémoire (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:	13 déc. 2023 21:03
URI:	https://depot-e.uqtr.ca/id/eprint/2017

Actions (administrateurs uniquement)

Éditer la notice