Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Les travaux de cette thèse s'inscrivent dans le cadre de la vérification des logiciels et plus particulièrement du test à partir de spécifications algébriques. La soumission d'un jeu de tests exhaustif pour trouver toutes les erreurs d'un programme est généralement impossible. Il faut donc sélectionner un jeu de tests le plus judicieusement possible. Nous avons donc donné une méthode de sélection de tests par dépliage des axiomes de spécifications conditionnelles positives (clauses de Horn pour la logique équationnelle). Celle-ci permet de partitionner le jeu exhaustif des tests. Nous utilisons pour cela un critère de sélection qui utilise les axiomes de la spécification et qui peut être appliqué plusieurs fois de suite. Pour garantir de bonnes propriétés sur ce critère de sélection, nous avons également donné un cadre général pour la normalisation d'arbre de preuve. Il fonctionne pour n'importe quel système formel, et permet d'unifier un grand nombre de résultats en logique.

L'objectif des travaux relatés dans ce manuscrit est de proposer une méthodologie qui garantit une réduction du nombre de critères de sélection de partenaires à utiliser (donc de ressources à consommer), tout en permettant de choisir les critères les plus représentatifs pour l'utilisateur. L'ensemble des critères ainsi choisi par l'utilisateur à travers un paramètre de contrôle, n'influence pas le classement des partenaires potentiels ou s'il l'influence, celle-ci est maîtrisée et connue par l'utilisateur. La méthodologie s'appuie sur une structuration de critères faisant appel à la notion de distance causale ou sémantique. Pour ce faire, les algorithmes de " Dijkstra " et de Classification Ascendante Hiérarchique (CAH) ont été utilisés de manière successive. Cette démarche de structuration est appliquée à un ensemble de 101 critères de sélection. Les résultats sont interprétés afin d'en démontrer la portée dans le processus de recherche de partenaires.

L’objectif des travaux relatés dans ce manuscrit est de proposer une méthodologie qui garantit une réduction du nombre de critères de sélection de partenaires à utiliser (donc de ressources à consommer), tout en permettant de choisir les critères les plus représentatifs pour l’utilisateur. L’ensemble des critères ainsi choisi par l’utilisateur à travers un paramètre de contrôle, n’influence pas le classement des partenaires potentiels ou s’il l’influence, celle-ci est maîtrisée et connue par l’utilisateur. La méthodologie s’appuie sur une structuration de critères faisant appel à la notion de distance causale ou sémantique. Pour ce faire, les algorithmes de « Dijkstra » et de Classification Ascendante Hiérarchique (CAH) ont été utilisés de manière successive. Cette démarche de structuration est appliquée à un ensemble de 101 critères de sélection. Les résultats sont interprétés afin d’en démontrer la portée dans le processus de recherche de partenaires / The objective of the research performed here is to propose a methodology that guarantees a reduction in the number of criteria for selecting partners to use (i.e. reduction of resource consumption) while allowing to choose the most representative criteria for users. The set of criteria chosen in this way does not influence the ranking of potential partners at all, or the influence is mastered and known by the user who has to interact with the algorithm. The methodology looks structuring criteria using the causal or semantic distance. To achieve this, the algorithms of "Dijkstra" and Agglomerative Hierarchical Clustering (AHC) have been used in sequence. This structuring is applied to a set of 101 criteria. The results are interpreted to demonstrate how the selection process can be optimized for a given usage scenario

Autour de la question de la modernisation des bâtiments protégés, la thèse analyse comment les acteurs implémentent de tels ajustements contemporains sans pour autant dénaturer le Patrimoine véhiculé et personnifié par le bâtiment. Considéré comme la représentation matérielle de l’institution des Bâtiments Protégés – i.e. son instanciation – le bâtiment protégé trouve sa légitimité dans son authenticité dont le respect par les acteurs est primordial pour maintenir la protection institutionnelle. Cependant, parce que la majorité des bâtiments protégés actuels n’ont pas été pensés originellement pour perdurer, i.e. être transmis aux futures générations, les travaux d’intervention pour modifier cet artéfact bâtiment mènent à de nombreux débats entre les acteurs qui participent à ces projets de construction au regard de ce qui doit être ou non patrimonialement considéré. Selon l’approche constructiviste de la méthodologie dite de théorie ancrée, et dans l’optique de comprendre comment ces acteurs parviennent à produire un seul et unique artéfact, la thèse met en avant le processus de construction de l’instantiation au sein duquel les constructions matérielle et symbolique sont considérées. Pour se faire, l’étude propose de coupler l’Institutionnalisme Scandinave et le Bricolage Collectif. En effet, pour sélectionner les matériaux de construction pertinents pour modifier un bâtiment protégé existant, les acteurs doivent dans un premier temps concevoir un cadre interprétatif, commun et partagé, basé sur l’authenticité du bâtiment qu’ils pensent être nécessaire de respecter selon les trois piliers institutionnels en présence. Un tel cadre est en fait une étape préliminaire servant à implémenter un dialogue double-niveau permettant la matérialisation de l’ensemble des idées immatérielles: 1) entre les acteurs et le cadre interprétatif pour tester les solutions matérielles suggérées et 2) entre chaque répertoire de chaque acteur, comprenant leur ressources à disposition, grâce à six critères de sélection qui aident les acteurs à décider quel matériau il est utile ou non d’utiliser. / The dissertation studies how actors implement contemporary adjustments in listed buildings without disrupting their embodied Heritage. The listed building’s legitimacy relies on its authenticity whose respect by actors is essential to maintain the institutional protection, as it is the material representation, or instantiation, of the Listed-Buildings Institution. However, intervention works to change such an artifact lead to various debates among actors, as the majority of current listed buildings were not originally constructed to last, i.e. to be transmitted to future generations. One debate during intervention works tackles the issue of what needs to be or not to be considered in terms of Heritage. Through a constructivist grounded-theory methodology, the dissertation allows the understanding of how actors succeed in producing one unique outcome. I propose the instantiation construction process in which both symbolic but also material constructions are emphasised. And to do so, I intertwine Scandinavian Institutionalism and Collective Bricolage. Indeed, actors need first to design, with the help of the three institutional pillars, a shared interpretative frame to select relevant building materials. They could thus modify an existing building in regards to what building’s authenticity deserves to be respected. This frame acts in fact as a preliminary step to implement a simultaneous two-level dialogue enabling the materialisation of the intangible ideas: 1) between actors and the frame to test the material solutions actors suggest and 2) between each actors’ “resources at hand” repertoires by means of six selection criteria that help them to make decision on which material is relevant to use or not.