Solutions manufacturées en grandes déformations hyper-élastiques
La vérification et la validation de logiciel sont des aspects essentiels au succès de tout développement informatique. La vérification de logiciel s'inscrit comme une première phase à accomplir suite à la production d'un nouveau code. La méthode des solutions manufacturées (MSM) est un out...
Main Author: | Chamberland, Éric |
---|---|
Other Authors: | Fortin, André |
Format: | Dissertation |
Language: | French |
Published: |
Université Laval
2009
|
Subjects: | |
Online Access: | http://hdl.handle.net/20.500.11794/20729 |
Similar Items
-
Sécurisation de code basée sur la combinaison de la vérification statique et dynamique : génération de moniteur à partir d'un automate de Rabin
by: Chabot, Hugues, et al.
Published: (2009) -
Détection du code malicieux : système de type à effets et instrumentation du code
by: Khoury, Raphaël
Published: (2005) -
Environnement de développement bioinformatique pour la génomique et la protéomique
by: Paladini, David
Published: (2006) -
Analyse comparative du test exploratoire et du test scénarisé : étude empirique
by: Ankoud, Naima
Published: (2007) -
Analyse comparative du test exploratoire et du test scénarisé : étude empirique
by: Ankoud, Naima
Published: (2007)