Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects

Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects

Mes travaux de recherche portent sur les modèles de programmation distribuée, principalement par objets et composants. Dans ce domaine, j'ai travaillé à fournir des outils facilitant la programmation d'applications distribuées à large échelle et vérifiant la correction de leur comportement...

Full description

Bibliographic Details
Main Author:	Henrio, Ludovic
Language:	ENG
Published:	Université de Nice Sophia-Antipolis 2012
Subjects:	[INFO:INFO_PL] Computer Science/Programming Languages langages de programmations objets actifs futurs méthodes formelles composants systèmes distribués middlewares
Online Access:	http://tel.archives-ouvertes.fr/tel-00720022 http://tel.archives-ouvertes.fr/docs/00/72/00/22/PDF/HDR-17-7-2012.pdf

Similar Items

Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'ingénierie dirigée par les modèles
by: Fernandes Pires, A.
Published: (2014)

Analyses et vérification des programmes à aspects
by: Djoko Djoko, Simplice
Published: (2009)

De nouveaux outils pour calculer avec des inductifs en Coq
by: Boutillier, Pierre
Published: (2014)

Application-Level Virtual Memory for Object-Oriented Systems
by: Martinez Peck, Mariano
Published: (2012)

Coercions effaçables : une approche unifiée des systèmes de types
by: Cretin, Julien
Published: (2014)

Un modèle de programmation intégrant classes, événements et aspects
by: Núñez, Angel
Published: (2011)

Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée
by: Ramananandro, Tahina
Published: (2012)

Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
by: Boespflug, Mathieu
Published: (2011)

POLYMORPHISME PARAMTRIQUE POUR LE TRAITEMENT DE DOCUMENTS XML
by: Xu, Zhiwu
Published: (2013)

Programmation Web Typée
by: Canou, Benjamin
Published: (2011)

Type Systems for Distributed Programs: Components and Sessions
by: Dardha, Ornela
Published: (2014)

Le Débogage à Distance et la Réflexion dans les Dispositifs à Ressources Limitées
by: Papoulias, Nikolaos
Published: (2013)

Construction flexible des boucles de contrôles autonomes pour les applications à large échelle
by: Nzekwa, Russel
Published: (2013)

Typage, compilation, et cryptographie pour la programmation repartie securisée
by: Planul, Jeremy
Published: (2012)

Vers des références de première classe comme infrastructure de sécurité dans les langages dynamiquement typés
by: Arnaud, Jean-Baptiste
Published: (2013)

Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)
by: Diaz, Daniel
Published: (1995)

Syntaxe et modèles d'une composition non-associative des programmes et des preuves
by: Munch-Maccagnoni, Guillaume
Published: (2013)

A VPA-based Aspect Language
by: Nguyen, Dong Ha
Published: (2011)

Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs
by: Pouillard, Nicolas
Published: (2012)

Un interpréteur extensible pour le prototypage des langages d'aspects
by: Assaf, Ali
Published: (2011)

Supporting Integration Activities in Object-Oriented Applications
by: Uquillas-Gomez, Verónica
Published: (2012)

Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
by: Mercadal, Julien
Published: (2011)

Towards a safe and secure synchronous language
by: Attar, Pejman
Published: (2013)

De l'optimisation des programmes
by: Exel, Matija
Published: (1975)

ArCo : une Architecture informatique pour un Compagnon Artificiel en interaction avec un utilisateur
by: Jost, Céline
Published: (2013)

Un environnement pour la programmation avec types dépendants
by: Matthieu, Sozeau
Published: (2008)

Répartition modulaire de programmes synchrones
by: Delaval, Gwenaël
Published: (2008)

Conception, développement et évaluation d'un langage de programmation adapté aux applications industrielles : llC.
by: Delchini, Hugo
Published: (1995)

Calcul d'objet asynchrone : confluence et déterminisme
by: Henrio, Ludovic
Published: (2003)

Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif
by: Kerneis, Gabriel
Published: (2012)

Vers une méthodologie dédiée à l'orchestration d'entités communicantes
by: Drey, Zoé
Published: (2010)

Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions
by: Saha, Suman
Published: (2013)

A Quest for Exactness: Program Transformation for Reliable Real Numbers
by: Neron, Pierre
Published: (2013)

Développement de systèmes distribués efficaces: une approche fondée sur les langages métiers
by: Réveillère, Laurent
Published: (2011)

Réalisation d'un interprète complet du langage APL sur un mini ordinateur
by: Girardot, Jean-Jacques, et al.
Published: (1976)

Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
by: Truong, Ninh Thuan
Published: (2006)

Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq.
by: Soubiran, Elie
Published: (2010)

Etude de la programmation logico-fonctionnelle concurrente
by: Serwe, Wendelin
Published: (2002)

Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts
by: Montagu, Benoît
Published: (2010)

Conception basée modèle des systèmes temps réel et distribués
by: De Saqui-Sannes, Pierre
Published: (2005)