• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 311
  • 86
  • 18
  • 4
  • 2
  • 1
  • Tagged with
  • 442
  • 120
  • 112
  • 104
  • 86
  • 71
  • 69
  • 58
  • 57
  • 52
  • 45
  • 45
  • 38
  • 38
  • 37
  • 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.
1

Das Entwerfen von Computer-Programmen : eine psychologische Untersuchung zu seelischen Produktionsprozessen beim Entwerfen von Computer-Programmen /

Buchhalter-Thomas, Edith. January 1996 (has links)
Texte remanié de: Doct. Diss.--Köln--Univ. Köln, 1996. / Bibliogr. p. 147-151.
2

Adaptation dynamique de programmes et composants parallèles

Buisson, Jérémy Pazat, Jean-Louis January 2006 (has links) (PDF)
Thèse doctorat : Discipline Informatique : Rennes, INSA : 2006. / Bibliogr.p.123-132 (113 réf.). Index.
3

VENUS un outil d'aide à la vérification des systèmes communicants /

Soriano Montes, Amelia Voiron, Jacques. Sifakis, Joseph. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1987. / Titre provenant de l'écran-titre. Bibliogr. p. 131-135.
4

Analyse statistique d'un calcul d'acteurs par interprétation abstraite Statistic analysis of an actor-based process calculus by abstract interpretation /

Garoche, Pierre-Loïc Sallé, Patrick. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2008. / Texte en anglais, résumé étendu en français. Titre provenant de l'écran-titre. Bibliogr. 107 réf.
5

Algèbres de Kleene pour l'analyse statique des programmes : un nouveau cadre

Fernandes, Therrezinha. January 1900 (has links) (PDF)
Thèse (Ph. D.)--Université Laval, 2008. / Titre de l'écran-titre (visionné le 2 sept. 2008). Bibliogr.
6

Vérification des systèmes à pile au moyen des algèbres de Kleene

Mathieu, Vincent. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 28 mars 2007). Bibliogr.
7

Qualité de la conception de tests logiciels plate-forme de conception et processus de test /

Awedikian, Roy Yannou, Bernard. January 2009 (has links)
Thèse de doctorat : génie industriel : Ecole centrale de Paris : 2009. / Titre provenant de l'écran-titre.
8

Langage et méthode pour une ingénierie des modèles fiable

Fleurey, Franck Le Traon, Yves January 2006 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2006. / Bibliogr. p. 201-210.
9

Solutions manufacturées en grandes déformations hyper-élastiques

Chamberland, Éric. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2009. / Titre de l'écran-titre (visionné le 16 juin 2009). Bibliogr.
10

Une démarche orientée modèle pour le déploiement de systèmes en environnements ouverts distribués / A model-based approach for deployment of software systems in open distributed environments

Dubus, Jérémy 10 October 2008 (has links)
Le déploiement est l'étape du cycle de vie des logiciels la moins standardisée et outillée à ce jour. Nous identifions quatre défis à relever pour déployer des systèmes logiciels distribués et hétérogènes. Le premier est de créer un langage générique de déploiement de logiciels. Le deuxième consiste en la vérification statique de déploiements logiciels décrits dans ce langage pour assurer un déroulement correct avant d'en exécuter. Le troisième est de réaliser une plate-forme capable d'interpréter ce langage et d'effectuer le déploiement de n'importe quel système logiciel réparti. Le quatrième est d'appliquer ces déploiements de systèmes dans les environnements ouverts distribués, c'est-à-dire les réseaux fluctuants comme les réseaux ubiquitaires. Nous définissons une démarche de déploiement de systèmes distribués centrée sur quatre rôles pour relever ces défis. L'approche DeployWare, conforme à l'ingénierie des modèles, permet de décrire le déploiement de la couche intergicielle du système et d'exécuter automatiquement le déploiement de cette couche. L'utilisation d'un langage de méta-modélisation permet d'écrire des programmes de vérification statique des modèles. L'approche DACAR propose un méta-modèle d'architecture générique pour exprimer et exécuter le déploiement d'une application métier à base de composants. Cette double approche DeployWare/DACAR permet de prendre en compte les propriétés des environnements ouverts distribués selon une approche conforme à l'informatique auto-gérée. Notre contribution est validée par plusieurs expériences pour le domaine des environnements ouverts ubiquitaires, et pour celui des services d'entreprise. / Deployment is one of the most difficult software lifecycle step, and the less standardized. We identify four challenges to solve to handle software systems deployment. The first is about to initiate consensus for standard generic software deployment language. The second consists in static verification of software deployment processes described using this language. These verifications are supposed to ensure the coherency of the described deployment process. The third is about implementing platform able to interpret this language and perform deployment of any software system. The fourth is to transpose these deployment processes into open distributed environements which are fluctuating, such as ubiquitous environments. Then we define a distributed systems deployment process divided in four roles to handle these challenges. The DeployWare approach allows to describe deployment of the middleware layer of a system and to automatically execute the described deployment, in conformance with the model driven engineering. Using a metamodeling language allows to implement static verification programs of the deployment models. The DACAR approach proposes a generic architecture model to express and execute the deployment of a component-based application. The DeployWare and DACAR approaches allows to take into account during the deployment description, the open distributed environments properties, in conformance with the autonomic computing approach. Our contribution is validated through many experiences in ubiquitous environments and in enterprise services world.

Page generated in 0.0336 seconds