• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 81
  • 31
  • 13
  • 1
  • Tagged with
  • 132
  • 132
  • 65
  • 45
  • 41
  • 37
  • 30
  • 27
  • 22
  • 18
  • 16
  • 15
  • 14
  • 13
  • 13
  • 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.
11

Etude de langages interprétables par une machine langage de haut niveau

Park, Seung Kyu. Schoellkopf, J.-P.. January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : génie informatique : Grenoble, INPG : 1982. / Titre provenant de l'écran-titre. Bibliogr.
12

MERING : un langage d'acteur pour la représentation et la manipulation des connaissances /

Ferber, Jacques. January 1984 (has links)
Th. doc.-ing.--Paris VI, 1983. / 1984 d'après la déclaration de dépôt légal. Bibliogr. p. 260-268.
13

Alternative Java Security Policy Model

Samson, Frédéric. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2004. / Titre de l'écran-titre (visionné le 29 novembre 2004). Bibliogr.
14

Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE /

Hsiao, Nai-Cheng. January 1995 (has links)
Th. univ.--Sci.--Paris 11-Orsay, 1994. / Bibliogr. p. 145-149. Résumé en anglais et en français.
15

Vers l'utilisation de DSL et de langages dynamiques en entreprise : une étude de cas avec Groovy

Guillemette, François-Xavier January 2009 (has links) (PDF)
Tout comme l'indique Whorf, nous analysons le monde à l'intérieur du cadre sémantique de notre langue maternelle. Il en va de même pour la résolution de problèmes à l'aide de langages de programmation. Les possibilités offertes par un langage et sa syntaxe façonnent notre conception du domaine du problème. Ainsi, si la langue forme notre pensée, les mots qui la composent ne sont parfois pas suffisants pour exprimer toute la richesse de nos idées. Par exemple, les spécialistes de domaines particuliers utilisent souvent un jargon. Pour s'en convaincre, il suffit d'écouter la conversation de deux professionnels d'un domaine qui nous est inconnu. Nous constatons qu'ils ne parlent pas tout à fait la même langue que nous. Ils s'échangent des idées et discutent de concepts en utilisant des mots et des expressions qui semblent étranges. Ainsi, les experts d'un même domaine développent leur propre jargon i.e. un langage spécifique à leur domaine d'affaire. Cette nouvelle langue leur permet de communiquer leur pensée de façon rapide et précise sans s'encombrer des détails et des lacunes de la langue « hôte ». Dans le présent travail, nous posons un regard sur les constructions linguistiques permettant la remise en valeur de la construction de langages spécifiques à un domaine d'affaire (DSL) : système de types dynamiques, métaprogrammation et éléments syntaxiques divers. Nous réalisons un survol des DSLs. Que sont-ils? Quand, comment et pourquoi les construisons-nous? Nous voyons aussi quelques patrons de conception de DSLs. Finalement, nous appliquons la théorie exposée à un problème réel. Nous montrons les avantages apportés par l'élaboration et l'utilisation de DSLs dans le cadre du développement de logiciels. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Langages dynamiques, DSL, Métaprogrammation, Groovy.
16

Un langage spécifique au domaine pour l'outil de correction de travaux de programmation Oto

Lessard, Paul January 2010 (has links) (PDF)
L'utilisation d'un outil d'aide à la correction peut contribuer à faciliter et à accélérer la correction de travaux pratiques de programmation. Au fil des ans, plusieurs logiciels ont été développés à cette fin, mais souffraient souvent d'un manque de flexibilité et étaient limités à un seul langage cible. Face à cette situation, l'outil Oto, développé à l'UQAM en langage Ruby, se voulait générique et extensible, pouvant théoriquement appliquer n'importe quel test à n'importe quel travail pratique. Toutefois, l'utilisation d'Oto en situation réelle a permis de constater que l'outil souffrait de certains défauts susceptibles de nuire à son utilisation à grande échelle, notamment en raison du manque de flexibilité de ses scripts de correction et de ses performances relativement faibles. Dans ce mémoire, nous présentons les modifications que nous avons apportées à Oto pour en améliorer la flexibilité et les performances. D'abord, nous avons analysé l'outil pour en comprendre le fonctionnement et en localiser les faiblesses, qui provenaient principalement de choix architecturaux de coordination des tâches de correction. Nous nous sommes ensuite attardés sur les caractéristiques et les capacités qui devraient être offertes par Oto. Notre solution est passée par le remplacement du mécanisme de scripts Oto par un langage spécifique au domaine de type interne (internal DSL) basé sur Ruby. Au meilleur de nos connaissances, nous sommes les premiers à avoir eu recours à une telle approche dans le cadre d'un outil d'aide à la correction. Les résultats que nous avons obtenus avec le DSL Oto sont venus confirmer une hausse considérable de la flexibilité et une amélioration des performances de l'outil, particulièrement pour les scripts de correction ayant recours à un nombre élevé de courts tests et aux corrections intra-groupes. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Programmation, Correction automatisée, Outils d'aide à la correction, Oto, Ruby, Langages spécifiques au domaine, DSL.
17

Les @types en Prolog un système d'inférence de type et ses applications /

Azzoune, Hamid. Mossière, Jacques. Trilling, Laurent. Briat, Jacques. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 161-177.
18

Génération de code réparti par distribution de données

Pazat, Jean-Louis January 1997 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1997. / Bibliogr. p.91-97.
19

Lambda-Prolog de A à Z... ou presque

Ridoux, Olivier January 1998 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1998. / Bibliogr. p.143-158.
20

Outil de mise au point et de surveillance d'applications, activable sous un système transactionnel

Coche, Jacques. Bolliet, Louis. January 2008 (has links)
Reproduction de : Mémoire d'ingénieur : informatique : Grenoble, CNAM : 1979. / Titre provenant de l'écran-titre. Bibliogr.

Page generated in 0.1192 seconds