• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 99
  • 10
  • 9
  • 2
  • 2
  • Tagged with
  • 131
  • 57
  • 55
  • 45
  • 30
  • 30
  • 25
  • 19
  • 17
  • 16
  • 16
  • 15
  • 15
  • 14
  • 14
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Du type au prototype : outils et processus de conception du projet architectural élaborés par Henry Jacques Le Même (1897-1997) / From type to prototype : tools and design processes of the architectural project developed by Henry Jacques Le Même (1897-1997)

Manin, Mélanie 30 October 2014 (has links)
La thèse interroge les processus de conception développés par l'architecte français Henry Jacques Le Même (1897-1997). Nous nous donnons à comprendre le savoir-faire qu'il a mis en œuvre par la pratique du projet afin de répondre à des commandes variées tant au niveau de leurs programmes que de leurs échelles de conception, et ceci dans des contextes historiques multiples. L'objectif est de déconstruire intellectuellement une partie de son œuvre par l'analyse architecturale et en inscrivant les projets étudiés dans leurs contextes de production afin de saisir les outils et méthodes de conception du projet qui lui sont spécifiques. Afin de mener des analyses précises, nous convoquons un corpus constitué d'un nombre de projets restreints et qui ont été conçus à des moments d'articulations dans la carrière de Henry Jacques Le Même ou à des époques historiques charnières, révélatrices des transformations du métier de l'architecte. Une première partie de la recherche vise à comprendre en quoi la déclinaison du type architectural du chalet du skieur, qu'il invente à la fin des années 1920 et sur lequel il travaille pendant près de 60 ans, permet à Henry Jacques Le Même de se constituer des outils de projet pour rendre sa pratique efficiente et répondre de manière ajustée à ses commandes. L'analyse architecturale d'un échantillon de projets de 19 chalets du skieur a pour objectif de repérer les principes du type architectural et les raisons de leurs évolutions. Pour comprendre comment la préfabrication, l'industrialisation de la construction ainsi que la transformation du statut de la commande influent sur la pratique architecturale de Henry Jacques Le Même, nous analysons les premiers projets où il doit intégrer ces nouvelles modalités dans l'exercice de conception. À partir de l'étude d'une demi-douzaine de projets expérimentaux que l'architecte conçoit dans les années 1940-1950, notre objectif est de saisir la démarche qu'il développe pour penser l'idée de prototype, la transformation des processus de construction, et l'architecture destinée au grand nombre. L'analyse des processus de conception des projets étudiés permet de révéler une recherche conduite par Henry Jacques Le Même sur la pratique de projet en vue de réduire la complexité au moment de la projection de l'espace. Elle s'établit à partir d'un renouvellement de ses outils intellectuels issus de sa culture architecturale et se traduit par un travail sur la composition, la définition d'un parti architectural ou sur la conception modulaire. D'autre part, l'architecte développe une méthodologie qui consiste à produire des ensembles sériels graphiques qui lui permettent de noter ses idées et intentions afin de progresser dans la pensée du projet. Pour mener à bien notre recherche, nous nous appuyons essentiellement sur l'étude de documents provenant du fonds d'archives de Henry Jacques Le Même, conservé aux Archives Départementales de la Haute-Savoie. Ces sources premières témoignent de la pensée en acte de l'architecte au moment de l'élaboration de ses projets et nous ont permis d'élaborer le contenu de notre recherche par une analyse croisée de la documentation écrite et graphique. Parallèlement nous avons entrepris un travail de re-dessin de plans originaux associé à des analyses graphiques. Cette méthode de recherche qui utilise les outils de l'architecte a permis d'opérer un procédé de déconstruction-reconstruction des projets analysés pour rendre lisibles et intelligibles leurs organisations et spécificités spatiales. La compréhension des architectures analysées a été précisée par un travail de documentation historique et théorique. La thèse a été menée au sein du laboratoire les Métiers de l'Histoire de l'Architecture, édifices-villes-territoires, ENSA Grenoble, et dans le cadre d'une convention CIFRE avec le CAUE de Haute-Savoie. / This thesis questions the design process developed by architect Henry Jacques Le Même (1897-1997). Our goal is to understand the know-how he implemented by project practice to realize various commands both by their programs and their scales, in multiple historical contexts. The objective is to intellectually deconstruct part of his work by the architectural analysis, and considering the studied projects in their production context to capture the design tools of the project that are specific to it. To conduct detailed analyzes we consider a small number of projects that have been designed at key times during Henry Jacques Le Même career, or at pivotal historical moments for the transformation of the profession of the architect. The first part of the research is to understand how the variation of the architectural style of the skier's cottage - that he invented in the late 1920s and on which he worked for nearly 60 years - allows Henry Jacques Le Même to create project tools to make his practice efficient and to provide adequate responses to his orders. The architectural analysis of a sample of 19 skier's cottage projects aims to identify the principles of architectural type and the reasons of their evolution. The architectural practice of Henry Jacques Le Même has been influenced by prefabrication, industrialization of construction, and the transformation of the architectural command. To understand this we analyze the first projects in which he must integrate these new modalities in the design exercise. Based on the study of half a dozen experimental projects – that the architect designed in the years 1940-1950 -, our goal is to understand the process he developed to think the idea of prototype, the transformation of construction process, and the architecture destined for the masses. The analysis of the design process of studied projects reveals a research conducted by Henry Jacques Le Même on the project practice to reduce its complexity for spatial organization. This research is issued from a renewal of his intellectual tools from his architectural culture, and results in a work on the composition, the definition of an architectural style or modular design. Moreover, the architect develops a methodology which is based on producing serial graphics sets that allow him to record his ideas and intentions in order to bring forward the project thinking. To carry out our research, we first rely on the study of documents from the archives of Henry Jacques Le Même, preserved in the Departmental Archives of Haute-Savoie. These primary sources reflect the thinking of the architect during the development of his projects and helped us to develop the content of our research by a cross-analysis of the written and graphic documentation. In addition we have undertaken a re-drawing of the original plans associated with graphical analyzes. This research method uses the tools of the architect and allow us to operate a process of deconstruction and reconstruction of the analyzed projects to make readable and intelligible their organization and spatial characteristics. The understanding of the analyzed architectures has been specified by a work of historical and theoretical documentation. The thesis was conducted in the laboratory les Métiers de l'Histoire de l'Architecture, édifices-villes-territoires, ENSA Grenoble, and within a CIFRE agreement with the CAUE Haute-Savoie.
22

Recherche d'informations par l'image<br />Application à la recherche interactive de produits du bâtiment

Nakapan, Walaiporn 03 July 2003 (has links) (PDF)
Le problème de choix de produits du bâtiment occupe une place importante dans un processus<br />de conception architecturale. Les moteurs de recherche de produits existants sur le Web<br />proposent les modes d'accès, qui, en général, s'appuient sur l'utilisation du texte. Ces modes<br />d'accès sont mal adaptés aux besoins d'informations des architectes qui sont souvent vagues<br />au départ, et ne sont jamais clairement et complètement énonçables en mots. C'est pourquoi,<br />nous proposons l'image comme un nouveau support à la recherche de produits. Nous<br />présentons une méthode appliquée à la recherche interactive de produits ainsi que la<br />construction de la base d'images utilisées pour cette recherche. Par conséquent, deux<br />applications ont été réalisées à partir de cette méthode : 1) un robot logiciel destiné à extraire<br />et indexer les images de produits à partir du Web, 2) un outil recherche interactive de produits<br />par l'image. L'évaluation de ces outils permet de proposer des améliorations de l'approche.
23

Le formalisme objet appliqué à l'étude de l'édifice patrimonial : <br />Problèmes de modélisation et d'échanges de données sur le réseau Internet

Blaise, Jean-Yves 06 March 2003 (has links) (PDF)
Dans ce travail nous évaluons la pertinence et la portée d'un ensemble de formalismes informatiques récents sur l'étude du patrimoine architectural, champ d'application dont nous montrons les spécificités et leurs implications. Le problème que pose ce travail peut être présenté ainsi : le raisonnement par classifications que le formalisme objet autorise est-il pertinent pour décrire un modèle de l'édifice patrimonial; les concepts classifiés peuvent-ils être le maillon fédérateur d'une chaîne d'applications relevant de points de vues bien distinct sur l'édifice patrimonial ? Nous définissons une méthodologie d'analyse de l'édifice qui se veut générique, et un ensemble d'outils d'évaluation et d'exploitation du modèle. <br />Nous montrons qu'une analyse a priori du corpus d'éléments physiques formant l'édifice peut grandement en faciliter l'étude. Mesure, représentations et documentation, trois exemples d'applications abordés, deviennent dans ce cadre des processus visant à renseigner le modèle et ses instances. Nous montrons que la compréhension globale de l'édifice bâti et de son évolution est mieux assurée.
24

Intégration des aspects énergétiques dans la conception du projet architectural : une approche méthodologique / Integration of energy issues in the design of the architectural project : a methodological approach

Moreno Sierra, Andres 21 December 2012 (has links)
Selon les objectifs d’efficacité énergétique à l’horizon 2020 en France, le secteur du bâtiment évolue vers des constructions dites à « énergie positive ». Ces nouveaux enjeux imposent l’intégration de nouvelles composantes aux aspects architecturaux et techniques, ainsi qu’une rupture dans les modes de conception et d’évaluation d’un projet. Mais la recherche de la performance énergétique dépend d’instruments numériques de mesure qui ne sont parfois pas adaptés à la démarche de conception des architectes, ce qui se traduit par la difficulté de mettre en cohérence le projet architectural et les objectifs de performance énergétique.L’objectif de ce travail est d’analyser la complexité de l’intégration des aspects énergétiques dans les différentes phases du processus de conception, afin de proposer une démarche qui permette d’optimiser la performance énergétique. Pour étudier ces questions, nous proposons d’analyser et de reconstituer la démarche de conception de l’architecte d’un point de vue méthodologique, pour aborder postérieurement la question de l’optimisation de la performance énergétique à l’aide d’outils numériques.L’étude du processus de conception permet d’évaluer l’impact de la composante énergie et son importance dans les phases initiales dans la démarche du concepteur. L’analyse systémique des aspects énergétiques montre l’interrelation entre les problématiques générales et les différents choix de conception. La formulation d’une stratégie de conception à travers un outil méthodologique, nous permet de proposer une démarche d’optimisation de la performance énergétique basée sur la structure morphologique du bâtiment.Cette approche ouvre de nouvelles perspectives méthodologiques dans la conception de bâtiments à énergie positive. La complexité des relations entre l’énergie, la morphologie des bâtiments, les outils numériques seraient en train de modifier le processus de conception en architecture et la future organisation des ensembles urbains. / According to the French energy efficiency target for 2020, the building industry is moving towards "positive energy". These new challenges require the integration of new components to architectural and technical aspects, as well as a break in the methods of design and evaluation of the project. But the research for energy efficiency depends of digital measurement instruments which are not adapted to the design process of architects, which results in the difficulty of consistency between architectural and energy performance targets.The objective of this work is to analyze the complexity of integrating energy issues in the design process, to propose a methodological approach which optimizes energy efficiency. To address these issues, we propose to analyze and reconstruct the design process from a methodological point of view, later to study the optimization of energy performance using digital tools.The study of the design process shows the impact of the energy component and its important role in the early stages of the design process. The methodological analysis of energy issues shows the interrelation between general principles and design decisions. The formulation of a design strategy using a methodological tool allows us to propose an approach for optimizing the energy performance based on the morphological structure of the building.This approach opens new methodological perspectives in the design of positive energy buildings. The complexity of the relationship between energy, the morphology of buildings and the use of digital tools would be changing the design process in architecture and the future organization of urban complexes. / De acuerdo con los objetivos de eficiencia energética para el año 2020 en Francia, la industria de la construcción se dirige hacia las construcciones de "energía positiva". Estos nuevos desafíos exigen la integración de nuevos componentes a los aspectos arquitectónicos y técnicos del proyecto, así como una ruptura en sus métodos de diseño y evaluación. Pero la optimización de la eficiencia energética depende del uso de herramientas digitales de medición que usualmente no se encuentran adaptadas al proceso de diseño arquitectónico, lo que dificulta la coordinación entre el proyecto arquitectónico y los aspectos energéticos.El objetivo de este trabajo es analizar la complejidad de la integración de la componente energética en el proceso de diseño, proponiendo un enfoque que permita optimizar la eficiencia energética. Para estudiar este tema, se propone analizar y reconstruir el proceso de diseño del arquitecto desde un punto de vista metodológico, para abordar posteriormente la problemática de la optimización de la eficiencia energética a través de herramientas digitales.El estudio del proceso de diseño muestra el impacto de la energía y su importancia de las primeras etapas del proceso de diseño. El análisis metodológico de los aspectos energéticos muestra la interrelación entre los temas principales y las decisiones de diseño. La formulación de una estrategia de diseño utilizando una herramienta metodológica permite proponer un enfoque para la optimización de la eficiencia energética basado en la estructura morfológica del edificio.Este enfoque abre nuevas perspectivas metodológicas en el diseño de edificios de energía positiva. La complejidad de las relaciones entre la energía, la morfología de los edificios y el uso de herramientas digitales estarían cambiando el proceso de diseño y la organización futura de los complejos urbanos
25

Proposition d'un modèle et d'un outil dédiés à la conception morphologique architecturale en phase esquisse / Proposition of a model and a tool to assist architectural morphological conception in early stage

Wetzel, Jean-Paul 26 June 2009 (has links)
Le renouveau actuel du vocabulaire formel dans l’univers des architectures dites « non standards » s’appuie largement sur l’utilisation de modeleurs tridimensionnels. Dans cette démarche de conception, la stratégie de modélisation d’objets relève moins de l’utilisation directe de la géométrie que de la formalisation d’une idée. En effet, le travail de recherche morphologique, de la forme idée à la forme visée, nécessite de nombreux ajustements incompatibles avec une démarche linéaire de modélisation géométrique. Nous émettons l’hypothèse que la genèse des formes résulte d’opérations successives de transformation de forme fondées sur des objectifs sémantiques et guidées par une ou plusieurs images mentales. Ce cheminement se fait par des variations importantes entre différents états de la forme et par de nombreux ajustements de cette forme. Pour répondre à ce processus itératif nous proposons une approche paramétrique de la modélisation qui s’appuie sur des modificateurs de forme de haut niveau. Nous nommons opérateurs morphologiques ces outils d’action sur la forme qui permettent à partir d’une fonction de transformation morphologique (bomber, torsader, plisser…) de trouver par différentes solutions alternatives et par ajustement une forme satisfaisante. Notre travail aborde plus spécifiquement les opérateurs plier, plisser, froisser / The current renewal of formal vocabulary in the world of architecture, so-called “non-standard”, relies heavily on the use of three-dimensional modelers. In this design strategy, object modeling falls under the direct use of geometry as the formalization of an idea. Indeed work with such forms requires many adjustments incompatible with linear geometric modeling. We assume that the genesis of forms results from successive operations processing form that are founded on semantic objectives and guided by one or more mental images. This semantic path is a variation between different states of the form and numerous adjustments to the form. To formalize this iterative process, we propose a parametric approach based on high level modifiers of form. Morphological operators are action tools that allow finding a satisfactory form through a morphological transformation (bulging, twisting, pleating…) and adjustment. Keywords : morphological operator, 3D design, architectural conception
26

Architectures expérimentales : penser et agir une pratique située (généalogie, contexte et éléments théoriques) : l'expérience de YA+K / Experimental architecture : think and made a situated practice (genealogy, context and theorical propositions) : experience of YA+K

Delprat, Etienne 22 November 2017 (has links)
L’enjeu de cette thèse porte sur la théorisation d’une conception de la pratique architecturale que l’on propose de définir par sa valeur expérimentale et son approche située. À cette catégorisation s’associe une manière autre de faire projet partagée aujourd’hui par de nombreux praticiens oscillant entre champs disciplinaires, formats et supports de travail. Ceux-ci ne travaillent plus « à distance » et ne suivent plus le processus classique de projet (analyser, concevoir puis construire des objets). Ils s’immergent et travaillent avec, pour et sur un contexte qu’ils «mettent au travail» par leurs actions et productions. Ce travail de recherche invite, «depuis l’intérieur» d’une pratique et d’une expérience, à lire et analyser autrement ces pratiques qui redéfinissent les méthodes et formats classiques de l’architecture ; puis, dans une visée plus opératoire, de penser la démarche de projet qui s’associe à ces approches fondant une culture du projet singulière. Cette thèse prend comme point de départ une pratique collective, celle de YA+K, structure que j’ai participé à cofonder. Ancrant ma réflexion dans la pratique, je commence par développer le récit-critique d’un corpus de projets qu’a réalisés YA+K (installations, résidences et workshops) ce qui permet d’esquisser un certain nombre d’entrées et de questionnements qui structurent la suite de la recherche. Dans un second temps, je tente de situer notre approche dans une généalogie de pratiques et de praticiens. Ensuite, pour réinscrire cet héritage dans une contemporanéité et l’actualité d’une discipline et d’une profession, j’identifie plusieurs enjeux majeurs contemporains qui touchent l’architecture — les évolutions des villes, le rapport aux techniques et la fragilisation d’une discipline et d’une profession — et qui composent son contexte de développement actuel. À chacune de ces entrées, j’associe une réflexion théorique introduisant plusieurs entrées de lecture ainsi que trois axes de réflexion majeurs : penser et travailler la condition urbaine au travers du concept d’urbanisme intermédiaire, penser un rapport aux technologies fondé sur les valeurs et conception du Do It Yourself et enfin la nécessité de repenser la démarche de projet au regard de la crise actuelle que connaît la discipline architecturale. Enfin, nourri de ces trois temps réflexifs, j’élabore trois propositions théoriques proposant de penser autrement la démarche de projet : penser le site(s) et non le contexte, par l’étude du workshop appréhender autrement le processus de projet et ces ruptures classiques (entre penser et faire notamment) et enfin tenter de redéfinir la production architecturale en affirmant sa valeur expérimentale et ses formats multiples. / This thesis aims to develop a new conception of architectural practice defined by its experimental value and an in situ approach. At the same time, practitioners from various fields whose work is based on different working formats share a new way to conceive of ‘the project’. They no longer work remotely following the traditional project process – analysis, design and construction. They immerse themselves working for, with and on a context, using actions and productions to set the context to work. This research invites the reader to explore and critically analyse a redefinition of traditional architectural methods and formats, linked to this approach. This thesis takes as its starting point the work of YA+K– interdisciplinary group that I co-founded in 2011. Using my experience within our practice, I first critically analyse a group of projects produced by YA+K (installations, residences and workshops). I then outline several issues that provide the structure of the manuscript, and follow this by situating our approach in a genealogy of practices and practitioners. Then, in order to position this research in its current professional and disciplinary context, I identify several challenges now faced by the architectural field – the evolution of cities, the relationships between practitioners and techniques, and the fragility of the discipline and profession. For each of these points, I develop a theoretical framework, incorporating three major lines of reflection: 1) thinking and working in the urban context through the concept of intermediary urbanism, 2) thinking in relation to technologies based on a DIY approach, and 3) the need to reshape the approach to architectural projects in light of the current crisis in the profession. Lastly, I draw on lessons from these lines of thought in order to articulate three theoretical proposals offering ways to reconceptualise the approach to architectural projects: 1) think around the site(s) and not the context, 2) conceive of different approaches to projects and their classical conflicts (in particular between thinking and doing) through the use of workshops, and 3) try to redefine architectural production, emphasising its experimental value and multiple formats.
27

Modélisation des applications distribuées à architecture dynamique : Conception et Validation

Hadj Kacem, Mohamed 13 November 2008 (has links) (PDF)
Nos travaux de recherche consistent à apporter des solutions de modélisation conformément à l'approche MDA. Nos recherches consistent à fournir des solutions permettant de guider et d'assister les activités de modélisation des architectures logicielles. Il s'agit principalement de proposer une démarche de conception orientée modèle permettant de décrire l'architecture logicielle en tenant compte de trois aspects : le style architectural, les opérations de reconfiguration et le protocole de reconfiguration.<br />Nous proposons des notations visuelles permettant de décrire de façon compatible avec UML 2.0 l'architecture logicielle. La technique de description que nous adoptons est orientée règles, basée sur les théories de transformation de graphe, permettant, ainsi, de décrire la dynamique structurelle.<br />Nous proposons une extension d'UML 2.0 par un nouveau profil formé de trois méta-modèles. Nous proposons aussi une approche de validation basée sur des règles intra-modèle et des règles inter-modèles. Nous adoptons également une approche de vérification. Cette approche permet, dans une première étape, une transformation automatique du style architectural et de chaque opération de reconfiguration vers le langage Z. Elle permet dans une deuxième étape, de vérifier la consistance du style architectural et la conformité de l'évolution d'une architecture vis-à-vis de son style architectural. Nous utilisons le système de preuve Z/EVES. Finalement, nous proposons une démarche de modélisation des architectures logicielles dynamiques, appelée X, permettant de décrire les différentes étapes pour modéliser l'architecture logicielle. La démarche proposée est inspirée de la méthode MDA et 2TUP.<br />Le profil et la démarche X que nous avons proposés ont fait l'objet d'une implémentation et d'une intégration, sous forme de plug-in java, dans l'atelier d'aide à la conception FUJABA. Le plug-in implémenté est disponible sur l'URL : http://www.laas.fr/~khalil/TOOLS/X.zip.
28

Exploration de l'Espace de Conception des Architectures Reconfigurables

Bossuet, Lilian 10 September 2004 (has links) (PDF)
Ce mémoire présente une méthode d'exploration de l'espace architectural de conception afin de converger rapidement vers la définition d'une architecture reconfigurable efficace pour une application donnée.<br /><br />Cette méthode intervient très tôt dans le flot de conception, ainsi dès les premières phases de spécification de l'application, les concepteurs peuvent définir une architecture adaptée pour leurs applications. La méthode d'exploration s'appuie principalement sur l'estimation de la répartition des communications dans l'architecture ainsi que sur le taux d'utilisation des ressources de l'architecture. Ces métriques permettent en effet d'orienter le processus d'exploration afin de minimiser la consommation de puissance de l'architecture puisque cette dernière est directement corrélée à ces deux métriques.<br /><br />Les résultats obtenus montrent que notre méthode permet de converger rapidement vers une architecture efficace en ce qui concerne la consommation de puissance.
29

De Ta Prohm au Bayon, Analyse comparative de l'histoire architecturale des principaux monuments du style du Bayon

CUNIN, Olivier 29 October 2004 (has links) (PDF)
Cette étude a pour principal objectif l'élaboration de la chronologie relative du vaste programme architectural de Jayavarman VII dont le royaume englobait la totalité du Cambodge et une large partie de la Thaïlande à la fin du XIIe siècle. La construction de la chronologie générale des monuments dits du style du Bayon s'est appuyée sur une analyse archéologique des principaux temples de cette période complétée par une étude stylistique basée sur les travaux de Ph. Stern [Ph. Stern, 1965]. Ces résultats ont été complétés et partiellement validés par une étude archéométrique portant sur le comportement magnétique du grès, principal matériau constituant ces monuments.<br />La chronologie locale et globale des monuments du style du Bayon a permis la mise au jour de quatre classes typologiques de temples régissant l'ensemble du programme architectural du Jayavarman VII. Il a été, de plus, possible de déduire quelles parties de celui-ci était exécutée dès 1191, date de consécration du Preah Khan d'Angkor. Cet essai de datation absolue des monuments du style du Bayon découle de l'analyse comparative de la chronologie relative de Ta Prohm et du Preah Khan d'Angkor avec leur description et la distribution de leur population divine qui en ont été faites dans les inscriptions de leur stèle respective.
30

Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification

Cassou, Damien 17 March 2011 (has links) (PDF)
Nombre d'applications ont pour comportement principal l'attente d'un événement venant d'un environnement extérieur, la préparation d'un résultat et l'exécution d'actions sur cet environnement. Les interfaces graphiques et les systèmes avioniques en sont des exemples. Le paradigme SCC, pour Sense--Compute--Control, est particulièrement adapté à la description de ces applications. Le développement d'applications suivant ce paradigme est cependant rendu difficile par le manque de cadre conceptuel et d'outils de support. Cette thèse propose un cadre conceptuel dédié au paradigme SCC et se concrétise par un langage de description d'architectures nommé DiaSpec. Ce langage fournit un cadre de travail pour guider le développement d'une application SCC en assignant des rôles aux membres du projet et en proposant une séparation des préoccupations. En plus de fournir un cadre de conception, cette thèse fournit un support de programmation. En effet, à partir de descriptions écrites en DiaSpec, un framework de programmation dédié est généré dans un langage cible. Ce framework de programmation guide l'implémentation d'une application SCC en exposant les mêmes abstractions que le langage DiaSpec. Ce framework de programmation est conçu de façon à assurer que l'implémentation d'une application est conforme à l'architecture décrite en DiaSpec, en s'appuyant sur le système de types du langage cible. Les contributions de cette thèse sont évaluées suivant des critères d'expressivité, d'utilisabilité et de productivité.

Page generated in 0.0534 seconds