Log in

Relevant bibliographies by topics / Idm / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Idm.

Dissertations / Theses on the topic 'Idm'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Idm.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Fuller, Nathaniel J. "A Contextual Model for Identity Management (IdM) Interfaces." NSUWorks, 2014. http://nsuworks.nova.edu/gscis_etd/157.

Full text

Abstract:

The usability of Identity Management (IdM) systems is highly dependent upon design that simplifies the processes of identification, authentication, and authorization. Recent findings reveal two critical problems that degrade IdM usability: (1) unfeasible techniques for managing various digital identifiers, and (2) ambiguous security interfaces. The rapid growth of online services consisting of various identifier concepts and indistinct designs overwhelm users and disrupt desired computing activities. These complexities have led to an increase in work operations and additional effort for end us

APA, Harvard, Vancouver, ISO, and other styles

2

Wu, Shih-Lung 1963. "Industry dynamics within semiconductor value chain : IDM, foundry and fabless." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/29721.

Full text

Abstract:

Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2003.<br>Includes bibliographical references (leaf 60).<br>This thesis intends to analyze the semiconductor value chain and identify critical factors, which impact the future industry structure. The main focus is in the dynamics among IDM (Integrated Design Manufacture), foundry and fabless companies. This analysis will utilize double helix [1] model with consideration of economics of scale, fixed cost and product life cycle. Furthermore, the cost and time-to-market factors

APA, Harvard, Vancouver, ISO, and other styles

3

Alkahlan, Bandar Suliman. "Integrated Design and Manufacturing [IDM] Framework for the Modular Construction Industry." Diss., Virginia Tech, 2016. http://hdl.handle.net/10919/81418.

Full text

Abstract:

If we look at the construction industry, particularly the modular single-family construction industry, we often see that the design stage is distinctly separate from the construction and fabrication stages. This separation has been occurring for some time now, however, there is often a noticeable lack of understanding of the constraints in linking architectural design to modular construction for single-family housing. In addition, no framework exists which seeks to support overcoming these constraints for the architectural design process while simultaneously bringing knowledge of fabrication,

APA, Harvard, Vancouver, ISO, and other styles

4

SANTOS, Luiz José Rodrigues dos. "Generalização do modelo computacional de tráfego veicular IDM (Intelligent Driver Model)." Universidade Federal Rural de Pernambuco, 2008. http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/5172.

Full text

Abstract:

Submitted by (ana.araujo@ufrpe.br) on 2016-08-03T14:07:18Z No. of bitstreams: 1 Luiz Jose Rodrigues dos Santos.pdf: 1081987 bytes, checksum: 435fc2cb438881b9c3905e16b4b41ed0 (MD5)<br>Made available in DSpace on 2016-08-03T14:07:42Z (GMT). No. of bitstreams: 1 Luiz Jose Rodrigues dos Santos.pdf: 1081987 bytes, checksum: 435fc2cb438881b9c3905e16b4b41ed0 (MD5) Previous issue date: 2008-02-28<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES<br>Urban traffic represents a phenomenon of great socioeconomic importance,whose modeling from the point of view of prevision on

APA, Harvard, Vancouver, ISO, and other styles

5

Schelp, Jonas. "Analyse eines Kreisverkehrs in verschiedenen Verkehrsnachfragesituationen." Bachelor's thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-237739.

Full text

Abstract:

Eine realistische Simulation von Verkehrsabläufen kann einen wichtigen Beitrag zur Verkehrsplanung leisten. In dieser Arbeit wird dafür in den bestehenden mikroskopischen Simulator MovSim ein Kreisverkehr implementiert. Anschließende Analysen, die unter Verwendung des Intelligent-Driver-Modells und des Spurwechselmodells MOBIL durchgeführt wurden, legen nahe, dass die relativen Ergebnisse, die sich durch Veränderung des Verkehrsflusses und der Modellparameter ergeben, realitätsnah sind. Zudem konnte gezeigt werden, dass der Einfluss des Verkehrsstromes in der Kreisfahrbahn im Handbuch für die

APA, Harvard, Vancouver, ISO, and other styles

6

Junior, Claudionei Nalle. "Indicador de Desenvolvimento Municipal (IDM): uma proposta de caracterização dos municípios brasileiros." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/96/96132/tde-30012015-111453/.

Full text

Abstract:

Este trabalho é oriundo da multidisciplinaridade própria das questões de desenvolvimento e da percepção da necessidade de novos elementos e instrumentos de gestão para o gestor público subsidiar a proposição de determinadas ações e políticas. O esforço se concentra no entendimento do fenômeno desenvolvimento e discute a utilização de indicadores na gestão pública. O problema que este projeto discute refere-se a um contexto complexo, e a construção da discussão privilegia a interdisciplinaridade, uma vez que utiliza conceitos oriundos de outras disciplinas como a geografia, a economia, a sociol

APA, Harvard, Vancouver, ISO, and other styles

7

Bruneliere, Hugo. "Generic Model-based Approaches for Software Reverse Engineering and Comprehension." Thesis, Nantes, 2018. http://www.theses.fr/2018NANT4040/document.

Full text

Abstract:

De nos jours, les entreprises font souvent face à des problèmes de gestion, maintenance, évolution ou remplacement de leurs systèmes logiciel existants. La Rétro-Ingénierie est la phase requise d’obtention de diverses représentations de ces systèmes pour une meilleure compréhension de leurs buts / états.L’Ingénierie Dirigée par les Modèles (IDM) est un paradigme du Génie Logiciel reposant sur la création, manipulation et utilisation intensive de modèles dans les tâches de conception, développement, déploiement, intégration, maintenance et évolution. La Rétro-Ingénierie Dirigée par les Modèles

APA, Harvard, Vancouver, ISO, and other styles

8

Bouaziz, Rahma. "Processus IDM pour l’intégration des patrons de sécurité dans une application à base de composants." Thesis, Toulouse 2, 2013. http://www.theses.fr/2013TOU20101/document.

Full text

Abstract:

La sécurité est devenue un enjeu important dans le développement des systèmes logiciels actuels. La majorité des concepteurs de ces systèmes manquent d’expertise dans le domaine de la sécurité. Il s’avère donc important de les guider tout au long des différentes phases de développement logiciel dans le but de produire des systèmes plus sécurisés. Cela permettra de réduire le temps ainsi que les coûts de développement. Pour atteindre cet objectif, nous proposons d’appliquer l’expertise en matière de sécurité sous forme de patrons de sécurité lors de la phase de conception de logiciels. Un patro

APA, Harvard, Vancouver, ISO, and other styles

9

Le, Thi Thanh Thanh. "Modélisation en UML/OCL des langages de programmation et de leurs propriétés et processus IDM." Toulouse 3, 2011. http://thesesups.ups-tlse.fr/1373/.

Full text

Abstract:

Cette étude est axée sur l'activité de génération de composants logiciels se situant en phase terminale des processus de développement de logiciels dirigés par les modèles. Dans une première partie, nous présentons les travaux de recherche déjà existants sur les modèles et les transformations de modèles, ainsi que sur la modélisation en UML/OCL des langages de programmation limitée, la plupart du temps, aux aspects syntaxiques. Dans une deuxième partie, nous montrons comment nous modélisons en UML/OCL, les propriétés comportementales et axiomatiques des langages de programmation de style impér

APA, Harvard, Vancouver, ISO, and other styles

10

Spandidos, Nikiforos. "Regulation of RNA polymerase III transcription by the ID1, ID2, ID3 and E47 proteins." Thesis, University of Glasgow, 2010. http://theses.gla.ac.uk/1723/.

Full text

Abstract:

RNA polymerase III (pol III) is responsible for transcribing a set of genes that are involved in protein synthesis, including transfer (tRNA) and 5S ribosomal RNA (5S rRNA). Pol III transcription levels are increased in many cancers, as increased protein synthesis is required for tumour growth. Furthermore, it has been shown that a number of oncoproteins and tumour suppressor proteins interact directly with the pol III machinery. The work presented in this thesis aimed to investigate whether the inhibitor of differentiation (ID) and E47 proteins regulate pol III transcription, as well as the m

APA, Harvard, Vancouver, ISO, and other styles

11

Morin, Brice. "Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00538548.

Full text

Abstract:

La dépendance croissante de la société à l'égard des systèmes logiciels nécessite de concevoir des logiciels robustes, adaptatifs et disponibles sans interruption. De tels systèmes proposent souvent de nombreux points de variation avec de nombreuses variantes, conduisant à une explosion combinatoire du nombre des configurations. Il devient rapidement impossible de spécifier et de valider toutes ces configurations lors de la conception d'un système adaptatif complexe. Cette thèse présente une approche dirigée par les modèles et basée sur la modélisation par aspects pour contenir la complexité d

APA, Harvard, Vancouver, ISO, and other styles

12

Munoz, Freddy. "Validation des moteurs de raisonnement et mécanismes d'adaptation pour les systèmes auto-adaptatifs." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00538565.

Full text

Abstract:

Les systèmes auto adaptatifs sont des systèmes logiciels capables d'observer leur environnement de travail (par des sondes), raisonner et prendre des décisions sur la façon de s'adapter aux changements environnementaux (par un moteur de raisonnement), et modifier leur structure interne pour prendre les adaptations en compte. Ces systèmes peuvent fournir une aide précieuse dans un grand nombre d'activités humaines. Cependant, ils ne fourniront entièrement leurs promesses que si les ingénieurs peuvent s'assurer que les décisions et les adaptations sont correctes sur toutes les situations. Ceci e

APA, Harvard, Vancouver, ISO, and other styles

13

Delamare, Romain. "Analyses Automatiques pour le Test de Programmes Orientés Aspect." Phd thesis, Université Rennes 1, 2009. http://tel.archives-ouvertes.fr/tel-00512178.

Full text

Abstract:

La programmation orientée aspects sépare les différentes préoccupations pour améliorer la modularité. Ce paradigme introduit de nouveaux défis pour le test. Afin de proposer des solutions efficaces à ces problèmes, nous avons étudié l'utilisation d'AspectJ dans 38 projets libres. Ces observations ont révélé que les aspects sont peu utilisé, et avec précaution, et que la programmation orientée aspect diminue la testabilité en augmentant le couplage. Nous avons développé une analyse statique de l'impact des aspects sur les cas de test. Le but est de déterminer statiquement quels sont les cas de

APA, Harvard, Vancouver, ISO, and other styles

14

Ramsay, Ben. "Exploring compositional relationships between acousmatic music and electronica." Thesis, De Montfort University, 2014. http://hdl.handle.net/2086/10524.

Full text

Abstract:

This research explores the compositional relationships between acousmatic music and electronica in order to offer a way of unifying the two musical forms. The original contribution to knowledge comes from the creation of a portfolio of compositions that extend the two idioms towards one another, resulting in a series of works that are presented as a journey between and a fusion of electronica and acousmatic music. The dissertation offers a collection of associated theories that underpin the creation of the portfolio. In turn this dissertation addresses three areas that relate to compositional

APA, Harvard, Vancouver, ISO, and other styles

15

Baudry, Benoit. "Question-learn-test-feedback pattern to test emerging software construction paradigms." Habilitation à diriger des recherches, Université Européenne de Bretagne, 2010. http://tel.archives-ouvertes.fr/tel-00553854.

Full text

Abstract:

This habilitation introduces the question-learn-test-feedback pattern that resulted from a series of investigations in the domains of software testing and modular software construction. The contributions to these fields are of various natures, but are all fundamentally related through two major assumptions: software construction paradigms have to constantly evolve in order to deal with the increasingly complex requirements that software-intensive systems have to meet; a tester's perspective can support this evolution through the development of effective testing techniques and new empirical kno

APA, Harvard, Vancouver, ISO, and other styles

16

Muller, Pierre-Alain. "De la modélisation objet des logiciels à la metamodélisation des langages informatiques." Habilitation à diriger des recherches, Université Rennes 1, 2006. http://tel.archives-ouvertes.fr/tel-00538525.

Full text

Abstract:

Mes travaux concernent la modélisation opérationnelle des systèmes à informatique prépondérante, dans le double but de capitaliser les savoir-faire et d'automatiser les réalisations. La modélisation est l'utilisation d'une représentation, en lieu et place d'une chose du monde réel, dans un but cognitif. Un modèle se substitue à un système dans un contexte donné, à moindre coût, plus simplement, plus rapidement et sans les risques ou dangers inhérents à une manipulation du système réel. Une modélisation devient opérationnelle dès lors qu'une implantation informatique peut en être dérivée de man

APA, Harvard, Vancouver, ISO, and other styles

17

Diaw, Samba. "Spem4mde : un métamodèle et un environnement pour la modélisation et la mise en œuvre assistée de processus IDM." Phd thesis, Université Toulouse le Mirail - Toulouse II, 2011. http://tel.archives-ouvertes.fr/tel-00668956.

Full text

Abstract:

L'avènement de l'IDM (Ingénierie Dirigée par les Modèles) a suscité beaucoup d'intérêt de la part des organisations qui de fait commencent à transformer leur processus de développement traditionnel en un processus de développement dirigé par les modèles, appelé aussi processus IDM.Au moment où ces processus commencent à émerger, nous notons l'absence d'un langage dédié pour les modéliser et les mettre en œuvre. Le standard SPEM 2.0 propose des concepts génériques qui sont supposés être capables de décrire tout type de processus logiciel. Cependant, les concepts de SPEM ne capturent pas la natu

APA, Harvard, Vancouver, ISO, and other styles

18

Lindell, Frans. "BIM I TOTALENTREPRENAD: PROJEKTERINGENS INFORMATIONSLEVERANSER FÖR PRODUKTIONENS GRUNDLÄGGNING." Thesis, Tekniska Högskolan, Högskolan i Jönköping, JTH, Byggnadsteknik och belysningsvetenskap, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-35189.

Full text

Abstract:

Syfte: Byggsektorn karaktäriseras av att till stor del bestå av temporära projektorganisationer med mycket samarbete mellan discipliner men utan någon vidare processkontinuitet mellan de unika projekten. Det finns ett stort fokus på tid och omedelbar handling som en del av aktörernas referensram och varje aktivitet och nytt arbetssätt bör ge omedelbara fördelar i form av tidsvinster och effektivare utförande för att villigt accepteras. Behoven av standardiserade arbetssätt blir mycket synliga när man börjar införa BIM i projekten. Att aktivt använda BIM-modellen på bygget skapar krav på innehå

APA, Harvard, Vancouver, ISO, and other styles

19

Španihel, Pavol. "Zabezpečovací modul pro reklamní robot FEKT VUT v Brně." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219649.

Full text

Abstract:

The aim of this work is to design a safety module for promotional robot FEEC BUT robot, which is based on evaluation kit RDK-IDM-SBC. The security module allows authorized persons control different parts of the robot (monitors, computers and subsystems included in the robot).

APA, Harvard, Vancouver, ISO, and other styles

20

Moones, Emna. "Proposition d'une approche méthodologique d'interopérabilité multi-niveaux dans un environnement de PLM collaboratif." Thesis, Paris 8, 2017. http://www.theses.fr/2017PA080093/document.

Full text

Abstract:

Nos travaux de thèse concernent l’´étude de l’interopérabilité dans un environnement collaboratif et dynamique d’entreprise. Elle est considérée comme un facteur clé de collaboration qui doit être pris en compte tout au long du cycle de vie du produit. Ceci est particulièrement important en ce qui concerne les réseaux d'entreprise collaboratifs, tel que DMN, où un groupe distinct de partenaires est connecté dans un modèle en forme de chaîne et où la coopération est cruciale pour atteindre un objectif spécifique. Ce contexte a fait émerger la nécessité de faire inter-opérer une multitude de sys

APA, Harvard, Vancouver, ISO, and other styles

21

Oudart, David. "Application de l'ingénierie dirigée par les modèles à la conception de Smart Grids : approche par cosimulation avec FMI." Electronic Thesis or Diss., Institut polytechnique de Paris, 2020. http://www.theses.fr/2020IPPAS002.

Full text

Abstract:

Les Smart Grids sont des systèmes cyberphysiques qui interfacent les réseaux électriques avec les technologies de l'information et de la communication afin de les surveiller, d'automatiser la prise de décision et d'équilibrer la production avec la consommation. Nous souhaitons utiliser la simulation pour évaluer et comparer facilement plusieurs solutions avant un déploiement dans un environnement réel. L'objectif de cette thèse est ainsi de proposer des outils et méthodes pour modéliser et simuler un Smart Grid dans un contexte industriel. Nous avons identifié deux problématiques principales :

APA, Harvard, Vancouver, ISO, and other styles

22

Cadoret, Fabien. "Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués." Thesis, Paris, ENST, 2014. http://www.theses.fr/2014ENST0024/document.

Full text

Abstract:

Nous nous sommes intéressés aux systèmes embarqués temps-réel critiques (SETRC) qui soulèvent des problématiques de criticité, de respect de contraintes temporelles et de disponibilité des ressources telles que la mémoire. Pour maîtriser la complexité de conception de ces systèmes, l’Ingénierie Dirigée par les Modèles (IDM) propose de les modéliser pour les analyser au regard de leurs exigences et pour générer en partie leur code d’exécution. Cependant ces deux phases doivent s’articuler correctement de sorte que le système généré respecte toujours les propriétés du modèle initialement analysé

APA, Harvard, Vancouver, ISO, and other styles

23

DUVET, LUDOVIC. "Instrumentation pour l'etude in-situ des atmospheres neutres et ionises planetaires et cometaires : idm (ion dynamics monitor) et cops (comet pressure sensor)." Paris 6, 2001. http://www.theses.fr/2001PA066296.

Full text

Abstract:

Le travail realise durant cette these a consiste en le developpement, la realisation et les tests de deux instruments destines a l'etude des environnements neutres et ionises planetaires et cometaires. Le premier instrument, idm (ion dynamics monitor), est un spectrometre a plasma thermique et suprathermique (< 200 ev) developpe initialement lors de la phase de consolidation du projet cometaire europeen rosetta. Une version amelioree a ensuite ete adaptee pour l'etude de l'ionosphere et de la couche limite de mars dans le cadre du projet dynamo. Les deux versions du spectrometre ont ete testee

APA, Harvard, Vancouver, ISO, and other styles

24

Siala, Badr. "Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP." Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30268/document.

Full text

Abstract:

Cette thèse a pour cadre scientifique la décomposition formelle des spécifications centrali- sées Event-B appliquée aux systèmes distribués BIP. Elle propose une démarche descendante de développement des systèmes distribués corrects par construction en combinant judicieu- sement Event-B et BIP. La démarche proposée comporte trois étapes : Fragmentation, Dis- tribution et Génération de code BIP. Les deux concepts clefs Fragmentation et Distribution, considérés comme deux sortes de raffinement automatique Event-B paramétrées à l'aide de deux DSL appropriés, sont introduits par cette thèse. Cette

APA, Harvard, Vancouver, ISO, and other styles

25

Alazmi, Huda Salem. "The Development of GIS Instructional Model to Facilitate Authentic Intellectual Work in Secondary Social Studies Classrooms in Kuwait." Diss., Virginia Tech, 2020. http://hdl.handle.net/10919/97906.

Full text

Abstract:

The adoption of Geographic Information System (GIS) technology in social studies classroom practices has helped accelerate the achievement of educational goals. However, despite the value that GIS possesses for supporting student learning skills, few schools have adopted it so far. A reason for this deficiency lies in the absence of specific instructional models that demonstrate possible methods for incorporating GIS into class curriculum. This study sought to address this problem, tailored specifically for Kuwaiti social studies classrooms, with the design, development, and validation of a GI

APA, Harvard, Vancouver, ISO, and other styles

26

Pollet, Damien. "Une architecture pour les transformations de modèles et la restructuration de modèles uml." Phd thesis, Université Rennes 1, 2005. http://tel.archives-ouvertes.fr/tel-00538536.

Full text

Abstract:

Avec l'ingénierie des modèles on cherche à résoudre le problème de l'évolution des grands systèmes informatiques. En effet, ces systèmes doivent s'adapter à l'évolution des besoins et des technologies, et cette évolution est de plus en plus rapide par rapport à celle du domaine métier. On souhaite donc réutiliser l'expertise de ce domaine indépendamment des technologies sur lesquelles on s'appuie, grâce à des techniques de manipulation de modèles. La contribution présentée dans ce manuscrit est une architecture de manipulation de modèles indépendante d'un quelconque métamodèle. Cette architect

APA, Harvard, Vancouver, ISO, and other styles

27

Faucher, Cyril, and Cyril Faucher. "Modélisation d'événements composites répétitifs, propriétés et relations temporelles." Phd thesis, Université de La Rochelle, 2012. http://tel.archives-ouvertes.fr/tel-00950487.

Full text

Abstract:

La modélisation des événements et de leurs propriétés temporelles concerne des types variés d'utilisateurs et de communautés scientifiques. Nous nous plaçons dans le cadre du paradigme Objet et construisons un méta modèle opérationnel servant de représentation pivot, indépendante du métier pour représenter des événements composites avec leurs propriétés structurelles et temporelles. Le méta modèle PTOM (Periodic Temporal Occurrence Metamodel) prend en compte l'expression de contraintes structurelles sur les événements, ou géométriques, topologiques et relationnelles sur la temporalité de leurs

APA, Harvard, Vancouver, ISO, and other styles

28

Monperrus, Martin. "La mesure des modèles par les modèles." Phd thesis, Rennes 1, 2008. http://www.theses.fr/2008REN1S085.

Full text

Abstract:

L'ingénierie dirigée par les modèles est une approche du génie logiciel qui utilise des modèles comme artefacts de première importance. La mesure est une activité d'ingénierie qui permet d'obtenir une information quantitative sur les processus d'ingénierie ou les systèmes en cours de développement. La mesure des modèles permet d'identifier les risques et les défauts et de valider des propriétés dès le début du développement. Malheureusement, il est coûteux de développer un outil de mesure ad hoc pour chaque type de modèles manipulés. Nous proposons une approche indépendante du métamodèle pour

APA, Harvard, Vancouver, ISO, and other styles

29

Faucher, Cyril. "Modélisation d'événements composites répétitifs, propriétés et relations temporelles." Thesis, La Rochelle, 2012. http://www.theses.fr/2012LAROS385/document.

Full text

Abstract:

La modélisation des événements et de leurs propriétés temporelles concerne des types variés d’utilisateurs et de communautés scientifiques. Nous nous plaçons dans le cadre du paradigme Objet et construisons un méta modèle opérationnel servant de représentation pivot, indépendante du métier pour représenter des événements composites avec leurs propriétés structurelles et temporelles. Le méta modèle PTOM (Periodic Temporal Occurrence Metamodel) prend en compte l’expression de contraintes structurelles sur les événements, ou géométriques, topologiques et relationnelles sur la temporalité de leurs

APA, Harvard, Vancouver, ISO, and other styles

30

Fleurey, Franck. "Langage et méthode pour une ingénierie des modèles fiable." Phd thesis, Université Rennes 1, 2006. http://tel.archives-ouvertes.fr/tel-00538288.

Full text

Abstract:

Ce travail s'inscrit dans un contexte où la taille et la complexité des logiciels augmentent alors que les contraintes de temps de développement, de qualité, de maintenance et d'évolution sont toujours plus fortes. Pour répondre à cette tendance, l'ingénierie dirigée par les modèles constitue une évolution prometteuse des techniques de génie logiciel. Les idées de l'ingénierie dirigée par les modèles sont, d'une part de rendre les modèles productifs, et d'autre part d'automatiser certaines étapes du développement grâce à des transformations de modèles. Une des conditions pour que l'ingénierie

APA, Harvard, Vancouver, ISO, and other styles

31

Maciel, Alex Roda. "Automação do processo de corte e dobra de armaduras para estruturas de concreto integrada ao processo BIM." Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/3/3153/tde-28082018-142552/.

Full text

Abstract:

A consolidação do processo de Modelagem da Informação da Construção (BIM) tende a contribuir para o aumento da eficiência da indústria da construção civil, fomentando novos fluxos de trabalho e permitindo o reuso de informações ao longo do ciclo de vida dos empreendimentos. Apesar do potencial de integração e automação associados ao processo BIM, o uso das informações digitais contidas no modelo para facilitar a pré-fabricação de produtos para a construção mostra-se incipiente. Nota-se que emprego da fabricação digital encontra obstáculos sobretudo em setores que atuam de modo segregado, e que

APA, Harvard, Vancouver, ISO, and other styles

32

Sirgabsou, Yandika. "Proposition d’une approche dirigée par les modèles pour la sûreté de fonctionnement logicielle - Application à l'architecture logicielle des véhicules connectés et autonomes." Electronic Thesis or Diss., Toulouse, INSA, 2023. http://www.theses.fr/2023ISAT0062.

Full text

Abstract:

Dans le contexte du développement de logiciels automobiles, le problème général qui a motivé ce travail était la complexité croissante des architectures logicielles et les limites des pratiques actuelles en termes d’analyses de sécurité. Malgré le développement du MBSE (Model Based Systems Engineering), ces pratiques sont toujours caractérisées par le recours à des techniques manuelles traditionnelles d’analyse de la sécurité telles que l’analyse par arbre de défaillance (FTA) ou l’analyse des modes de défaillance et de leurs effets (AMDE). Bien qu’elles soient toujours utiles, ces techniques

APA, Harvard, Vancouver, ISO, and other styles

33

Almeida, A. A. D. "The role of Id2 and Id3 in Xenopus laevis primary neurogenesis." Thesis, University of Cambridge, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.595480.

Full text

Abstract:

Id proteins (Inhibitors of differentiation) inhibit differentiation by preventing bHLH DNA binding activity through the formation of inactive Id-bHLH heterodimers. Xenopus Ids (xIds) are dynamically expressed in a wide variety of tissues, with high expression levels detected at early stages of development. In this work, I have identified a requirement for Xenopus xId2 and xId3 in primary neurogenesis and muscle differentiation. Overexpression of xId2 and xId3 disrupts the expression of late neuronal and muscle differentiation markers, but not the expression of the early markers xNGN and xMyoD,

APA, Harvard, Vancouver, ISO, and other styles

34

Samson, Pierre. "Adaptation logicielle pour et par les i DSML." Thesis, Pau, 2015. http://www.theses.fr/2015PAUU3025/document.

Full text

Abstract:

L’un des buts de l’Ingénierie Dirigée par les Modèles (IDM) est de considérer les modèles comme des éléments productifs pour le développement d’applications. Dans cette optique, une nouvelle tendance concerne les modèles exécutables où un modèle produit en phase de conception est réutilisé en tant que tel en phase d’exécution grâce aux interpreted Domain-Specific Modeling Language (i DSML) qui sont interprétés par un moteur d’exécution. Cette façon de procéder permet de gagner du temps lors du développement d’un logiciel et est par conséquent moins coûteux. D’autre part, les logiciels peuvent

APA, Harvard, Vancouver, ISO, and other styles

35

Belaunde, Mariano. "Le Développement Agile de Services de Télécommunication Intégrés via des techniques d'ingénierie des modèles." Phd thesis, Université Rennes 1, 2011. http://tel.archives-ouvertes.fr/tel-00650682.

Full text

Abstract:

Pour devenir ou rester compétitif, un opérateur télécom doit constamment enrichir ou adapter son offre de services. Cette recherche permanente d'innovation implique de rendre agiles les processus de création de service. Par agilité nous entendons non seulement la capacité à mettre rapidement sur le marché de nouvelles idées de service mais également de s'assurer de leur évolution dans un environnement technologique changeant. Dans ce mémoire de thèse nous défendons l'idée qu'une utilisation pragmatique et combinée des principes du SOA avec les technologies d'ingénierie des modèles peut être un

APA, Harvard, Vancouver, ISO, and other styles

36

Gugsa, Gebrehiwot Rihanna. "Traffic Simulation of Automated Shuttles in Linköping University Campus." Thesis, Linköpings universitet, Kommunikations- och transportsystem, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-178105.

Full text

Abstract:

Automated shuttles are designed to provide a clean transportation and improve access to areas such as where travelers have to walk long distances to/from bus stops. The introduction of automated shuttles in the road network might affect the safety of pedestrians and cyclists as well as traffic performance of motorized vehicles. Several demonstration trials are being conducted to study how automated shuttles operate in real traffic conditions, but they are limited to few vehicles and evaluations of traffic effects at higher penetration rates are not possible. Traffic simulation is a tool that c

APA, Harvard, Vancouver, ISO, and other styles

37

Dardour, Mayssa. "Développement d’une infrastructure numérique pour la sûreté des croisements : application ferroviaire." Electronic Thesis or Diss., Bordeaux, 2025. http://www.theses.fr/2025BORD0073.

Full text

Abstract:

Les Systèmes de Transport Intelligents (ITS) ont évolué, renforçant la sécurité routière. Ils reposent sur WAVE et ETSI ITS-G5, utilisant IEEE 802.11p pour la communication véhiculaire à courte portée. WAVE, la norme américaine, intègre des protocoles issus de IEEE 1609 et utilise la bande des 5.9 GHz pour les communications Vehicle-to-Everything (V2X). ETSI ITS-G5, son équivalent européen, suit l’architecture ETSI ITS et exploite également cette bande pour des communications V2X fiables. Ces standards forment la base de la couche des services, permettant le Cooperative Awareness Service (CASe

APA, Harvard, Vancouver, ISO, and other styles

38

Klein, Jacques. "Aspects Comportementaux et Tissage." Phd thesis, Université Rennes 1, 2006. http://tel.archives-ouvertes.fr/tel-00538382.

Full text

Abstract:

La séparation de préoccupations transverses permet au concepteur de logiciels d'avoir un meilleur contrôle sur les variations et les évolutions du logiciel. Dans le domaine de la programmation, cette idée a été popularisée par le langage AspectJ, mais aujourd'hui, la communauté aspect s'intéresse aussi à opérer cette séparation plus tôt dans le cycle de développement: dès les phases d'analyse/conception et même d'expression des besoins. Dans cette optique, cette thèse propose une technique permettant de tisser des comportements décrits sous forme de scénarios dans un modèle de base de scénario

APA, Harvard, Vancouver, ISO, and other styles

39

Simonin, Jacques. "Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel." Phd thesis, Université Rennes 1, 2009. http://tel.archives-ouvertes.fr/tel-00512182.

Full text

Abstract:

La durabilité d'un système d'information (SI) peut être caractérisée en bonne partie par la réutilisabilité de ses services lors de la réalisation des processus métier de l'entreprise. L'architecture orientée services (SOA) pour un SI nécessite la prise en compte de la stratégie d'entreprise (marketing et évolutions technologiques) dans la conception des services afin d'augmenter la réutilisabilité de services existants. C'est l'objectif de l'architecture d'entreprise (EA), ou de l'urbanisme, qui définit une cible architecturale offrant une durabilité optimum du SI. Afin d'améliorer la réutili

APA, Harvard, Vancouver, ISO, and other styles

40

Cocquebert, Etienne. "WISDOM : Méthode d'aide à la conception de sites web basée sur la réutilisation conceptuelle et logicielle." Phd thesis, Université de Valenciennes et du Hainaut-Cambresis, 2008. http://tel.archives-ouvertes.fr/tel-00404523.

Full text

Abstract:

La nature et les acteurs d'un site web ont considérablement évolués depuis leur apparition en 1996 : les premiers sites diffusaient de l'information statique et étaient réalisés de manière artisanale par peu d'acteurs, alors que désormais, ils sont devenus un vecteur privilégié d'informations dynamiques, de dialogue entre les utilisateurs et sont réalisés par des équipes projets faisant intervenir de multiples compétences. Cette évolution a conduit les concepteurs à faire face à un ensemble de critères de plus en plus contraignants pour répondre de manière toujours plus rapide à la mise en œuv

APA, Harvard, Vancouver, ISO, and other styles

41

Allègre, Willy. "Flot de conception dirigé par les modèles pour la commande et la supervision de systèmes domotiques d'assistance." Phd thesis, Université de Bretagne Sud, 2012. http://tel.archives-ouvertes.fr/tel-00803402.

Full text

Abstract:

En France, comme dans l'ensemble des pays développés, le même constat est dressé : la population vieillit. Cette évolution démographique sans précédent dans l'histoire de l'humanité pose un certain nombre d'enjeux économiques et sociaux liés à la prise en charge des personnes âgées dépendantes et/ou en situation de handicap, dont le nombre augmente considérablement au fil des ans. Le nombre d'aidants potentiels ne pouvant augmenter en conséquence, il faut penser dès aujourd'hui à des solutions alternatives pour permettre à ces personnes de garder un niveau d'autonomie suffisant leur permettant

APA, Harvard, Vancouver, ISO, and other styles

42

SARTORI, Stefano. "SVILUPPO DI UN METODO DIGITALE PER L’ANALISI DELLE SOLLECITAZIONI IN COMPONENTI MECCANICI FORTEMENTE INTAGLIATI." Doctoral thesis, Università degli studi di Ferrara, 2013. http://hdl.handle.net/11392/2388863.

Full text

Abstract:

The thesis proposed a experimental method for the assessment of the Notch Stress Intensity Factors (NSIF) of V-notches under mixed mode loadings without the use of particular techniques of experimental type in the preparation of the specimen and the use of sophisticated optical equipment laboratory. The NSIFs are calculated on the basis of a comparison of two digital photos of a calculation grid placed in the area of maximum stress concentration taken whit a digital camera. The photos are calculated to different load conditions and taken with a commercial digital camera. The method is parti

APA, Harvard, Vancouver, ISO, and other styles

43

Khecharem, Amani. "MuVArch : une approche de méta-modélisation pour la représentation multi-vues des architectures hétérogènes embarqués." Thesis, Nice, 2016. http://www.theses.fr/2016NICE4019/document.

Full text

Abstract:

Nous avons défini et réalisé avec l'approche MuVarch un environnement de (méta-)modélisation orientée vers la représentation multi-vues des architectures embarquées hétérogènes (de type "smartphone" par exemple). En plus de la vue architecturale de base, support de toutes les autres, on considère les vues "performance", "consommation", "température", ainsi que la vue fonctionnelle "applicative" pour fournir des scénarios comportementaux de fonctionnement de la plate-forme. Il était important de savoir décrire en MuVarch comment les vues se raccrochent à la vue de base architecturale, et commen

APA, Harvard, Vancouver, ISO, and other styles

44

Djeddai, Selma. "Combining formal verification environments and model-driven engineering." Toulouse 3, 2013. http://thesesups.ups-tlse.fr/2034/.

Full text

Abstract:

Les méthodes formelles (comme les prouveurs interactifs) sont de plus en plus utilisées dans la vérification de logiciels critiques. Elles peuvent compter sur leurs bases formelles solides ainsi que sur leurs sémantiques précises. Cependant, elles utilisent des notations complexes qui sont souvent difficiles à comprendre. D'un autre côté, l'Ingénierie Dirigée par les Modèles nous propose des langages de descriptions, comme les diagrammes de classes, utilisant des notations intuitives mais qui souffrent d'un manque de bases formelles. Dans cette thèse, nous proposons de faire interagir les deux

APA, Harvard, Vancouver, ISO, and other styles

45

Cadoret, Fabien. "Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués." Electronic Thesis or Diss., Paris, ENST, 2014. http://www.theses.fr/2014ENST0024.

Full text

Abstract:

Nous nous sommes intéressés aux systèmes embarqués temps-réel critiques (SETRC) qui soulèvent des problématiques de criticité, de respect de contraintes temporelles et de disponibilité des ressources telles que la mémoire. Pour maîtriser la complexité de conception de ces systèmes, l’Ingénierie Dirigée par les Modèles (IDM) propose de les modéliser pour les analyser au regard de leurs exigences et pour générer en partie leur code d’exécution. Cependant ces deux phases doivent s’articuler correctement de sorte que le système généré respecte toujours les propriétés du modèle initialement analysé

APA, Harvard, Vancouver, ISO, and other styles

46

Nguyen, Thi Mai. "A model driven engineering approach to build secure information systems." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLL001/document.

Full text

Abstract:

Aujourd’hui, les organisations s'appuient de plus en plus sur les systèmes d'information pour collecter, manipuler et échanger leurs données. Dans ces systèmes, la sécurité joue un rôle essentiel. En effet, toute atteinte à la sécurité peut entraîner de graves conséquences, voire détruire la réputation d'une organisation. Par conséquent, des précautions suffisantes doivent être prises en compte. De plus, il est bien connu que plus tôt un problème est détecté, moins cher et plus facile il sera à corriger. L'objectif de cette thèse est de définir les politiques de sécurité depuis les premières p

APA, Harvard, Vancouver, ISO, and other styles

47

Johansson, Krafve Linus. "Public E-services and Electronic Identification –A Comparative Implementation Study of Swedish Public Authorities." Thesis, Linköping University, Linköping University, Political Science, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-59291.

Full text

Abstract:

<p>This thesis presents an implementation study on the handling of electronic identification in three public authorities in Sweden. Electronic identification is a complex but very topical policy domain, largely tied to the general policy aspirations of e-government development. Theories on policy action, logic of appropriateness, garbage cans, and the dialectics of institutions and technology are used. The result highlights that the policy process of electronic identification in the three studied authorities could not be adequately explained from a traditional policy-implementation dichotomy.

APA, Harvard, Vancouver, ISO, and other styles

48

Charfi, Smaoui Asma. "Compilation optimisée des modèles UML." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00659360.

Full text

Abstract:

Cette thèse s'inscrit dans le cadre de la mise en œuvre de l'ingénierie dirigée par les modèles (IDM) pour le développement des systèmes embarquées. Ces systèmes ayant généralement des ressources limitées (mémoire et/ou calculs), exigent que le code généré soit le plus optimisé possible. L'objectif de cette thèse est de produire à partir d'un modèle spécifié dans le langage UML, un code assembleur plus compact que le code assembleur produit par les compilateurs de code. Malgré l'évolution croissante des compilateurs optimisés, les compilateurs les plus répandus comme le GCC (Gnu Compiler Colle

APA, Harvard, Vancouver, ISO, and other styles

49

Blouin, Arnaud. "Un modèle pour l'ingénierie des systèmes interactifs dédiés à la manipulation de données." Phd thesis, Université d'Angers, 2009. http://tel.archives-ouvertes.fr/tel-00477735.

Full text

Abstract:

L'ingénierie du logiciel s'intéresse, entre autres, à trois aspects du développement des systèmes interactifs (SI) : la liaison entre les données sources et leurs présentations cibles ; la conception de la facette interactive ; l'exécution d'un même SI sur différentes plates-formes d'exécution. Les différentes évolutions du web et des données, la diversification des plates-formes d'exécution, ainsi que les techniques d'interactions modernes amènent à revoir la manière de traiter ces trois aspects. L'ingénierie des modèles (IDM) apporte une solution à l'exécution multi-plateforme en échelonnant

APA, Harvard, Vancouver, ISO, and other styles

50

El, Asmi Emira. "Un environnement méthodologique et logiciel pour l'interopérabilité de la maquette numérique du bâtiment et de la simulation énergétique : application à la réglementation thermique RT2012." Thesis, Paris 8, 2016. http://www.theses.fr/2016PA080051.

Full text

Abstract:

L’analyse de la performance énergétique des bâtiments neufs repose massivement sur des outils logiciels de simulation. La valeur ajoutée de ces derniers est indéniable : ils permettent d’optimiser la conception en facilitant l’évaluation des performances énergétiques du bâtiment durant la phase de conception. Leur impact est cependant limité par plusieurs obstacles, dont les principaux sont le niveau d’expertise requis pour leur utilisation et l’absence de connexion aux outils de Conception Assistée par Ordinateur (CAO). Ce dernier point devient particulièrement critique au moment où l’utilisa

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!