• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1042
  • 422
  • 101
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 1592
  • 580
  • 510
  • 483
  • 288
  • 255
  • 242
  • 216
  • 204
  • 203
  • 202
  • 191
  • 185
  • 181
  • 168
  • 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.
81

Validation sémantique dans les théories structurées application à un langage de programmation générique /

Drabik, Pascal. Bert, Didier. Mossière, Jacques. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 177-185.
82

Contribution à la conception de produit à forte diversité et de leur chaîne logistique une approche par contraintes /

Hadj Hamou, Khaled. Aldanondo, Michel. January 2006 (has links)
Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2002. / Titre provenant de l'écran-titre. Bibliogr. 115 réf.
83

Pilotage des cycles limites dans les systèmes dynamiques hybrides application aux alimentations électriques statiques /

Patino, Diego Iung, Claude Riedinger, Pierre January 2009 (has links) (PDF)
Thèse de doctorat : Automatique et Traitement du Signal : INPL : 2009. / Titre provenant de l'écran-titre.
84

Un modèle de programmation intégrant classes, événements et aspects

Núñez, Angel 29 June 2011 (has links) (PDF)
Le paradigme de la programmation par objets (PPO) est devenu le paradigme de programmation le plus utilisé. La programmation événementielle (PE) et la programmation par aspects (PPA) complètent la PPO en comblant certaines de ses lacunes lors de la construction de logiciels complexes. Les applications actuelles combinent ainsi les trois paradigmes. Toutefois, la POO, la PE et la POA ne sont pas encore bien intégrées. Leurs concepts sous-jacents sont en général fournis sous la forme de constructions syntaxiques spécifiques malgré leurs points communs. Ce manque d'intégration et d'orthogonalité complique les logiciels car il réduit leur compréhensibilité et leur composabilité, et augmente le code d'infrastructure. Cette thèse propose une intégration de la PPO, de la PE et de la PPA conduisant à un modèle de programmation simple et régulier. Ce modèle intègre les notions de classe et d'aspect, les notions d'événement et de point de jonction, et les notions d'action, de méthode et de gestionnaire d'événements. Il réduit le nombre de constructions tout en gardant l'expressivité initiale et en offrant même des options de programmation supplémentaires. Nous avons conçu et mis en œuvre deux langages de programmation basés sur ce modèle : EJava et ECaesarJ. EJava est une extension de Java implémentant le modèle. Nous avons validé l'expressivité de ce langage par la mise en œuvre d'un éditeur graphique bien connu, JHotDraw, en réduisant le code d'infrastructure nécessaire et en améliorant sa conception. ECaesarJ est une extension de CaesarJ qui combine notre modèle avec de la composition de mixins et un support linguistique des machines à états. Cette combinaison a grandement facilité la mise en œuvre d'une application de maison intelligente, une étude de cas d'origine industrielle dans le domaine de la domotique.
85

Conversion de programmes de l'impératif au déclaratif

Godbout, Daniel, January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 18 sept. 2007). Bibliogr.
86

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.
87

Puissance d'expression et consistance sémantique des bases de données actives /

Picouet, Philippe. January 1996 (has links)
Th. doct.--Informatique et réseaux--Paris--ENST, 1995. / Bibliogr. p. 157-163.
88

Combinatory programming

Petznick, George William, January 1970 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1970. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
89

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.
90

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.

Page generated in 0.1176 seconds