Test orienté aspect : une approche formelle basée sur les diagrammes de collaboration

Test orienté aspect : une approche formelle basée sur les diagrammes de collaboration

Bibliographic Details
Main Author:	Massicotte, Philippe
Format:	Others
Language:	fr
Published:	Université du Québec à Trois-Rivières 2006
Online Access:	http://depot-e.uqtr.ca/1975/1/000131029.pdf

Similar Items

Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture
by: Gagnon, Patrice
Published: (2007)

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)

Tests de régression dans les systèmes orientés objet : une approche basée sur les modèles
by: Vincent, Pierre-Luc
Published: (2009)

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

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

Test de régression dans les systèmes orientés objet : une approche statique basée sur le code
by: Fréchette, Nicolas
Published: (2010)

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

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

Orientation de l'effort des tests unitaires dans les systèmes orientés objet : une approche basée sur les métriques logicielles
by: Toure, Fadel
Published: (2016)

Détection et analyse des communautés dans les réseaux sociaux : approche basée sur l'analyse formelle de concepts
by: Selmane, Sid Ali
Published: (2015)

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

Diagrammes et Catégories
by: Jedrzejewski, Franck
Published: (2007)

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

Une approche basée sur les modèles pour le test de robustesse
by: Pachon, Cyril Alexandre
Published: (2005)

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

Certification formelle de preuves cryptographiques basées sur les séquences de jeux
by: Zanella Beguelin, Santiago
Published: (2010)

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

Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services
by: Embe Jiague, Michel
Published: (2012)

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

Approche formelle pour la simulation interactive de modèles mixtes
by: Faure, Xavier
Published: (2014)

Méthodologie de test de systèmes mobiles : Une approche basée sur les sénarios
by: Nguyen, Minh Duc
Published: (2009)

Das Göttinger Heiserkeits-Diagramm
by: Michaelis, Dirk
Published: (2013)

Diagrammes et théorie de la relativité restreinte : une ingénierie didactique
by: Moutet, Laurent
Published: (2016)

Déformations formelles de l'algèbre des fonctions différentiables sur une variété symplectique
by: Gutt, Simone
Published: (1980)

Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services
by: Embe Jiague, Michel
Published: (2012)

Emergsem : une approche d'annotation collaborative et de recherche d'images basée sur les sémantiques émergentes
by: Zomahoun, Damien Esse
Published: (2015)

Catégories et diagrammes de cordes pour les jeux concurrents
by: Eberhart, Clovis
Published: (2018)

Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés
by: Benmoussa, Mohamed
Published: (2016)

Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
by: Le Berre, Tanguy
Published: (2010)

Diagramme de phase et corrélations électroniques dans les supraconducteurs à base de Fer : une étude par RMN
by: Texier, Yoan
Published: (2013)

Levende diagrammer og zoombare kart
by: Martin Engebretsen
Published: (2017-01-01)

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

Une approche socio-anthropologique de la consommation collaborative : focus sur les nouveaux rapports à la propriété
by: Dabadie, Isabelle
Published: (2017)

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)

Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
by: Le Berre, Tanguy
Published: (2010)

Approche formelle pour une meilleure identification et gestion des risques d'usages inappropriés des données géodécisionnelles
by: Lévesque, Marie-Andrée
Published: (2008)

Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
by: Le Berre, Tanguy
Published: (2010)

Diagramme de phase et corrélations électroniques dans les supraconducteurs à base de Fer : une étude par RMN
by: Texier, Yoan
Published: (2013)

Une Approche Algébrique pour les Workflows Scientifiques Orientés-Données
by: Ogasawara, Eduardo
Published: (2011)

Sémantiques formelles
by: Blazy, Sandrine
Published: (2008)

Cannot write session to /tmp/vufind_sessions/sess_og8f4p61huulbakfk7m5v85rjc