Log in

Relevant bibliographies by topics / Spécifications de Thue

Contents

Journal articles
Dissertations / Theses
Conference papers

Academic literature on the topic 'Spécifications de Thue'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Spécifications de Thue.'

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.

Journal articles on the topic "Spécifications de Thue"

1

LE MOAL, M. "Qualifier la qualité des données localisées numériques des réseaux d’eau et d’assainissement." Techniques Sciences Méthodes 11 (November 20, 2019): 51–64. http://dx.doi.org/10.36904/tsm/201911051.

Full text

Abstract:

Les systèmes d’information géographique (SIG) sont devenus incontournables dans la gestion des réseaux d’eau et d’assainissement et leur efficacité repose en très grande partie sur la qualité des données exploitées. Parallèlement, les évolutions réglementaires et les pratiques des utilisateurs augmentant notamment les échanges d’informations renforcent le rôle central des données et de leur qualité. Si la plupart des solutions SIG du marché disposent de fonctions dédiées à la qualification de la qualité des données, elles procèdent de la traduction préalable de spécifications des données en rè

APA, Harvard, Vancouver, ISO, and other styles

2

Kouamou, Georges-Edouard. "Cohérence de vues dans la spécification des Architectures Logicielles." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 14 - 2011 - Special... (August 2, 2011). http://dx.doi.org/10.46298/arima.1951.

Full text

Abstract:

International audience Cet article s’intéresse à la spécification des architectures logicielles. Il présente une symbiose entre l’approche conceptuelle basée sur les profils UML et la vision opérationnelle prônée par ArchJava. Actuellement, chaque langage de description se situe à une extrémité du processus, engendrant ainsi un découplage entre la spécification des Architectures Logicielles et leur implémentation et un risque d’incohérence. Nous décrivons une démarche basée sur un profil UML pour la description structurale des architectures logicielles et des règles de transformation pour géné

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Spécifications de Thue"

1

Payet, Etienne. "Produit Synchronisé pour Quelques Classes de Graphes Infinis." Phd thesis, Université de la Réunion, 2000. http://tel.archives-ouvertes.fr/tel-00468099.

Full text

Abstract:

Cette thèse a pour cadre la spécification et la vérification de systèmes informatiques distribués, concurrents ou réactifs au moyen de graphes infinis associés à des spécifications de Thue et à certaines machines. Nous montrons que la classe des graphes des spécifications de Thue est fermée par produit synchronisé. Nous établissons aussi ce fait pour la classe des graphes des machines de Turing et pour certaines de ses sous-classes. Nous nous intéressons également à la conservation par produit synchronisé de la décidabilité de la théorie du premier ordre de graphes infinis. Nous montrons que l

APA, Harvard, Vancouver, ISO, and other styles

2

Rondeau, Vincent. "Rôle de la désensibilisation de CXCR4 dans la spécification lympho-myéloïde des progéniteurs hématopoïétiques multipotents. Lymphoid differentiation of hematopoietic stem cells requires efficient Cxcr4 desensitization New method to obtain lymphoid progenitors CXCR4-driven mitochondrial metabolic pathways shape the lympho-myeloid fate of hematopoietic multipotent progenitors." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASQ022.

Full text

Abstract:

Les cellules souches et progéniteurs hématopoïétiques (CSPHs), incluant les progéniteurs multipotents (MPPs), sont responsables de la production des cellules immunes circulantes. Ils résident dans la moelle osseuse (MO) au sein de structures spécialisées, les niches endostéale et (péri)-vasculaire, qui régulent la spécification et l'engagement lymphoïde versus myéloïde des CSPHs. Dans la MO, le couple formé par la chimiokine CXCL12 et l’un de ses récepteurs, CXCR4, exerce un rôle clé dans la régulation de la rétention et la quiescence des CSPHs. Ces processus sont dérégulés dans le Syndrome WH

APA, Harvard, Vancouver, ISO, and other styles

3

Basnyat, Sandra. "A generic integrated modelling framework for the analysis, design and validation of interactive safety-critical, error tolerant systems." Toulouse 3, 2006. http://www.theses.fr/2006TOU30246.

Full text

Abstract:

Ce travail porte sur une approche multi perspectives pour la conception des systèmes interactifs critiques appelée « Generic Integrated Modelling Framework ». Le but est de proposer des techniques, méthode et outils pour une conception basée sur des modèles prenant en compte les comportements erronés du système et des utilisateurs. Notre recherche se concentre sur la modélisation des tâches et du système qui, comme d'autres modèles, sont souvent développés pour des cas d'utilisation normale, sans prendre en compte ni les erreurs humaines ni les comportements erronés du système. Ces modèles son

APA, Harvard, Vancouver, ISO, and other styles

4

Jarikji, Zeina. "Role of Ptf1a in the development of endocrine and exocrine pancreas of Xenopus laevis embryos." Thèse, 2006. http://hdl.handle.net/1866/15607.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Sabas, Arsène. "A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems." Thèse, 2012. http://hdl.handle.net/1866/9041.

Full text

Abstract:

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limit

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Spécifications de Thue"

1

Kolski, Christophe, Mouldi Sagar, and Pierre Loslever. "Spécification d'IHM dans les systèmes critiques." In the 16th conference. ACM Press, 2004. http://dx.doi.org/10.1145/1148613.1148635.

Full text

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!