La spécification par type abstrait algébrique permet de décrire le comportement de structures de données particulières telles que les files, piles, arbres, etc. D'autre part, la généricité permet de spécifier le comportement de classes de structures. Nous nous intéressons dans cet ouvrage aux types abstraits génériques exprimes dans le formalisme algébrique. Ces spécifications génériques sont souvent liées entre elles par des relations telles que l'importation, la paramétrisation, etc. Toute instance d'une spécification générique s1, paramétrée par une spécification s2, doit vérifier des conditions décrites formellement dans s2. En général, ce type de vérification se traduit par la démonstration de formules logiques dans une théorie particulière. Nous définissons les différentes relations sémantiques qu'il faut valider dans le cadre d'un langage de programmation générique. Nous montrons également les principales caractéristiques de notre implémentation. Celle-ci aide a réaliser les validations sémantiques en utilisant un démonstrateur semi-automatique de théorèmes. Les expériences réalisées avec notre implantation nous ont conduit a constater le besoin de la réutilisation de démonstrations. Aussi avons nous propose les fonctionnalités d'un atelier de démonstration en utilisant le formalisme algébrique

Proposition d'un langage: fpz (functional parallel programming), qui repond au modele propose en sparc quant a la communication, qui est un langage fonctionnel et qui integre la possibilite de specificication de types abstraits et de fonction generiques d'une facon semblable a lpg. Exposition de deux systemes: sparc (systemes paralleles communicants) et lpg (langage de programmation generique).

L'ingénierie du logiciel doit concilier, d'une part, la modularité requise par les phases de développement et de maintenance et, d'autre part, l'efficacité indispensable dans la mise en oeuvre des applications. Ce dilemme nécessite des méthodes et des techniques de transformation permettant d'accroître l'efficacité des programmes modulaires. La déforestation, qui consiste à éliminer les structures intermédiaires apparaissant lors de la composition des différentes parties d'un programme, a suscité beaucoup d'intérêt, notamment en grammaires attribuées et en programmation fonctionnelle. En dépit de la diversité des formalismes utilisés, cette thèse compare les différentes techniques existantes et s'inspire de leurs atouts pour développer une nouvelle méthode de déforestation plus générale. Tout d'abord, une extension naturelle des grammaires attribuées est introduite pour permettre de représenter une plus large classe de programmes fonctionnels. Les grammaires attribuées dynamiques peuvent se passer de la présence physique d'un arbre pour guider les calculs et les transformations, mais bénéficient des méthodes classiques d'évaluation des grammaires attribuées. Ensuite, les principales méthodes fonctionnelles de déforestation (algorithme de Wadler, règle d'élimination foldr/build, normalisation des folds, fusion d'hylomorphismes) sont étudiées et comparées avec la composition descriptionnelle des grammaires attribuées. Les limitations de chaque méthode sont établies et permettent de déterminer les atouts nécessaires pour ces transformations de programmes. Finalement, une nouvelle méthode de déforestation est proposée. La composition symbolique utilise la puissance du formalisme des grammaires attribuées et incorpore un mécanisme d'évaluation partielle. Cette technique générale peut être appliquée sur des grammaires attribuées ou sur des programmes fonctionnels et permet de déforester des programmes pour lesquelles les méthodes existantes restaient impuissantes.

Notre travail se focalise sur deux phénomènes observés dans le cadre de l'apprentissage de l'anglais langue seconde (L2) chez des adultes francophones: d'une part, l'usage non conventionnel de verbes, et d'autre part, l'importance du taux de production des verbes génériques (vs spécifiques). Notre population est constituée d'un groupe d'étudiants universitaires francophones en situation d'apprentissage de l'anglais de niveau B1 (population cible), ainsi que d'un groupe de locuteurs d'anglais L1 (population de référence), placés en situation de dénomination orale de 42 vidéos d'actions de type cut et break. Nos résultats montrent des différences significatives entre la manière dont les deux groupes catégorisent ces types d'actions, avec un taux plus élevé de descriptions non conventionnelles et de verbes génériques chez les locuteurs de l'anglais L2. A l'appui de ces résultats, nous soulignons l'importance de l'usage des verbes non conventionnels et génériques, qui constitue des stratégies de communication permettant aux apprenants L2 de pallier leurs lacunes lexicales.

De nos jours, les projets de conception complexes de produits exigent que les équipes de concepteurs se réunissent pour faciliter le partage de leurs compétences et expertises respectives afin de produire un ensemble de solutions de conception efficace. Dû au besoin croissant d’échanger les connaissances, les projets de conception modernes sont encore plus structurés pour travailler avec des équipes distribuées qui collaborent sur un réseau informatique pour accomplir une conception optimale de produit. Néanmoins, dans ce processus de conception collaborative, l'intégration d'équipes multidisciplinaires – qui implique l'échange et le partage des connaissances et compétences – génère fréquemment des situations conflictuelles. Les différents points de vue et perspectives des experts, les différentes façons de communiquer et collaborer au niveau de connaissances, rendent le processus difficilement maitrisable. Pour accomplir un scénario optimal, certains problèmes doivent d’abords être résolus comme la spécification et formalisation des besoins, l’intégration d'ontologies, la détection et la résolution des conflits. Spécifier et formaliser les connaissances demandent un grand effort afin d’obtenir un modèle de représentation pour agréger plusieurs domaines différents des connaissances. Chaque expert pourrait s'exprimer afin que les autres comprennent leurs informations correctement. Il est donc nécessaire d’utiliser un modèle de représentation de données suffisamment clair et flexible pour accomplir cette tâche. Certains modèles actuels ne parviennent pas à fournir une solution efficace pour le partage des connaissances et pour la collaboration des projets de conception, car ces modèles n’intègrent pas les aspects géographiques, temporels, fonctionnels de la conception avec un modèle de représentation des connaissances flexible et générique. Ce travail propose une architecture, pour la conception collaborative, qui ambitionne d'être synchrone, générique, orientée aux services, basée sur les agents, et basée sur les ontologies. Des modèles particuliers de représentation sont transformés en instances d'ontologie et sont fusionnés pour accomplir le model final de conception d’un produit. C'est une approche synchrone parce que le processus de fusion est entrepris en même temps que l'interaction entre concepteurs. C'est générique parce qu'elle permet aux utilisateurs de travailler avec deux approches pour l’intégration d'ontologies : celle qui utilise une ontologie générique et celle qui utilise un processus d'harmonisation. Notre proposition se concentre sur les conflits de la conception collaborative et fait usage de Web Ontology Language (OWL) et des Services Web, le premier comme langage pour représenter les connaissances et le dernier comme un support technologique pour la communication. / Today’s complex design projects require teams of designers to work collaboratively by sharing their respective expertise in order to produce effective design solutions. Due to the increasing need for exchanging knowledge, modern design projects are more structured to work with distributed virtual teams that collaborate over computer networks to achieve overall optimization in design. Nevertheless, in a collaborative design process, the integration of multidisciplinary virtual teams – involving exchange and sharing of knowledge and expertise – frequently and inevitably generates conflicting situations. Different experts’ viewpoints and perspectives, in addition to several ways of communicating and collaborating at the knowledge level, make all this process very hard to manage. In order to achieve an optimal scenario, some problems must first be solved, such as requirement specification and formalization, ontology integration, and conflict detection and resolution. Specifying and formalizing the knowledge demands a great effort towards obtaining representation patterns that aggregate several disjoint knowledge areas. Each expert should express himself so that the others can understand his information correctly. It is necessary, therefore, to use a flexible and sufficiently extensive data representation model to accomplish such a task. Some current models fall short of providing an effective solution to effective knowledge sharing and collaboration on design projects, because they fail to combine the geographical, temporal, and functional design aspects with a flexible and generic knowledge representation model. This work proposes an information model-driven collaborative design architecture that supports synchronous, generic, service-oriented, agent-based, and ontology-based teamwork. Particular representation models are transformed into ontology instances and merged together in order to accomplish the final product design. It is a synchronous approach because the concurrent processes are undertaken at the same time that the interactions among designers take place. It is generic because it provides the users with two approaches for ontology integration: the use of a predefined generic ontology and the harmonization process. Our proposal focuses on collaborative design conflict resolution by using Web Ontology Language (OWL) and Web Services, the former as a tool for knowledge representation and the latter as a technological support for communication.

Après une période de rejet, la littérature est aujourd'hui revenue dans les classes de langue en tant que document authentique. Si cette position n'est plus contestée dans les discours théoriques, dans les faits, de nombreux enseignants mettent encore de coté ce support pédagogique qui véhicule presque malgré lui de nombreux sous-entendus. <br />Afin d'étendre le corpus dit " littéraire " et d'introduire dans la classe des documents motivants et présentant de nombreux avantages, nous proposons d'utiliser le terme " littérature " au pluriel, incluant les paralittératures, la littérature francophone ou la littérature dite " classique ". Cette ouverture peut notamment motiver les apprenants par l'utilisation de textes moins marqués, désacraliser l'exploitation des textes littéraires ou encore refléter davantage le marché actuel du livre. De plus, la diversité qualitative et thématique des littératures est un facteur qui permet d'adapter le support d'apprentissage au niveau de l'apprenant ou du groupe-classe.<br />Les littératures étant très vastes, nous avons porté notre attention sur un genre en particulier : le roman policier, qui est entré récemment dans les programmes scolaires français. Nous proposons une étude comparative d'un corpus constitué de descriptions urbaines issues d'une part de romans réalistes, et d'autre part de romans policiers du type polar urbain. Nous procédons ensuite à diverses expériences pour valider l'acquisition par les apprenants d'une compétence générique participant à la compétence lectoriale.

L'analyse multifractale est l'étude des propriétés locales des ensembles de mesures ou de fonctions. Son importance est apparue dans le cadre de la turbulence pleinement développée. Dans ce cadre, l'expérimentateur n'a pas accès à la vitesse en tout point d'un fluide mais il peut mesurer sa valeur en un point en fonction du temps. On ne mesure donc pas directement la fonction vitesse du fluide, mais sa trace. Cette thèse sera essentiellement consacrée à l'étude du comportement local de traces de fonctions d'espaces de Besov : nous déterminerons la dimension de Hausdorff des ensembles de points ayant un exposant de Hölder donné (spectre multifractal). Afin de caractériser facilement l'exposant de Hölder et l'appartenance à un espace de Besov, on utilisera la décomposition de fonctions sur les bases d'ondelettes.Nous n'obtiendrons pas la valeur du spectre de la trace de toute fonction d'un espace de Besov mais sa valeur pour un ensemble générique de fonctions. On fera alors appel à deux notions de généricité différentes : la prévalence et la généricité au sens de Baire. Ces notions ne coïncident pas toujours, mais, ici on obtiendra les mêmes résultats. Dans la dernière partie, afin de déterminer la forme que peut prend un spectre multifractal, on construira une fonction qui est son propre spectre / Multifractal analysis consists in the study of local properties of set of measures or functions. Its importance appeared in the frame of fully developed turbulence. In this area, physicists do not know the velocity of a fluid at all points but they can measure its value in one point in function of time. Hence, they do not measure the velocity function of the fluid but its trace.This thesis will be mainly dedicated to the study of local behavior of traces of Besov functions: we will determine the Hausdorff dimension of sets of points with a given Hölder exponent (the so-called multifractal spectrum). In order to easily characterize Hölder exponent and Besov spaces, we will use wavelet decomposition. We will not get the value of the multifractal spectrum of the trace of all functions of a Besov space, but its value for a generic set of functions. Then, we will use two notions of genericity : prevalence and Baire's genericity. Even if generic and prevalent properties can be different, here they will be the same.In the last part, in order to establish what a multifractal spectrum shape can be, we will construct a function which is its own spectrum

Les systèmes embarqués sont largement utilisés de nos jours. Pour des raisons d'efficacité, les plus contraints en termes de ressources sont toujours programmés en C et en assembleur. L'adoption de langages de plus haut niveau tels que C# ou Java offrirait plus d'abstraction au programmeur, ce qui réduirait les temps de développement et par conséquent le coût de ces systèmes. Certains d'entre eux ont déjà migré vers de tels langages, comme les téléphones mobiles ou les tablettes tactiles, mais ils sont équipés d'une grande quantité de mémoire externe et ne reflètent pas la majorité des systèmes embarqués.Cette thèse s'intéresse à l'implémentation de Java et .NET pour l'embarqué, et plus spécifiquement à la compilation efficace du polymorphisme. Ce polymorphisme génère un certain coût à l'exécution, comme des indirections dans le cas des appels de méthodes (polymorphisme d'inclusion), ou de la duplication de code dans le cas de la généricité (polymorphisme paramétrique). De nombreuses techniques d'implémentation ont été proposées, notamment pour Java. Il reste cependant à identifier lesquelles sont applicables pour le type de systèmes que nous ciblons, et à en concevoir de nouvelles pour certains aspects comme la généricité. Nous partons du principe que les techniques globales (hypothèse du monde clos) sont les mieux adaptées. Par l'analyse de types, nous détectons qu'une partie importante des programmes est monomorphe et qu'elle peut donc être compilée sans surcoût. Pour implémenter le polymorphisme restant, nous choisissons la technique la mieux adaptée au matériel cible. Nous proposons également une implémentation de la généricité qui est adaptée aux systèmes embarqués. D'après nos évaluations, l'impact négatif du polymorphisme sur l'efficacité est largement réduit. L'efficacité du code optimisé devrait s'approcher de celle du C, et les techniques que nous employons pourraient être applicables dans le contexte plus général du chargement dynamique. / Nowadays, embedded systems are ubiquitous. For efficiency reasons, most constrained systems are still programmed in C and assembly. Adopting higher-level languages such as C# or Java should enhance the level of abstraction offered to programmers and reduce development time and cost for these systems. A small part of them have migrated to such languages, like smartphones and tablet computers, but they have a large amount of external memory available and do not represent the majority of embedded systems.This thesis focuses on the implementation of Java and .NET for embedded systems, and more especially on the efficient compilation of polymorphism. Polymorphism generates an overhead at run-time, such as indirections when methods are invoked (inclusion polymorphism) or code duplication in the case of generics (parametric polymorphism). Many implementation techniques have been proposed, especially for Java. However, it remains to identify which ones are applicable in the context of low-end embedded systems. We consider that whole program optimization (closed-world assumption) is well-suited in this context. Using type analysis, we observe that most part of programs is monomorph, therefore it can be compiled with no overhead with respect to C. In order to implement the remaining polymorphism, we choose the technique which is better suited for the target hardware. We also propose an appropriate implementation of run-time generics. Our results show that the negative impact of polymorphism is mostly reduced. The efficiency of the optimized code should be comparable with C, and the techniques we employ could be applicable in the context of dynamic loading (open-world assumption).

La hiérarchie des genres a longtemps été présentée par les historiens de l’art comme le symbole d’une « doctrine officielle » qui aurait dominé de manière univoque l’Académie Royale de Peinture et de Sculpture. Faute d’avoir fait l’objet d’un travail de définition articulé à l’étude d’archives telles que les statuts, les Procès-verbaux et les comptes rendus des conférences, elle a fini par devenir un lieu commun, si bien que la complexité de ses termes s’est parfois trouvé réduite à l’énoncé de la préface aux Conférences rédigée par Félibien. Elle est ainsi devenue le symbole d’un conflit théorique entre les détracteurs d’une Académie supposée étouffer la créativité des artistes et les tenants d’une réhabilitation face aux exagérations de l’historiographie traditionnelle. La perspective de cette recherche s’inscrit dans les interstices de ces approches différentes : interroger le sens et la fonction institutionnels de la hiérarchie des genres, ainsi que les résistances internes à ce dispositif, permet en effet d’appréhender l’Académie comme le lieu d’une conflictualité née du rapport qu’y entretiennent les notions d’art et de pouvoirs. J’étudie précisément l’incorporation de cette règle dans un programme (au sens où l’entend Foucault) – lequel s’est matérialisé dans la rédaction des statuts de décembre 1663 qui instituent une supériorité de la peinture d’histoire sur les autres genres, ainsi que dans la production d’un discours officiel. Les œuvres picturales de Desportes, Santerre, Chardin viennent par exemple déstabiliser les identités génériques solidifiées dans un règlement et ouvrent une piste de réflexion féconde quant à l’usage de la notion dynamique de généricité. / The hierarchy of genres has long been presented by art historians with an interest in the French Royal Academy of Painting and Sculpture, as the symbol of an « official doctrin » supposedly dominating the institution. Because it was never meticulously defined in conjonction with the study of archives such as statutes and conference reports, it slowly became common knowledge, to the point where the complexity of its terminology was sometimes reduced to nothing more than the foreword to Conférences by Félibien. So it became the subject of a theoretical conflict between on the one hand detractors of the Academy, which they accused of suffocating the creativity of artists, and on the other, people who believed in its rehabilitation against the exaggerations of traditional historiography since the 19th century. The perspective of this research takes root in the cracks of these approaches : because questioning the institutional meaning and function of the hierarchy of genres, as well as the internal resistance to it, allows us to assess the Academy as the host of a conflict born from the connection between the notions of art and power one can find within. My focus is precisely the incorporation of this rule within a program (in Foucault’s sense of the term) – which materialised through the writing of the statutes of 1663, which afford superior status to history painting over other genres, as well as through the production of an official discourse. The work of Desportes, Santerre, Chardin for instance are all responsible for destablising hardened genre identities through regulations, and they suggest a prolific line of thought relating to the use of the dynamic notion of genres.

On étudie l'abstraction et la généricité dans les langages de programmation. On décrit les principaux outils de la programmation générique. On traite ensuite de la spécification des types et des fonctions et on étudie les methodes de vérification de programmes spécifiés algébriquement.