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

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

Bibliographic Details
Main Author:	Gagnon, Patrice
Format:	Others
Language:	fr
Published:	Université du Québec à Trois-Rivières 2007
Online Access:	http://depot-e.uqtr.ca/2017/1/030004667.pdf

Similar Items

Test orienté aspect : une approche formelle basée sur les diagrammes de collaboration
by: Massicotte, Philippe
Published: (2006)

Réécriture de diagrammes et de Sigma-diagrammes
by: Rannou, Pierre
Published: (2013)

Modélisation, spécification formelle et vérification de protocoles d'interaction: une approche basée sur les rôles
by: Romero-Hernandez, Ivan
Published: (2004)

Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire
by: Eichler, Cédric
Published: (2015)

Langages de description de systèmes logiques : propositions pour une méthode formelle de définition
by: Borrione, Dominique
Published: (1981)

Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri
by: Louati, Aymen
Published: (2015)

Vérification formelle de protocoles basés sur de courtes chaines authentifiées
by: Robin, Ludovic
Published: (2018)

Améliorer l'efficacité cognitive des diagrammes UML : Application de la Sémiologie Graphique
by: El Ahmar, Yosser
Published: (2018)

Laurence Bouquiaux, Bruno Leclercq, Logique formelle et argumentation
by: Tutui Viorel
Published: (2010-01-01)

Une approche de vérification formelle et de simulation pour les systèmes à événements : application à PROMELA
by: Yacoub, Aznam
Published: (2016)

Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental
by: Boulil, Kamal
Published: (2012)

Vers une approche intégrée pour la modélisation et la vérification formelle des réseaux de régulation biologique
by: Gonçalves Monteiro, Pedro Tiago
Published: (2010)

Modélisation formelle d’exigences et logiques temporelles multi-agents
by: Chareton, Christophe
Published: (2014)

Une approche automatisée basée sur des contraintes d'intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : Applications dans le domaine agri-environnemental
by: Boulil, Kamal
Published: (2012)

Le rôle de la logique formelle dans le raisonnement judiciaire
by: Lauzon, Julie Marguerite Marie
Published: (2014)

Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique
by: Georgelin, P.
Published: (2001)

Une approche formelle de l'interopérabilité pour une famille de langages dédiés
by: Abou Dib, Ali
Published: (2009)

Contribution à une démarche de vérification formelle d'architectures logicielles
by: Graiet, Mohamed
Published: (2007)

Réécriture de graphes pour la construction de modèles en logique modale
by: Said, Bilal
Published: (2010)

Génération de séquences de test à partir des diagrammes de collaboration UML : implémentation et évaluation
by: Naha, Marius
Published: (2004)

Approche à base de vérification formelle de modèle pour une utilisation sécuritaire de la cuisinière d'un habitat intelligent
by: De Champs, Thibault
Published: (2012)

Dynamique des systèmes: une approche logique asynchrone
by: Van Ham, Philippe
Published: (1989)

Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles
by: Guthmuller, Marion
Published: (2015)

Vérification formelle de systèmes d'information
by: Chane-Yack-Fa, Raphaël
Published: (2018)

Verification of UML models by translation to UML-B
by: Snook, Colin, et al.
Published: (2011)

Une couverture combinant tests et preuves pour la vérification formelle
by: Le, Viet Hoang
Published: (2019)

Sur une méthode de définition formelle des langages algorithmiques
by: Cherton, Claude
Published: (1970)

Contribution aux fondements des méthodes formelles : jeux, logique et automates
by: Janin, David
Published: (2005)

Validation de modèles qualitatifs de réseaux de régulation génique: une méthode basée sur des techniques de vérification formelle
by: Batt, Grégory
Published: (2006)

Une approche formelle pour l'optimisation de systèmes à événements discrets
by: Cardillo Albarran, Juan
Published: (2004)

Intégration des techniques de vérification formelle dans une approche de conception des systèmes de contrôle-commande : application aux architectures SCADA
by: Kesraoui, Soraya
Published: (2017)

Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML
by: Tatibouët, Jérémie
Published: (2014)

Vérification Formelle dans le Modèle Polyédrique
by: Morin-Allory, Katell
Published: (2004)

Vérification formelle pour les méthodes numériques
by: Pasca, Ioana
Published: (2010)

Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
by: Methni, Amira
Published: (2016)

Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette
by: Attiogbé, Christian
Published: (2007)

Vérification formelle de programmes de génération de données structurées
by: Genestier, Richard
Published: (2016)

Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels
by: Gourcuff, Vincent
Published: (2007)

L’approche sémiotique de Charles Goodwin : langage visuel, énonciation et diagramme
by: Maria Giulia Dondero
Published: (2016-10-01)

Analyse de diverses distances en vérification formelle probabiliste
by: Zhioua, Abir
Published: (2012)