131 |
Développement logiciel par transformation de modèlesEl boussaidi, Ghizlane 07 1900 (has links)
La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut identifier deux approches majeures pour caractériser le processus. La première approche, dite transformationnelle, perçoit le processus comme une séquence de transformations préservant certaines propriétés des données à l’entrée. Cette idée a été récemment reprise par l’architecture dirigée par les modèles de l’OMG. La deuxième approche consiste à répertorier et à codifier des solutions éprouvées à des problèmes récurrents. Les recherches sur les styles architecturaux, les patrons de conception, ou les cadres d’applications s’inscrivent dans cette approche. Notre travail de recherche reconnaît la complémentarité des deux approches, notamment pour l’étape de conception: dans le cadre du développement dirigé par les modèles, nous percevons l’étape de conception comme l’application de patrons de solutions aux modèles reçus en entrée.
Il est coutume de définir l’étape de conception en termes de conception architecturale, et conception détaillée. La conception architecturale se préoccupe d’organiser un logiciel en composants répondant à un ensemble d’exigences non-fonctionnelles, alors que la conception détaillée se préoccupe, en quelque sorte, du contenu de ces composants. La conception architecturale s’appuie sur des styles architecturaux qui sont des principes d’organisation permettant d’optimiser certaines qualités, alors que la conception détaillée s’appuie sur des patrons de conception pour attribuer les responsabilités aux classes. Les styles architecturaux et les patrons de conception sont des artefacts qui codifient des solutions éprouvées à des problèmes récurrents de conception. Alors que ces artefacts sont bien documentés, la décision de les appliquer reste essentiellement manuelle. De plus, les outils proposés n’offrent pas un support adéquat pour les appliquer à des modèles existants.
Dans cette thèse, nous nous attaquons à la conception détaillée, et plus particulièrement, à la transformation de modèles par application de patrons de conception, en partie parce que les patrons de conception sont moins complexes, et en partie parce que l’implémentation des styles architecturaux passe souvent par les patrons de conception. Ainsi, nous proposons une approche pour représenter et appliquer les patrons de conception. Notre approche se base sur la représentation explicite des problèmes résolus par ces patrons. En effet, la représentation explicite du problème résolu par un patron permet : (1) de mieux comprendre le patron, (2) de reconnaître l’opportunité d’appliquer le patron en détectant une instance de la représentation du problème dans les modèles du système considéré, et (3) d’automatiser l’application du patron en la représentant, de façon déclarative, par une transformation d’une instance du problème en une instance de la solution.
Pour vérifier et valider notre approche, nous l’avons utilisée pour représenter et appliquer différents patrons de conception et nous avons effectué des tests pratiques sur des modèles générés à partir de logiciels libres. / Software engineering researchers have long tried to understand the software process development to mechanize it or at least to codify its good practices. We identify two major approaches to characterize the process. The first approach—known as transformational—sees the process as a sequence of property-preserving transformations. This idea was recently adopted by the OMG’s model-driven architecture (MDA). The second approach consists in identifying and codifying proven solutions to recurring problems. Research on architectural styles, frameworks and design patterns are part of this approach. Our research recognizes the complementarity of these two approaches, in particular in the design step. Indeed within the model-driven development context, we view software design as the process of applying codified solution patterns to input models.
Software design is typically defined in terms of architectural design and detailed design. Architectural design aims at organizing the software in modules or components that meet a set of non-functional requirements while detailed design is—in some way—concerned by the contents of the identified components. Architectural design relies on architectural styles which are principles of organization to optimize certain quality requirements, whereas detailed design relies on design patterns to assign responsibilities to classes. Both architectural styles and design patterns are design artifacts that encode proven solutions to recurring design problems. While these design artifacts are documented, the decision to apply them remains essentially manual. Besides, once a decision has been made to use a design artifact, there is no adequate support to apply it to existing models.
As design patterns present an ‘‘easier’’ problem to solve, and because architectural styles implementation relies on design patterns, our strategy for addressing these issues was to try to solve the problem for design patterns first, and then tackle architectural styles. Hence, in this thesis, we propose an approach for representing and applying design patterns. Our approach is based on an explicit representation of the problems solved by design patterns. Indeed, and explicit representation of the problem solved by a pattern enables to: 1) better understand the pattern, 2) recognize the opportunity of applying the pattern by matching the representation of the problem against the models of the considered system, and 3) specify declaratively the application of the pattern as a transformation of an instance of the problem into an instance of the solution.
To verify and validate the proposed approach, we used it to represent and apply several design patterns. We also conducted practical tests on models generated from open source systems.
|
132 |
Identification of behavioral and creational design patterns through dynamic analysisNG, Janice Ka-Yee January 2008 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
|
133 |
Le contenu en azote de Vallisneria americana : un élément intégrateur de l'hétérogénéité spatiale et temporelle du lac St-Pierre, un lac fluvial du fleuve St-LaurentBlanchet, Catherine January 2008 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
|
134 |
Multiplication matricielle efficace et conception logicielle pour la bibliothèque de calcul exact LinBoxBoyer, Brice 21 June 2012 (has links) (PDF)
Dans ce mémoire de thèse, nous développons d'abord des multiplications matricielles efficaces. Nous créons de nouveaux ordonnancements qui permettent de réduire la taille de la mémoire supplémentaire nécessaire lors d'une multiplication du type Winograd tout en gardant une bonne complexité, grâce au développement d'outils externes ad hoc (jeu de galets), à des calculs fins de complexité et à de nouveaux algorithmes hybrides. Nous utilisons ensuite des technologies parallèles (multicœurs et GPU) pour accélérer efficacement la multiplication entre matrice creuse et vecteur dense (SpMV), essentielles aux algorithmes dits /boîte noire/, et créons de nouveaux formats hybrides adéquats. Enfin, nous établissons des méthodes de /design/ générique orientées vers l'efficacité, notamment par conception par briques de base, et via des auto-optimisations. Nous proposons aussi des méthodes pour améliorer et standardiser la qualité du code de manière à pérenniser et rendre plus robuste le code produit. Cela permet de pérenniser de rendre plus robuste le code produit. Ces méthodes sont appliquées en particulier à la bibliothèque de calcul exact LinBox.
|
135 |
Les impacts de la dispersion historique sur la variabilité génétique à différentes échelles spatiales : connaître l'histoire pour mieux comprendre le présent.Cyr, Frédéric 08 1900 (has links)
La variabilité génétique actuelle est influencée par une combinaison complexe de variables historiques et contemporaines. Dès lors, une interprétation juste de l’impact des processus actuels nécessite une compréhension profonde des processus historiques ayant influencé la variabilité génétique. En se basant sur la prémisse que des populations proches devraient partager une histoire commune récente, nombreuses études, effectuées à petite échelle spatiale, ne prennent pas en considération l’effet potentiel des processus historiques. Cette thèse avait pour but de vérifier la validité de cette prémisse en estimant l’effet de la dispersion historique à grande et à petite échelle spatiale.
Le premier volet de cette thèse avait pour but d’évaluer l’impact de la dispersion historique sur la répartition des organismes à grande échelle spatiale. Pour ce faire, les moules d’eau douce du genre flotteurs (Pyganodon spp.) ont servies de modèle biologique. Les moules d'eau douce se dispersent principalement au stade larvaire en tant que parasites des poissons. Une série de modèles nuls ont été développés pour évaluer la co-occurrence entre des parasites et leurs hôtes potenitels. Les associations distinctes du flotteur de Terre-Neuve (P. fragilis) avec des espèces de poissons euryhalins permettent d’expliquer sa répartition. Ces associations distinctes ont également pu favoriser la différenciation entre le flotteur de Terre-Neuve et son taxon soeur : le flotteur de l’Est (P. cataracta). Cette étude a démontré les effets des associations biologiques historiques sur les répartitions à grande échelle spatiale.
Le second volet de cette thèse avait pour but d’évaluer l’impact de la dispersion historique sur la variabilité génétique, à petite échelle spatiale. Cette fois, différentes populations de crapet de roche (Ambloplites rupestris) et de crapet soleil (Lepomis gibbosus), dans des drainages adjacents ont servies de modèle biologique. Les différences frappantes observées entre les deux espèces suggèrent des patrons de colonisation opposés. La faible diversité génétique observée en amont des drainages et la forte différenciation observée entre les drainages pour les populations de crapet de roche suggèrent que cette espèce aurait colonisé les drainages à partir d'une source
en aval. Au contraire, la faible différenciation et la forte diversité génétique observées en amont des drainages pour les populations de crapet soleil suggèrent une colonisation depuis l’amont, induisant du même coup un faux signal de flux génique entre les drainages. La présente étude a démontré que la dispersion historique peut entraver la capacité d'estimer la connectivité actuelle, à petite échelle spatiale, invalidant ainsi la prémisse testée dans cette thèse.
Les impacts des processus historiques sur la variabilité génétique ne sont pas faciles à démontrer. Le troisième volet de cette thèse avait pour but de développer une méthode permettant de les détecter. La méthode proposée est très souple et favorise la comparaison entre la variabilité génétique et plusieurs hypothèses de dispersion. La méthode pourrait donc être utilisée pour comparer des hypothèses de dispersion basées sur le paysage historique et sur le paysage actuel et ainsi permettre l’évaluation des impacts historiques et contemporains sur la variabilité génétique. Les performances de la méthode sont présentées pour plusieurs scénarios de simulations, d’une complexité croissante. Malgré un impact de la différentiation globale, du nombre d’individus ou du nombre de loci échantillonné, la méthode apparaît hautement efficace. Afin d’illustrer le potentiel de la méthode, deux jeux de données empiriques très contrastés, publiés précédemment, ont été ré analysés.
Cette thèse a démontré les impacts de la dispersion historique sur la variabilité génétique à différentes échelles spatiales. Les effets historiques potentiels doivent être pris en considération avant d’évaluer les impacts des processus écologiques sur la variabilité génétique. Bref, il faut intégrer l’évolution à l’écologie. / Current genetic variability depends on a complex combination of historical and contemporary factors. Therefore, an unbiased interpretation of the impact of current processes requires a deep understanding of historical processes that shaped genetic variability. Based on the premise that spatially close populations should share a common recent history, many studies conducted at small spatial scale do not take into account the effect of historical processes. This thesis aims to verify the validity of this assumption by estimating the effect of historical dispersion at large and small spatial scales.
The aim of the first part of this thesis was to evaluate the impact of the historical dispersion on the distribution of organisms, at large spatial scale. The freshwater mussels of the genus Floater (Pyganodon spp.) were used as biological model. The dispersal of freshwater mussels occurs when larvae parasitize fish. Also, a series of null models has been developed to evaluate the co-occurrence between parasites and their hosts. The distinct associations of the Newfoundland floater (P. fragilis) with euryhaline fish species can explain its distribution. These associations also promoted differentiation with its sister taxon: the Eastern floater (P. cataracta). This study demonstrated the effects of historical biological associations on the current distribution of species at a large spatial scale.
The aim of the second part of this thesis was to evaluate the impact of historical dispersal on the genetic variability, at small spatial scale. This time populations of rock bass (Ambloplites rupestris) and sunfish (Lepomis gibbosus) in adjacent drainages were used as biological model. The striking differences observed between the two species suggest opposing colonization patterns. Rock bass have colonized the drainage from a downstream source, resulting in low genetic diversity upstream and a strong differentiation between drainages. However, the sunfish have colonized the system from upstream, resulting in a high genetic diversity and low differentiation upstream, inducing at the same time a false signal of gene flow between drainages. The present study shows that the historical dispersion may hinder the ability to
estimate the actual connectivity at small spatial scale, thus invalidating the premise tested in this thesis.
The impacts of historical processes on genetic variability are not easy to demonstrate. The aim of the third part of this thesis was to develop a method to facilitate their detection. The proposed method is very flexible and facilitates the comparison between genetic variability and multiple dispersal hypotheses. The method could be used to compare dispersal hypotheses based on the historic or the current landscape and allow the assessment of historical and contemporary processes on genetic variability. The performances of the method are presented in several simulation scenarios, of increasing complexity. Despite an overall impact of differentiation, the number of individuals or the number of loci sampled, the method is highly effective. To illustrate the potential of the method, two contrasted data sets from previously published studies, were re-analyzed.
This thesis demonstrates the impacts of historical dispersal on genetic variability at different spatial scales. Potential historical effects must be taken into account before assessing the impacts of ecological processes on genetic variability. In short, we must bridge the gap between ecology and evolution.
|
136 |
Portraiture and patronage in quattrocento Florence with special reference to the Tornaquinci and their Chapel in S. Maria Novella /Simons, Patricia. January 1985 (has links)
Thesis (Ph. D.)--University of Melbourne, 1985. / Includes bibliographical references (vol. 2, leaves [2]-26).
|
137 |
De la communauté à la méta-communauté, décrypter les patrons de diversité / From communities to meta-communities : decrypting diversity patternsChalmandrier, Loic 11 June 2015 (has links)
Les patrons de diversité caractérisent la structure de la diversité des communautés, c'est-à-dire sa valeur, sa distribution et son changement dans l'espace et le temps. Leur étude peut amener des informations importantes sur les processus écologiques qui en sont à l'origine. Cependant de nombreuses hypothèses de travail sont faites lors de leur analyse. L'idée générale de cette thèse est qu'en remettant en cause ces hypothèses, un certain nombre de développements liés aux indices de diversité et aux modèles nuls deviennent possibles et permettent de mieux comprendre les processus écologiques à l'origine des patrons de diversité fonctionnelle ou phylogénétique. Le premier chapitre est consacré à l'étude des patrons de diversité fonctionnelle des communautés végétales alpines à de multiples échelles spatiales et organisationnelles. Le second chapitre s'intéresse aux perspectives méthodologiques amenés par les nombres de Hill. Dans le dernier chapitre, on s'intéresse aux enjeux méthodologiques d'un nouveau type de données de communautés : l'ADN environnemental. / Patterns of community diversity refers to the structure of diversity, i.e. its quantification, its distribution and its turnover in space and time. Its study is likely to shed the light on the assembly rules that determined the structure of communities. However, numerous ecological assumptions are often made when studying diversity patterns. What motivated the work was the perspective that by relaxing these assumptions, a number of developments linked to diversity indices and null models are possible and can help to understand the impact of multiple ecological processes on phylogenetic and functional diversity patterns. In a first part we studied the pattern of functional diversity of alpine plant communities as a function of spatial and organizational scales. In the second part, we studied the methodological perspectives brought by the Hill numbers. In a third part, we addressed the main methodological issues of a new type of community data: environmental DNA.
|
138 |
Assistance au développement et au test d'applications sécurisées / Assisting in secure application development and testingRegainia, Loukmen 12 June 2018 (has links)
Garantir la sécurité d’une application tout au long de son cycle de vie est une tâche fastidieuse. Le choix, l’implémentation et l’évaluation des solutions de sécurité est difficile et sujette a des erreurs. Les compétences en sécurité ne sont pas répondues dans toutes les équipes de développement. Afin de réduire ce manque de compétences en sécurité, les développeurs ont a leurs disposition une multitude de documents décrivant des problèmes de sécurité et des solutions requises (i.e., vulnérabilités, attaques, principes de sécurité, patrons sécurité, etc.). Abstraites et informelles, ces documents sont fournis par des sources différentes et leur nombre est en constante croissance. Les développeurs sont noyés dans une multitude de documents ce qui fait obstruction à leur capacité à choisir, implémenter et évaluer la sécurité d’une application. Cette thèse aborde ces questions et propose un ensemble de méthodes pour aider les développeurs à choisir, implémenter et évaluer les solutions de sécurité face aux problèmes de sécurité. Ces problèmes sont matérialisés par les failles, les vulnérabilités, les attaques, etc. et les solutions fournies par des patrons de sécurité. Cette thèse introduit en premier une méthode pour aider les développeurs dans l’implémentation de patrons de sécurité et l’estimation de leur efficacité face aux vulnérabilités. Puis elle présente trois méthodes associant les patrons de sécurité, les vulnérabilités, les attaques, etc. au sein d’une base de connaissance. Cette dernière permet une extraction automatique de classifications de patrons et améliore la rapidité et la précision des développeurs dans le choix des patrons de sécurité face à une vulnérabilité ou une attaque. En utilisant la base de connaissance, nous présentons une méthode pour aider les développeurs dans la modélisation des menaces ainsi que la générations et l’exécution des cas de test de sécurité. La méthode est évaluée et les résultats montrent que la méthode améliore l’efficacité, la compréhensibilité et la précision des développeurs dans le choix des patrons de sécurité et d’écriture des cas de test de sécurité. / Ensuring the security of an application through its life cycle is a tedious task. The choice, the implementation and the evaluation of security solutions is difficult and error prone. Security skills are not common in development teams. To overcome the lack of security skills, developers and designers are provided with a plethora of documents about security problems and solutions (i.e, vulnerabilities, attacks, security principles, security patterns, etc.). Abstract and informal, these documents are provided by different sources, and their number is constantly growing. Developers are drown in a sea of documentation, which inhibits their capacity to design, implement, and the evaluate the overall application security. This thesis tackles these issues and presents a set of approaches to help designers in the choice, the implementation and the evaluation of security solutions required to overcome security problems. The problems are materialized by weaknesses, vulnerabilities, attacks, etc. and security solutions are given by security patterns.This thesis first introduces a method to guide designers implement security patterns and assess their effectiveness against vulnerabilities. Then, we present three methods associating security patterns, attacks, weaknesses, etc. in a knowledge base. This allows automated extraction of classifications and help designers quickly and accurately select security patterns required to cure a weakness or to overcome an attack. Based on this nowledge base, we detaila method to help designers in threat modeling and security test generation and execution. The method is evaluated and results show that the method enhances the comprehensibility and the accuracy of developers in the security solutions choice, threat modeling and in the writing of security test cases.
|
139 |
Étude des constructions verbales scientifiques dans une perspective didactique : utilisation des corpus dans le diagnostic des besoins langagiers en FLE à l'aide des techniques de TAL / Study of scientific verbal constructions from a educational perspective : using the corpus in the diagnosis of the language needs of the FLE (French as a Foreign Language) with the techniques of NLPYan, Rui 26 June 2017 (has links)
La présente étude est centrée sur les constructions verbales scientifiques. Ce lexique se situe à mi-chemin entre le lexique de la langue générale et celui de la terminologie. Il s’agit de termes utilisés à des fins d’expressions scientifiques, pour contribuer à l’élaboration du fonctionnement rhétorique et pragmatique de l’écrit scientifique. En nous fondant sur le modèle du Corpus Pattern Analysis, nous élaborons une ressource lexicale des patrons verbaux à l’aide de techniques du TAL sur des corpus numériques. Notre objectif est d’intégrer à cet outil les collocations et les constructions verbales récurrentes dans les écrits scientifiques. Cette ressource a pour objectif d’aider les locuteurs allophones dans leur rédaction d’écrits académiques en français.Sur le plan didactique, afin de mieux comprendre les difficultés des étudiants allophones en matière de constructions verbales scientifiques, nous établissons un diagnostic qui comporte à la fois l’analyse des erreurs et celle des cas de suremploi et de sous-emploi de certaines de ces constructions verbales. Les résultats ont montré que le statut de novice, en matière de rédaction scientifique, confronte de manière identique les étudiants natifs et non-natifs aux difficultés liées au genre du discours. Afin de répondre à ces besoins langagiers, nous avons proposé d’intégrer la ressource lexicale des patrons dans l’enseignement de l’écrit académique dont l’objectif est de guider les étudiants vers l’autonomie et la manipulation de corpus numériques. / The present study focuses on scientific verb constructions, i.e., the lexicon situated between general language and terminology and which is used for scientific expressions, whose rhetorical and pragmatic function must be mastered while writing scientific discourse. Based on the Corpus Pattern Analysis model, we develop a lexical resource of verb patterns using NLP techniques, which include collocations and recurring verbal constructions. The purpose of this resource is to help non-native speakers to write their academic writings in French.From an educational point of view, in order to understand better the difficulties of foreign students with regard to scientific verb constructions, we establish a diagnosis which includes the analysis of both errors and cases of overuse and underuse (notably compared to native students). The results show that both unexperienced natives and non-natives have to face difficulties related to discourse genre. In order to answer these linguistic needs, we suggest that a verb pattern resource should be integrated into corpus-based teaching of academic writing so as to help students gain autonomy in corpus manipulation.
|
140 |
Les impacts de la dispersion historique sur la variabilité génétique à différentes échelles spatiales : connaître l'histoire pour mieux comprendre le présentCyr, Frédéric 08 1900 (has links)
No description available.
|
Page generated in 0.058 seconds