Relevant bibliographies by topics / Transformation de programme (Informatique) / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Transformation de programme (Informatique).

Dissertations / Theses on the topic 'Transformation de programme (Informatique)'

Author: Grafiati
Published: 25 July 2024
Last updated: 31 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 'Transformation de programme (Informatique).'

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

Kunz, César. "Préservation des preuves et transformation de programmes." Phd thesis, École Nationale Supérieure des Mines de Paris, 2009. http://pastel.archives-ouvertes.fr/pastel-00004940.

Full text
Abstract:
Le paradigme du code mobile implique la distribution des applications par les producteurs de code à environnements hétérogènes dans lesquels elles sont exécutées. Une pratique étendue de ce paradigme est constituée par le développement d'applications telles que les applets ou les scripts Web, transferés à travers un réseau non sécurisé comme Internet à des systèmes distants, par exemple un ordinateur, un téléphone mobile ou un PDA (Assistant personnel). Naturellement, cet environnement peux ouvrir la porte au déploiement de programmes malveillants dans des plateformes distantes. Dans certains
APA, Harvard, Vancouver, ISO, and other styles
2

Alexandre, Francis. "Transformation de programmes logiques." Nancy 1, 1991. http://www.theses.fr/1991NAN10429.

Full text
Abstract:
La transformation de programmes est reconnue comme un moyen puissant de construire des programmes corrects et efficaces. La démarche générale consiste à appliquer pas à pas des transformations en vue d'obtenir un programme plus efficace. Dans ce cadre, le point de départ est une spécification écrite en clauses de horn (programme défini), les transformations de base sont le dépliage, le pliage et l'introduction de nouveaux prédicats. Les compositions des transformations de base sont appelées des tactiques. L'invention de tactiques produisant des programmes plus efficaces est étudiée. Ces tactiq
APA, Harvard, Vancouver, ISO, and other styles
3

Grenier, Christophe. "Transformation de programme et protection de la propriété intellectuelle - préparation, intégration et vérification." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00915579.

Full text
Abstract:
Dans le domaine de la Défense, les contrats export s'accompagnent souvent de transferts de technologie. Un compromis est donc nécessaire entre la protection de la propriété industrielle, celle du secret national et les demandes client. Nous étudierons dans ce contexte et au sein de DCNS les transformations de sécurisation de programme, principalement l'obfuscation et le watermarking. Nous présenterons ces transformations et les principaux résultats théoriques qui les concernent, ainsi que leur adéquation au besoin de sécurité. Nous étudierons la formalisation et la mise en oeuvre des principal
APA, Harvard, Vancouver, ISO, and other styles
4

Dai, Min. "Transformation et optimisation des programmes pour le parallélisme d'instructions." Versailles-St Quentin en Yvelines, 2000. http://www.theses.fr/2000VERS002V.

Full text
Abstract:
Nous commencerons d'abord par l'introduction des techniques de transformation et d'optimisation a haut niveau au chapitre 2. La présentation des architectures auxquelles nous nous intéressons, les processeurs super scalaires et vliw, est présentée dans le chapitre 3. Après avoir aborde les principales machines, nous présentons la méthode de la simulation des unités fonctionnelles qui est voisine des tables de réservation réduites. Dans le quatrième chapitre, nous introduisons les techniques existantes d'extraction de dépendances de données pour qu'elles puissent être utilisées dans les phases
APA, Harvard, Vancouver, ISO, and other styles
5

Neron, Pierre. "Transformation de Programmes pour des Nombres Réels Fiables." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00960808.

Full text
Abstract:
Cette thèse présente un algorithme qui élimine les racines carrées et les divisions dans des programmes sans boucles, utilisés dans des systèmes embarqués, tout en préservant la sémantique. L'élimination de ces opérations permet d'éviter les erreurs d'arrondis à l'exécution, ces erreurs d'arrondis pouvant entraîner un comportement complètement inattendu de la part du programme. Cette trans- formation respecte les contraintes du code embarqué, en particulier la nécessité pour le programme produit de s'exécuter en mémoire fixe. Cette transformation utilise deux algorithmes fondamentaux développé
APA, Harvard, Vancouver, ISO, and other styles
6

Cohen, Albert Henri. "Analyse et transformation de programmes : du modèle polyédrique aux langages formels." Versailles-St Quentin en Yvelines, 1999. https://tel.archives-ouvertes.fr/tel-00550829.

Full text
Abstract:
Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au coeur de la détection du parallélisme, elles rassemblent d
APA, Harvard, Vancouver, ISO, and other styles
7

Amini, Mehdi. "Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU." Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 2012. http://pastel.archives-ouvertes.fr/pastel-00958033.

Full text
Abstract:
Depuis le début des années 2000, la performance brute des cœurs des processeurs a cessé son augmentation exponentielle. Les circuits graphiques (GPUs) modernes ont été conçus comme des circuits composés d'une véritable grille de plusieurs centaines voir milliers d'unités de calcul. Leur capacité de calcul les a amenés à être rapidement détournés de leur fonction première d'affichage pour être exploités comme accélérateurs de calculs généralistes. Toutefois programmer un GPU efficacement en dehors du rendu de scènes 3D reste un défi.La jungle qui règne dans l'écosystème du matériel se reflète d
APA, Harvard, Vancouver, ISO, and other styles
8

Balland, Emilie Kirchner Claude Moreau Pierre-Etienne. "Conception d'un langage dédié à l'analyse et la transformation de programmes." S. l. : Nancy 1, 2009. http://www.scd.uhp-nancy.fr/docnum/SCD_T_2009_0026_BALLAND.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ioualalen, Arnault. "Transformation de programmes synchrones pour l’optimisation de la précision numérique." Perpignan, 2012. http://www.theses.fr/2012PERP1108.

Full text
Abstract:
La certification de programmes embarqués dans des systèmes critiques est, aujourd'hui encore, un enjeu majeur pour l'industrie et un défi pour la recherche. En outre, la précision numérique de programmes utilisant l'arithmétique des nombres à virgule flottante a fait l'objet de nombreux travaux et outils. À ce jour, il est possible de déterminer statiquement des sur-approximations fiables des erreurs d'arrondi pouvant apparaître lors des exécutions possibles d'un programme. Néanmoins, ces techniques n'indiquent pas comment corriger ou réduire ces erreurs. Ce travail de thèse présente une métho
APA, Harvard, Vancouver, ISO, and other styles
10

Jouvelot, Pierre. "Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels." Paris 6, 1986. http://www.theses.fr/1986PA066559.

Full text
Abstract:
Notre principe consiste a voir les transformations de programmes introduites par la parllelisation comme definissant des semantiques denotationnelles non-standards du langage de programmation. Nous montrons comment utiliser ce concept pour detecter, dans un langage imperatif simplifie all, des instructions complexes parallelisables, reconnaitre des reductions et prendre en compte certains programmes avec indirections
APA, Harvard, Vancouver, ISO, and other styles
11

Koukam, Abder. "Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus." Nancy 1, 1990. http://www.theses.fr/1990NAN10481.

Full text
Abstract:
Le travail présenté dans cette thèse s'inscrit dans le cadre d'une démarche méthodique pour la construction de systèmes parallèles. L'idée de base est de définir de tels systèmes comme un ensemble d'entités manipulant des suites de données, entre lesquelles des relations dites de communication sont spécifiées. Pour concevoir les solutions déduites de cette démarche, un langage d'expression de systèmes parallèles est proposé. Ce langage est caractérisé par : une expression abstraite des relations de communication en termes de types abstraits algébriques appelés types de communication. Une conce
APA, Harvard, Vancouver, ISO, and other styles
12

Balland, Emilie. "Conception d'un langage dédié à l'analyse et la transformation de programmes." Phd thesis, Université Henri Poincaré - Nancy I, 2009. http://tel.archives-ouvertes.fr/tel-00435881.

Full text
Abstract:
Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer des constructions de langage dédiées au prototypage d'outils d'analyse et de transformation de programmes et inspirées de la réécriture de termes et de termes-graphes. L'originalité de notre approche est d'embarquer ces nouvelles constructions dans les langages généralistes sous la forme d'un langage dédié embarqué. Les travaux de cette thèse se fondent sur le langage Tom qui propose d'embarquer des constructions de
APA, Harvard, Vancouver, ISO, and other styles
13

Neron, Pierre. "A Quest for Exactness: Program Transformation for Reliable Real Numbers." Phd thesis, Ecole Polytechnique X, 2013. http://tel.archives-ouvertes.fr/tel-00924379.

Full text
Abstract:
Cette thèse présente un algorithme qui élimine les racines carrées et les divi- sions dans des programmes sans boucles, utilisés dans des systèmes embarqués, tout en préservant la sémantique. L'élimination de ces opérations permet d'éviter les erreurs d'arrondis à l'exécution, ces erreurs d'arrondis pouvant entraîner un comportement complètement inattendu de la part du programme. Cette trans- formation respecte les contraintes du code embarqué, en particulier la nécessité pour le programme produit de s'exécuter en mémoire fixe. Cette transformation utilise deux algorithmes
APA, Harvard, Vancouver, ISO, and other styles
14

Fradet, Pascal. "Approches langages pour la conception et la mise en oeuvre de programmes." Habilitation à diriger des recherches, [S.l.] : [s.n.], 2000. ftp://ftp.irisa.fr/techreports/habilitations/fradet.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Machado, Javam de Castro. "Parallélisme et transactions dans les bases de données à objets." Université Joseph Fourier (Grenoble), 1995. https://tel.archives-ouvertes.fr/tel-00005039.

Full text
Abstract:
Notre travail cherche à exploiter le parallélisme dans le contexte des systèmes de gestion de bases de données a objets a d'autres niveaux d'abstraction que celui d'une requête SQL, à savoir le parallélisme intra-transaction et le parallélisme intra-application. Notre approche pour parallélisassions des transactions considère un modèle de transactions classiques, ou une transaction est une séquence d’Operations. Le parallélisme intra-transaction consiste à transformer le code d'une transaction pour pouvoir exécuter ses opérations en parallèle. Notre approche pour l'exploitation du parallélisme
APA, Harvard, Vancouver, ISO, and other styles
16

Tardieu, Olivier. "De la sémantique opérationnelle à la spécification formelle de compilateurs : l'exemple des boucles en Esterel." Phd thesis, École Nationale Supérieure des Mines de Paris, 2004. http://pastel.archives-ouvertes.fr/pastel-00001336.

Full text
Abstract:
Esterel est un langage impératif concurrent pour la programmation des systèmes réactifs. A l'exception de l'instruction "pause", les primitives du langage s'exécutent sans consommer de temps logique. L'exécution se décompose donc en une suite d'instants. Dans ce contexte, les boucles peuvent poser deux types de problèmes: d'une part une boucle instantanée peut bloquer l'écoulement du temps; d'autre part un bloc de code peut être traversé plusieurs fois au cours du même instant, conduisant à un comportement du programme dit "schizophrène". Les boucles instantanées sont proscrites par la sémanti
APA, Harvard, Vancouver, ISO, and other styles
17

Ajouli, Akram. "Vues et transformations de programmes pour la modularité des évolutions." Phd thesis, Ecole des Mines de Nantes, 2013. http://tel.archives-ouvertes.fr/tel-00866997.

Full text
Abstract:
La maintenance consomme une grande partie du coût de développement des logiciels ce qui rend l'optimisation de ce coût parmi les enjeux importants dans le monde du génie logiciel. Dans cette thèse nous visons à optimiser ce coût par rendre ces maintenances modulaires. Pour atteindre cet objectif, nous définissons des transformations des architectures des programmes qui permettent de transformer le programme à maintenir vers une architecture qui facilite la tâche de maintenance voulue. Nous nous concentrons plus sur la transformation entre les architectures à propriétés de modularité duales tel
APA, Harvard, Vancouver, ISO, and other styles
18

Garchery, Quentin. "Certification de la transformation de tâches de preuve." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG006.

Full text
Abstract:
De nombreux prouveurs et outils de vérification font un usage instensif des transformations logiques afin de ramener un problème exprimé sous la forme d'une tâche de preuve à un certain nombre de tâches de preuve plus simples à valider. Les transformations font souvent partie de la base de confiance de l'outil de vérification. Cette thèse a pour objectif de renforcer la confiance accordée aux transformations logiques. Les transformations sont instrumentées pour produire des certificats puis ceux-ci sont vérifiés par un outil externe: c'est l'approche sceptique. De ce fait, notre méthode est in
APA, Harvard, Vancouver, ISO, and other styles
19

Saint-James, Emmanuel. "De la meta-recursivite comme outil d'implementation." Paris 6, 1987. http://www.theses.fr/1987PA066612.

Full text
Abstract:
Il est montre comment il est possible et pourquoi il est souhaitable d'implementer un langage de programmation exclusivement par autointerpretation. En effet, il est montre qu'un sous ensemble d'un langage de programmation peut etre considere comme sa propre machine virtuelle, et que l'acces interactif au code source du systeme donne au langage une clarte et une puissance d'expression inegalees. Cette technique, nommee metarecursivite, a ete utilisee pour mettre en oeuvre le systeme meta lisp, operationnel sur plusieurs machines
APA, Harvard, Vancouver, ISO, and other styles
20

Lermusiaux, Pierre. "Analyse statique de transformations pour l’élimination de motifs." Electronic Thesis or Diss., Université de Lorraine, 2022. http://www.theses.fr/2022LORR0372.

Full text
Abstract:
La transformation de programmes est une pratique très courante dans le domaine des sciences informatiques. De la compilation à la génération de tests en passant par de nombreuses approches d'analyse de codes et de vérification formelle des programmes, c'est un procédé qui est à la fois omniprésent et crucial au bon fonctionnement des programmes et systèmes informatiques. Cette thèse propose une étude formelle des procédures de transformation de programmes dans le but d'exprimer et de garantir des propriétés syntaxiques sur le comportement et les résultats d'une telle transformation. Dans le co
APA, Harvard, Vancouver, ISO, and other styles
21

Hufflen, Jean-Michel. "Fonctions et généricité dans un langage de programmation parallèle." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00335698.

Full text
Abstract:
Fp2 (functional parallel programming) est un langage qui concilie programmation fonctionnelle et programmation parallèle a travers le formalisme des spécifications algébriques et des systèmes de réécriture. Dans le cadre du projet fp2, cette thèse a pour principal objectif de présenter la partie fonctionnelle, incluant la généricité et le traitement des exceptions. La généricité (paramétrisation d'une spécification) est traitée dans la première partie: nous rappelons les principes, étudions la sémantique, formalisons la compilation des opérateurs génériques en restant dans un cadre fonctionnel
APA, Harvard, Vancouver, ISO, and other styles
22

Kessaci, Kamel. "Synthèse de circuits digitaux synchrones par transformations de programmes fonctionnels." Toulouse, ENSAE, 1992. http://www.theses.fr/1992ESAE0007.

Full text
Abstract:
Avec la complexité croissante des circuits VLSI, la recherche de méthodes formelles de conception de circuits devient nécessaire pour atteindre l'objectif de circuits zéro-défaut dans les délais escomptés. Dans le cadre des circuits digitaux synchrones, nous proposons une méthodologie de conception de circuits descendante par transformations de programmes. La transformation de programmes consiste à dériver une réalisation à partir de sa spécification comportementale de haut niveau. La synthèse de circuits par transformations de programmes qualifie ce processus de réalisation. Pour cela, nous a
APA, Harvard, Vancouver, ISO, and other styles
23

Layaïda, Nabil. "Représentation et analyses de contenu et de programmes Web." Habilitation à diriger des recherches, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00872752.

Full text
Abstract:
Aujourd'hui, les contenus et les applications Web sont devenus la principale interface pour effectuer toutes sortes de tâches de la vie quotidienne comme déclarer et payer les impôts, réserver des billets d'avion ou de train, planifier des vacances, effectuer des achats, gérer les comptes bancaires, etc. En conséquence, il devient de plus en plus important d'étudier leurs fondements, d'améliorer leurs capacités, de faciliter leur conception, de vérifier leur fonctionnement, de les optimiser automatiquement et les rendre plus souples et adaptables aux usages et aux différentes plateformes. Dans
APA, Harvard, Vancouver, ISO, and other styles
24

Galinec, David. "Exécution asynchrone de programmes synchrones par transformations automatiques : application au traitement d'images temps-réel." Lille 1, 1997. http://www.theses.fr/1997LIL10054.

Full text
Abstract:
Le travail réalisé dans le cadre de cette thèse porte sur la transformation automatique de programmes synchrones en vue de leur implémentation asynchrone sur les architectures hétérogènes distribuées. Dans un contexte applicatif nous nous sommes plus particulièrement intéressés aux systèmes de traitements temps-réel de l'image. La démarche que nous avons suivie se base sur une phase préliminaire de conception et validation des systèmes temps-réel sous l'hypothèse de synchronisme. En pratique, nous avons utilisé un outil existant : le langage signal. Nous avons développé un ensemble de processu
APA, Harvard, Vancouver, ISO, and other styles
25

Kerneis, Gabriel. "Continuation-Passing C : transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Paris 7, 2012. http://www.theses.fr/2012PA077133.

Full text
Abstract:
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurre
APA, Harvard, Vancouver, ISO, and other styles
26

Kerneis, Gabriel. "Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00751444.

Full text
Abstract:
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurre
APA, Harvard, Vancouver, ISO, and other styles
27

Dupuis-Toubol, Frédérique. "La nature juridique du programme d'ordinateur." Paris 10, 1985. http://www.theses.fr/1985PA100195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Lefebvre, Vincent. "Restructuration automatique des variables d'un programme en vue de sa parallélisation." Versailles-St Quentin en Yvelines, 1998. http://www.theses.fr/1998VERS0008.

Full text
Abstract:
Cette thèse se place dans le cadre de la parallélisation automatique de programmes. Toute tentative de parallélisation débute par une analyse des dépendances. Parmi toutes les dépendances, seules les vraies dépendances de flot correspondent effectivement à un échange d'informations entre opérations. Les autres dépendances sont artificielles, -i. E. Uniquement liées à la réutilisation mémoire. Toute dépendance artificielle peut être détruite par expansion mémoire (agrandissement des données du programme). Afin de dégager un maximum de parallélisme, on peut les supprimer toutes en réalisant une
APA, Harvard, Vancouver, ISO, and other styles
29

Jones, Charles Albert Muñoz. "Conversion and transformation : Prince Albert's programme for a European monarchical order." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16558.

Full text
Abstract:
This thesis will examine the political, legal, and philosophical beliefs of Albert, the Prince Consort, in the fields of governance, foreign policy and international affairs as well as the methods he used in his attempt to realise these ideas, both domestically and abroad. This "Albertine ambition" constituted a sophisticated and coherent political programme for a coordinated Conversion and Transformation during a period of rapid and profound socio-political change in Europe. His over-arching aim was to help to establish an integrated, co-operative and mutually supporting system of constitutio
APA, Harvard, Vancouver, ISO, and other styles
30

Vialette, Jean-Paul. "Application du programme de medicalisation des systemes informatiques au traitement du pneumothorax." Aix-Marseille 2, 1990. http://www.theses.fr/1990AIX20829.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

DUVAUX, CHRISTOPHE. "Teleinformatique et regionalisation des soins : a propos du programme loginat." Lille 2, 1991. http://www.theses.fr/1991LIL2M108.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Kanyabwero, Erwanne Paméla. "Mécanisme de contrôle du flot d'information dans un programme : approche par typage trivalué." Thesis, Université Laval, 2013. http://www.theses.ulaval.ca/2013/29577/29577.pdf.

Full text
Abstract:
Ce mémoire présente un mécanisme d’application de politiques de sécurité grâce à une analyse de types trivaluée sur un langage impératif. Notre analyse a pour but de réduire les faux positifs générés par l’analyse statique, tout en préparant les programmes analysés à être instrumentés. Les faux positifs se produisent dans l’analyse de systèmes informatiques à temps réel quand il manque de l’information au moment de la compilation, par exemple un nom de fichier, et par conséquent, son niveau de sécurité. Notre approche visant à répondr
APA, Harvard, Vancouver, ISO, and other styles
33

Guerte, Yves. "Dérivation de programmes impératifs à partir de spécifications algébriques." Phd thesis, Université Claude Bernard - Lyon I, 1996. http://tel.archives-ouvertes.fr/tel-00004992.

Full text
Abstract:
Ce document présente une méthode de dérivation automatique des spécifications algébriques vers un langage impératif. Par langage impératif nous désignons un langage de programmation ``traditionnel'' avec déclarations des variables (état) et dont les programmes sont des suites d'instructions qui modifient l'état. L'instruction caractéristique est l'affectation destructrice d'une valeur à une variable. Une spécification algébrique est composée de sortes, de constructeurs qui définissent l'ensemble des valeurs atteignables (que l'on peut dénoter), et d'opérateurs axiomatisés par des équations con
APA, Harvard, Vancouver, ISO, and other styles
34

Maran, Abdalhmed. "Une approche formelle pour la transformation de modèles UML-XML." Versailles-St Quentin en Yvelines, 2005. http://www.theses.fr/2005VERS0007.

Full text
Abstract:
UML (Unified Modeling Language) allows modeling of structure and behavior of systems and offers several kinds of diagrams. XML (eXtensible Markup Language) is a data format and it has a schema definition language which is also in XML. In XML, there are a clear separation between XML Data and their schemas, descriptions and ontology and several possible representations. From early beginning of XML, there had been associations between UML and XML and complementarities had been shown between them. Our goal is to define a new and formal approach for model transformation and use it in case of UML t
APA, Harvard, Vancouver, ISO, and other styles
35

CASANOVA, BRUNET ISABELLE. "Etude de la fievre q au travers d'un programme informatise." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX20318.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

OHAYON, ALAIN. "Le programme de medicalisation du systeme d'information hospitalier : description et analyse." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX20199.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Duruisseau, Mickaël. "Améliorer la compréhension d’un programme à l’aide de diagrammes dynamiques et interactifs." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I042/document.

Full text
Abstract:
Les développeurs occupent une place prépondérante dans le développement logiciel. Dans ce cadre, ils doivent réaliser une succession de tâches élémentaires (analyse, codage, liaison avec le code existant...), mais pour effectuer ces tâches, un développeur doit régulièrement changer de contexte de travail (recherche d’information, lecture de code…) et analyser du code qui n’est pas le sien. Ces actions nécessitent un temps d’adaptation élevé et réduisent l’efficacité du développeur. La modélisation logicielle est une solution à ce type de problème. Elle propose une vue abstraite d’un logiciel,
APA, Harvard, Vancouver, ISO, and other styles
38

Kao, Kuan-Yu. "Control of the EBV growth transformation programme : the importance of the Bamhi W repeats." Thesis, University of Birmingham, 2011. http://etheses.bham.ac.uk//id/eprint/1493/.

Full text
Abstract:
Epstein-Barr virus (EBV), a human gammaherpesvirus, possesses a unique set of latent genes whose constitutive expression in B cells leads to cell growth transformation. The initiation of this B-cell growth transformation programme depends on the activation of a viral promoter, Wp, present in each tandemly arrayed BamHI W repeat of the EBV genome. In order to examine the role of the BamHI W region in B cell infection and growth transformation, we constructed a series of recombinant EBVs carrying different numbers of BamHI W repeats and carried out B cell infection experiments. We concluded that
APA, Harvard, Vancouver, ISO, and other styles
39

Peltier, Mikaël. "Techniques de transformation de modèles basées sur la méta-modélisation." Nantes, 2003. http://www.theses.fr/2003NANT2057.

Full text
Abstract:
Dans cette thèse, nous présentons cette problématique de manière concrète et pragmatique. Après avoir étudié les systèmes existants, nous avons développé un langage dédié permettant d'exprimer les transformations de manière formelle, non-ambigue͏̈ et exécutable. Ce langage peut constituer le cœur d'un système unifié de transformation de modèles. Les résultats des travaux de normalisation en cours nous permettent de confirmer les choix proposés et éventuellement de suggérer des extensions ou améliorations<br>The last modern requirements of software development have caused OMG to define an archi
APA, Harvard, Vancouver, ISO, and other styles
40

Pottier, Laurent. "Le contrôle de la synthèse sonore informatique : cas particulier, l'utilisation du programme PatchWork." Paris, EHESS, 2001. http://www.theses.fr/2001EHES0121.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Lecerf, Jason. "Designing language-agnostic code transformation engines." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I077.

Full text
Abstract:
Les transformations automatiques de code apparaissent dans diverses situations, les refactorings, les migrations inter-langages ou encore la spécialisation de code. Les moteurs supportant ces transformations cherchent dans le code source les occurrences de motifs spécifiés par l’utilisateur, puis les réécrivent grâce à une transformation. Cette transformation peut soit modifier les occurrences elles-mêmes, des éléments de la représentation intermédiaire (IR) du langage, en nouveaux éléments ou réécrire leur code source. Nous nous concentrons sur la réécriture de code source qui offre une meill
APA, Harvard, Vancouver, ISO, and other styles
42

Delamare, Romain. "Analyses automatiques pour le test de programme orientés aspect." Rennes 1, 2009. ftp://ftp.irisa.fr/techreports/theses/2009/delamare.pdf.

Full text
Abstract:
La programmation orientée aspects sépare les différentes préoccupations pour améliorer la modularité et l'évolutivité. 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
APA, Harvard, Vancouver, ISO, and other styles
43

Yannias, Alexandra. "Section 26, Grootboom, and breaking new ground : South Africa's constitutional right to housing in theory and practice." Master's thesis, University of Cape Town, 2008. http://hdl.handle.net/11427/3679.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Bouchet, Sala Agnès. "Transmission et transformation identitaire, l'ambivalence du programme d'enseignement général à l'Université de Stanford (1920-1998)." Paris 3, 2001. http://www.theses.fr/2001PA030170.

Full text
Abstract:
Les "programmes d'enseignement général" correspondent aux Etats-Unis aux programmes universitaires appelés "core requirements" ou "general education courses". Ils mettent en oeuvre un large éventail de sujets empruntés le plus souvent aux disciplines des sciences humaines. Ces cours sont enseignés dès la première année universitaire et parfois sur l'ensemble du cursus jusqu'au niveau graduate. Présents sous des formes très différentes dans la grande majorité des universités, ils reposent sur la volonté de transmettre à l'ensemble des étudiants une expérience et des références culturelles essen
APA, Harvard, Vancouver, ISO, and other styles
45

A, Hamid Aida Hanim. "Between vision and action : the local implementation of the district transformation programme policy in Malaysia." Thesis, University of Bristol, 2017. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.738213.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Bsaïes, Khaled. "Construction de programmes logiques par synthèse de propriétés." Nancy 1, 1993. http://www.theses.fr/1993NAN10295.

Full text
Abstract:
Ce travail a pour propos la synthèse de propriétés de programmes logiques pour la transformation par pliage et dépliage. L'objectif général est l'amélioration de l'efficacité des programmes logiques par application des transformations. Le domaine de notre étude est celui des méthodes de développement formel de programmes. L'expérience et l'étude rigoureuse d'exemples montrent que les transformations par pliage et dépliage ne suffisent pas pour obtenir de manière systématique des programmes plus efficaces: il est utile de disposer et d'appliquer des propriétés qui sont des formules logiques par
APA, Harvard, Vancouver, ISO, and other styles
47

Martin, Eric. "Bilan du programme de medicalisation du systeme d'information (pmsi) en 1989 au chru de nancy." Nancy 1, 1990. http://www.theses.fr/1990NAN11286.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Duris, Etienne JOURDAN MARTIN. "CONTRIBUTION AUX RELATIONS ENTRE LES GRAMMAIRES ATTRIBUEES ET LA PROGRAMMATION FONCTIONNELLE." [S.l.] : [s.n.], 1998. ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0541.ps.gz.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Roads, Curtis. "Synthèse et transformation des microsons." Paris 8, 1999. http://www.theses.fr/1999PA082890.

Full text
Abstract:
En dessous du niveau de la note se tient le royaume du microson et des particules sonores. Les avancées technologiques récentes nous permettent d’explorer ce monde auparavant inconnu. Les techniques microsonores dissolvent les briques rigides de l’architecture musicale – les notes – et les transforment en un matériau plus souple et fluide. Cette thèse, dédiée à l’étude du microson, est le fruit d’une longue période d’activité en recherche expérimentale, programmation, et composition. Commence�� à partir de quelques fils directeurs, le texte est devenu par la suite un réseau d’informations inté
APA, Harvard, Vancouver, ISO, and other styles
50

Nikjoo, Soukhtabandani Ali. "Partial shape matching using CCP map and weighted graph transformation matching." Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30611/30611.pdf.

Full text
Abstract:
La détection de la similarité ou de la différence entre les images et leur mise en correspondance sont des problèmes fondamentaux dans le traitement de l'image. Pour résoudre ces problèmes, on utilise, dans la littérature, différents algorithmes d'appariement. Malgré leur nouveauté, ces algorithmes sont pour la plupart inefficaces et ne peuvent pas fonctionner correctement dans les situations d’images bruitées. Dans ce mémoire, nous résolvons la plupart des problèmes de ces méthodes en utilisant un algorithme fiable pour segmenter la carte des contours image, appelée carte des CCPs, et une nou
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Transformation de programme (Informatique)' for other source types:
Journal articles Books
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!

To the bibliography