Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Une approche formelle pour les applications web 2+

Librairie Eyrolles - Paris 5e
Indisponible

Une approche formelle pour les applications web 2+

Une approche formelle pour les applications web 2+

Web 2+ : etat de l'art etude comparative approche propoee etude de cas

Collection Omn.univ.europ.

Parution le 01/11/2018

Résumé

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

Caractéristiques techniques du livre "Une approche formelle pour les applications web 2+"

  PAPIER
Éditeur(s) Editions universitaires européennes
Collection Omn.univ.europ.
Parution 01/11/2018
Couverture Broché
Poids 228g
EAN13 9783639758061

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ d'un million de livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925