A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic

Autor:	Haydar, May
Jazyk:	angličtina
Rok vydání:	2008
Předmět:	Analyse dynamique 'Model checking' Vérification Logique temporelle linéaire 'Model checker spin' Application Web Session de navigation Structure de Kripke Patrons de propriétés Automates communicants
Druh dokumentu:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Popis:	Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://hdl.handle.net/1866/17888 Zobrazit plný text záznamu