Une approche formelle de l'interopérabilité pour une famille de DSL: Interopérabilité de DSL (Omn.Univ.Europ.) - Image 1

£51.00

It has never been this cheap. We have no record of a lower price.

£51 today · cheaper than every other day in the last 3 months

OmniScriptum Une approche formelle de l'interopérabilité pour une famille de DSL: Interopérabilité de DSL (Omn.Univ.Europ.)

Name: Une approche formelle de l'interoperabilite pour une famille de DSL: Interoperabilite de DSL (Omn.Univ.Europ.)
Brand: OmniScriptum
Price: 51.0 GBP
Availability: InStock

Computing & Internet

Price Distribution

Price distribution over 64 days • 1 price levels

Days at Price

Price Analysis

Most common price: £51 (64 days, 100.0%)

Price range: £51 - £51

Price levels: 1 different prices over 64 days

Description

Dans ce Livre, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l’interopérabilité d’une famille de langages dédiés (DSL) issus d’un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur des spécifications algébriques, un langage qui unifie les concepts de la famille. L’approche se caractérise notamment par la capacité à traduire automatiquement le code d’un DSL vers le langage unificateur. Un autre bénéfice réside dans la preuve qu’une propriété sur un langage de la famille se décline, par construction, vers l’environnement unifié. La mise en œuvre de la démarche a été outillée ; elle s’appuie principalement sur le logiciel Specware de Kestrel et l’assistant de preuve Isabelle.

Product Specifications

Brand: OmniScriptum
Format: paperback
ASIN: 6131570213
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 26 October 2011
Listed Since: 01 November 2011

Barcode

No barcode data available

It has never been this cheap. We have no record of a lower price.

OmniScriptum Une approche formelle de l'interopérabilité pour une famille de DSL: Interopérabilité de DSL (Omn.Univ.Europ.)

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Dires sur l'Interdisciplinarité: La référence à l'interdisciplinarité dans le discours de chercheurs en sciences "exactes" (Omn.Univ.Europ.)

L'Adoption des Systèmes d'Information Inter-Organisationnels: Le cas de l'EDI dans les PME Tunisiennes (Omn.Univ.Europ.)

METHODES ET OUTILS DE LOGICIELS EN CONTEXTE MULTILINGUE: METHODES ET OUTILS POUR UTILISATEURS, DEVELOPPEURS ET TRADUCTEURS DE LOGICIELS EN CONTEXTE MULTILINGUE (Omn.Univ.Europ.)

Réseaux et TIC dans la diaspora sénégalaise en France: Usages et impacts des TIC (Omn.Univ.Europ.)

Les systèmes d'information pour la coopération étendue: Une méthode de conception pour la gestion des connaissances (Omn.Univ.Europ.)

Lecture communicationnelle de deux dispositifs d'apprentissage: Le cas de la Licence en Sciences de l'information et de la communication (Omn.Univ.Europ.)

LA DYNAMIQUE DES FRONTIERES EN HAUTE-SILESIE: La Haute-Silésie, un laboratoire vivant des frontières (Omn.Univ.Europ.)

L'implication des professionnels des technologies de l'information: Elaboration d'un modèle théorique et étude empirique de l'implication professionnelle et organisatio (Omn.Univ.Europ.)

Concevoir un système à Flexibilité Souhaitée: Cadre conceptuel et méthodologique (Omn.Univ.Europ.)

Optimisation du paramétrage automatique des réseaux mobiles UMTS: Méthodes d'optimisation de contrôleurs de logique floue (Omn.Univ.Europ.)

ÉTUDE D'AMPLIFICATEURS OPTIQUES À SEMI-CONDUCTEUR MULTIÉLECTRODES: EN VUE DE LEUR APPLICATION DANS LES SYSTÈMES DE TÉLÉCOMMUNICATIONS OPTIQUES (Omn.Univ.Europ.)

Etude de commandes non linéaires pour réseaux électriques: Application à un système SMIB (Omn.Pres.Franc.)

Observer, Modéliser, Construire et Agir comme un Système Autonome: Une Méthodologie pour l'Apprentissage dans les Organisations (Omn.Univ.Europ.)

Les Logiciels Libres dans les administrations centrales marocaines: État des lieux et conception d'un portail d'information sur ces technologies (Omn.Univ.Europ.)

L’industrialisation des Connaissances dans les Sciences du Vivant: Le rôle de la technique (Omn.Pres.Franc.)

Accès aux marchés, système commercial Multilatéral et Développement: L'accès aux marchés, le système Commercial Multilatéral et les pays en Développement (Omn.Univ.Europ.)

CONTRIBUTION DE L'APPRENTISSAGE SUR LES PROJETS SYSTÈMES D'INFORMATION: UNE ETUDE DE CAS (Omn.Univ.Europ.)

L'Internationalisation des Entreprises Brésiliennes de Software: Le Phénomène "Born-globals" dans un Pays Emergent (Omn.Univ.Europ.)

LIS Education in Developing Countries: The Road Ahead: 165 (IFLA Publications, 165)

Visages des œuvres littéraires: L'écrivain et son imaginaire (Omn.Univ.Europ.)

Adaptation Contextuelle des Systèmes d'Information Coopératifs: Personnalisation de l'Information de Conscience de Groupe au sein des Systèmes d'Information Coopératifs sur le Web (Omn.Univ.Europ.)

Dialogisme Et Lecture: Polyphonie et sens dans le discours romanesque (Omn.Univ.Europ.)

Etude politico- sociologique d'une nouvelle institution en Iran: « Le Centre du Dialogue des Civilisations » 1999- 2006 (Omn.Univ.Europ.)

Gestion de mobilité dans une architecture d'accès multi-technologies: Une approche innovante, simple, dynamique, et distribuée, pour la gestion de la ... réseaux de communication (Omn.Univ.Europ.)

It has never been this cheap. We have no record of a lower price.

OmniScriptum Une approche formelle de l'interopérabilité pour une famille de DSL: Interopérabilité de DSL (Omn.Univ.Europ.)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Dires sur l'Interdisciplinarité: La référence à l'interdisciplinarité dans le discours de chercheurs en sciences "exactes" (Omn.Univ.Europ.)

L'Adoption des Systèmes d'Information Inter-Organisationnels: Le cas de l'EDI dans les PME Tunisiennes (Omn.Univ.Europ.)

METHODES ET OUTILS DE LOGICIELS EN CONTEXTE MULTILINGUE: METHODES ET OUTILS POUR UTILISATEURS, DEVELOPPEURS ET TRADUCTEURS DE LOGICIELS EN CONTEXTE MULTILINGUE (Omn.Univ.Europ.)

Réseaux et TIC dans la diaspora sénégalaise en France: Usages et impacts des TIC (Omn.Univ.Europ.)

Les systèmes d'information pour la coopération étendue: Une méthode de conception pour la gestion des connaissances (Omn.Univ.Europ.)

Lecture communicationnelle de deux dispositifs d'apprentissage: Le cas de la Licence en Sciences de l'information et de la communication (Omn.Univ.Europ.)

LA DYNAMIQUE DES FRONTIERES EN HAUTE-SILESIE: La Haute-Silésie, un laboratoire vivant des frontières (Omn.Univ.Europ.)

L'implication des professionnels des technologies de l'information: Elaboration d'un modèle théorique et étude empirique de l'implication professionnelle et organisatio (Omn.Univ.Europ.)

Concevoir un système à Flexibilité Souhaitée: Cadre conceptuel et méthodologique (Omn.Univ.Europ.)

Optimisation du paramétrage automatique des réseaux mobiles UMTS: Méthodes d'optimisation de contrôleurs de logique floue (Omn.Univ.Europ.)

ÉTUDE D'AMPLIFICATEURS OPTIQUES À SEMI-CONDUCTEUR MULTIÉLECTRODES: EN VUE DE LEUR APPLICATION DANS LES SYSTÈMES DE TÉLÉCOMMUNICATIONS OPTIQUES (Omn.Univ.Europ.)

Etude de commandes non linéaires pour réseaux électriques: Application à un système SMIB (Omn.Pres.Franc.)

Observer, Modéliser, Construire et Agir comme un Système Autonome: Une Méthodologie pour l'Apprentissage dans les Organisations (Omn.Univ.Europ.)

Les Logiciels Libres dans les administrations centrales marocaines: État des lieux et conception d'un portail d'information sur ces technologies (Omn.Univ.Europ.)

L’industrialisation des Connaissances dans les Sciences du Vivant: Le rôle de la technique (Omn.Pres.Franc.)

Accès aux marchés, système commercial Multilatéral et Développement: L'accès aux marchés, le système Commercial Multilatéral et les pays en Développement (Omn.Univ.Europ.)

CONTRIBUTION DE L'APPRENTISSAGE SUR LES PROJETS SYSTÈMES D'INFORMATION: UNE ETUDE DE CAS (Omn.Univ.Europ.)

L'Internationalisation des Entreprises Brésiliennes de Software: Le Phénomène "Born-globals" dans un Pays Emergent (Omn.Univ.Europ.)

LIS Education in Developing Countries: The Road Ahead: 165 (IFLA Publications, 165)

Visages des œuvres littéraires: L'écrivain et son imaginaire (Omn.Univ.Europ.)

Adaptation Contextuelle des Systèmes d'Information Coopératifs: Personnalisation de l'Information de Conscience de Groupe au sein des Systèmes d'Information Coopératifs sur le Web (Omn.Univ.Europ.)

Dialogisme Et Lecture: Polyphonie et sens dans le discours romanesque (Omn.Univ.Europ.)

Etude politico- sociologique d'une nouvelle institution en Iran: « Le Centre du Dialogue des Civilisations » 1999- 2006 (Omn.Univ.Europ.)

Gestion de mobilité dans une architecture d'accès multi-technologies: Une approche innovante, simple, dynamique, et distribuée, pour la gestion de la ... réseaux de communication (Omn.Univ.Europ.)