Une approche formelle pour les applications web 2+

Name: Une approche formelle pour les applications web 2+
Brand: Editions universitaires europeennes EUE
SKU: 9783639758061
Price: 19273 HUF
Availability: InStock

Web 2+ : Etat de l'art Etude comparative Approche proposée Etude de cas

Szerző: Mohammed Charaf Eddine Meftah

Nyelv:

Kötés: Puha kötésű

Kiadó: Editions universitaires europeennes EUE

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 273 Ft

Ce travail propose une approche formelle pour le développement des applications Web 2(+) sűres.En an...

Információk a könyvről

Szerző

Mohammed Charaf Eddine Meftah

Nyelv

Francia

Kötés

Könyv - Puha kötésű

Kiadva

2016

oldal

148

EAN

9783639758061

ISBN

3639758064

Enbook ID

14264092

Kiadó

Editions universitaires europeennes EUE

Súly

237

Méretek

150 x 220 x 9

Teljes leírás

Ce travail propose une approche formelle pour le développement des applications Web 2(+) sűres.En analysant les travaux de recherche existants sur la formalisation de développement des applications web, nous détectons certaines limites. Afin de répondre aux ces limitations , nous proposons une approche complčte qui propose une formalisation de processus de développement des applications web 2(+) tenant compte les deux côtés architectural et technique. Cette approche consiste en la génération d'une implémentation de l'application ŕ partir des spécifications formelles. On décrit préalablement l'application ŕ l'aide des notations (CTT), puis un processus automatique est appliqué afin de les traduire en spécifications formelles B. En utilisant le processus de raffinement B, un ensemble de rčgles de raffinement, opérant sur les opérations, est appliqué sur les spécifications ainsi obtenues. Ces rčgles considčrent l'aspect dynamique de l'application Web ; ces phases de raffinement ont pour but de rendre les spécifications finales proches des langages d'implémentations cibles choisi (WS-BPEL, JAVA), de telle sorte que la derničre phase de codage devienne intuitive

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Une approche formelle pour les applications web 2+

Web 2+ : Etat de l'art Etude comparative Approche proposée Etude de cas

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták