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

Téléchargements

Téléchargements par mois depuis la dernière année

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.

[thumbnail of 030004667.pdf]
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 Éditer la notice