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

Ce mémoire s'inscrit dans le domaine de l'ingénierie des méthodes et plus spécialement dans celui de l'ingénierie des méthodes situationnelles. Il propose une technique de construction de méthodes, dite d'Extension, permettant d'adapter une méthode d'analyse existante aux besoins spécifiques du projet en cours. L'approche proposée met en œuvre les trois points suivants : Une technique de représentation de la connaissance sous forme de patrons décrits par différents langages de description et de manipulation. Une technique d'organisation des patrons à l'aide de cartes d'extension facilitant le guidage lors de la réutilisation de patrons. Ces cartes sont des modèles de processus exécutables permettant d'étendre une méthode orientée objet à un domaine d'application spécifique. Elles permettent de gérer la cohérence de la méthode en prenant en compte les contraintes de précédence associées à chaque patron d'extension. Une technique de conception à l'aide de méta-patrons génériques permettant de faciliter le travail de l'ingénieur de méthodes lors de la conception d'une carte d'extension. Ces méta-patrons ont été générés suite à l'inventaire de toutes les stratégies possibles pouvant se trouver sur une carte d'extension et toute la connaissance relative à chacune d'entre elles est encapsulée dans un méta-patron spécifique. Cette approche permet donc d'offrir à l'ingénieur de méthodes un processus de guidage, tant au niveau de l'exécution des patrons d'extension (carte) qu'au niveau de leur conception (méta-patron).

Thesis (Ph. D.)--Open University. BLDSC no. DX78296. / 2 volumes.

Thesis (Ph. D.)--University of California, San Diego, 2001. / Vita. Includes bibliographical references (leaves 382-386).

D’après les derniers rapports de recensement, les pays occidentaux font face à une augmentation de la population vieillissante. Le vieillissement normal de la population entraîne une augmentation de maladies ou d’accidents. Ceci conduit à la perte d’autonomie et réduit la qualité de vie des personnes âgées notamment les personnes atteintes de la maladie d’Alzheimer. Cette dernière provoque principalement des pertes cognitives. Pour pallier à ce problème, un habitat rendu intelligent grâce à l’informatique diffuse permet d’interagir avec son occupant. Un tel habitat intelligent améliorera ou lui redonnera son autonomie et l’aidera à réaliser ses activités, voire interviendra pour éviter des situations à risque. Le développement d’habitat intelligent amène de nouveaux défis en matière de sécurité, de fiabilité et de sûreté du patient. Il nécessite que les questions de sécurité, de fiabilité et de sûreté soient prises en compte dès le départ par les développeurs d’applications du domaine des habitats intelligents. Malheureusement, ces développeurs ne sont pas experts en sécurité, en fiabilité ou et en sûreté. Ces aspects sont souvent remis à plus tard, ce qui aboutit généralement à des applications fonctionnelles, mais peu sécuritaires. Les déficits cognitifs imposent aussi des contraintes supplémentaires ou nouvelles en ce qui a trait à la sécurité, la fiabilité et la sûreté. Dans ce contexte, cette thèse propose de répondre aux problèmes de sécurité, de fiabilité et de sûreté des patients souffrant de troubles cognitifs lors de leur séjour dans un habitat intelligent. Pour cela, un catalogue de patrons de sécurité, de fiabilité et de sûreté est créé pour fournir un outil aux développeurs d’application de ce domaine. Dans un premier temps, une liste de besoins de sécurité, de fiabilité et de sûreté est identifiée à partir de scénarios illustrant la vie du patient et ses interactions avec les intervenants du service de santé, sa famille et son nouvel environnement. Ensuite les solutions identifiées sont encapsulées sous forme de patrons et regroupées dans un catalogue mis à la disposition des développeurs. Les patrons de ce catalogue sont alors utilisés pour répondre aux besoins initialement formulés soient isolément, soient en combinaison avec d’autres patrons. La discussion finale permettra d’éclairer les avantages et limites de cette approche, et présentera des pistes à suivre pour étendre le catalogue de patrons.

Thesis (Ph.D.)--Queen's University, Kingston, Ontario, 2004. / Includes bibliographical references (leaves 288-309).

Thesis (Ph.D.)--University of Edinburgh, 2000.

Thesis (M.M.)--West Virginia University, 2007. / Title from document title page. Document formatted into pages; contains vii, 100 p. Includes abstract. Includes bibliographical references (p. 99-100).

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-08-30T19:29:29Z No. of bitstreams: 1 TeseLASN.pdf: 4078819 bytes, checksum: ab142a4a31e104342d51191d07573a62 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-09-25T17:38:30Z (GMT) No. of bitstreams: 1 TeseLASN.pdf: 4078819 bytes, checksum: ab142a4a31e104342d51191d07573a62 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-09-25T17:38:38Z (GMT) No. of bitstreams: 1 TeseLASN.pdf: 4078819 bytes, checksum: ab142a4a31e104342d51191d07573a62 (MD5) / Made available in DSpace on 2017-09-25T17:59:57Z (GMT). No. of bitstreams: 1 TeseLASN.pdf: 4078819 bytes, checksum: ab142a4a31e104342d51191d07573a62 (MD5) Previous issue date: 2017-03-07 / Não recebi financiamento / The thesis is the result of an ethnographic research in the Middle Rio Negro region of the Amazonian northwest. This region is inhabited by multiethnic populations (Arawak, Eastern Tukano and Yanomami), predominantly for the baré group, which participates in a broad process of sociality with multiple agents, both human and nonhuman. It is tried to present the perspective of the Baré as to the economic system of which they participate, considering this wide range of relations. From the narratives and reports from daily life, I address issues such as the occupation of the present territory, the constitution of communities, work on the extraction of piaçaba and its link with other worlds and their owners. From the baré point of view, I try to elaborate an anthropological reflection about the main gears of the economic system in which they participate - the regime de aviamento, in which patrons and customers connect in symmetrical and asymmetric relations. In this context, I discuss the encounters between humans and non-humans in different social spaces: the river, the forest and the community. The meetings in these spaces are a complex and complex system that includes patrons, patrons, owners, recipients, prayers, shamans, enchants, and whose synthesis can be taken from a baré story: "Together and mixed are true peoples, inhabitants of the forest and Rivers ". / A tese é o resultado de uma pesquisa etnográfica no Médio Rio Negro, na região do noroeste amazônico. Essa região é habitada por populações multiétnicas (Arawak, Tukano Oriental e Yanomami), com predominância para o grupo baré, que participa de um amplo processo de socialidade com múltiplos agentes, humanos e não-humanos. Procura-se apresentar a perspectiva dos Baré quanto ao sistema econômico de que participam, considerando esse amplo leque de relações. A partir das narrativas e de relatos oriundos na vida diária, abordo questões como a ocupação do território atual, , a constituição das comunidades, o trabalho no extrativismo da piaçaba e seu vínculo com outros mundos e seus donos. Desde o ponto de vista baré procuro elaborar uma reflexão antropológica acerca das principais engrenagens do sistema econômico do qual eles participam – o regime do aviamento, no qual patrões e fregueses se conectam em relações simétricas e assimétricas. Nesse contexto, discuto os encontros entre humanos e não humanos em diferentes espaços de socialidade: o rio, a floresta e a comunidade. Os encontros nesses espaços configuram um emaranhado e complexo sistema que inclui patrões, fregueses, donos, benzedores, rezadores, xamãs, encantes, e cuja síntese pode ser retirada de um relato baré: “juntos e misturados somos povos verdadeiros, habitantes da floresta e dos rios”.

Les décisions architecturales ont émergé comme un moyen important pour maintenir la qualité de l’architecture pendant sa évolution. L’une des décisions les plus importantes faite par architecte sont celles à propos des approches de conception, à savoir des patrons ou des styles architecturales. La structure de ce genre de décision donne la possibilité d’être contrôlée automatiquement. Dans la littérature, il existe quelques travaux sur la vérification automatique de la violation des décisions architecturales. Dans cette thèse, nous montrons que ces travaux ne permettent pas de détecter toutes les violations possibles. Pour les compléter, nous proposons une approche qui i) décrit les patrons architecturaux qui contiennent la définition de la décision architecturale, ii) intègre les décisions architecturales au modèle architectural et iii) automatise la vérification de la conformité de la décision architecturale. Notre approche est implémentée en utilisant EMF et ses technologies accompagnées. Nous avons montré la possibilité de formaliser tous les patrons structuraux. A travers de deux expérimentes, nous avons montré que les décisions architecturales sont bien expliquées et toutes les violations sont détectées. Les systèmes logiciels composables sont prouvés capable de supporter l’adaptation aux nouvelles exigences grâce à leur flexibilité. Une méthode typique pour composer ces systèmes est de sélectionner et combiner des patrons qui adressent aux exigences de qualité attendues. Plusieurs propositions ont montré l’intérêt de la composition de patron. En revanche, l’un des défauts de ces propositions est la vaporisation de l’information de composition qui conduit au problème de la traçabilité et la reconstructibilité des patrons. Cette thèse a pour but de réserver le statut première classe aux opérateurs de composition pour stocker l’information de composition. L’approche est implémentée dans un outil et une étude empirique a été aussi conduite pour souligner ses intérêts. / Architectural decisions have emerged as a means to maintain the quality of the architecture during its evolution. One of the most important decisions made by architects are those about the design approach such as the use of patterns or styles in the architecture. The structural nature of this type of decisions give them the potential to be controlled systematically. In the literature, there are some works on the automation of architectural decision violation checking. In this thesis we show that these works do not allow to detect all possible architectural decision violations.To solve this problem we propose an approach which: i) describes architectural patterns that hold the architectural decision definition, ii) integrates architectural decisions into an architectural model and, iii) automates the architectural decision conformance checking. The approach is implemented using Eclipse Modeling Framework and its accompanying technologies. Starting from well-known architectural patterns, we show that we can formalize all those related to the structural aspect. Through two experiments, we show that architectural decisions are well explained and all of their violations are detected. Composable software systems have been proved to support the adaptation to new requirements thanks to their flexibility. A typical method of composable software development is to select and combine a number of patterns that address the expected quality requirements. A lot of work have shown the interest of pattern composition. Nevertheless, one of the shortcomings of these work is the vaporization of composition information which leads to the problem of traceability and reconstructability of patterns. This thesis also proposes to give first- class status to pattern merging operators to facilitate the preservation of composition information. The approach is tool-supported and an empirical study has also been conducted to highlight its interests