Une approche formelle pour les applications web 2+ kitap kapağı
Kitap başlığı:

Une approche formelle pour les applications web 2+

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

Editions universitaires europeennes (2016-08-17 )

Books loader

Omni badge kupun için uygun
ISBN-13:

978-3-639-75806-1

ISBN-10:
3639758064
EAN:
9783639758061
Kitabın dili:
Fransızca
Özet:
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
Yayınevi:
Editions universitaires europeennes
Websitesi:
http://www.editions-ue.com/
Yazar:
Mohammed Charaf Eddine Meftah
Sayfa sayısı:
148
Yayın tarihi:
2016-08-17
Hisse:
Mevcut
Kategori:
Bilişim
Fiyat:
55.90 €
Anahtar kelimeler:
java, Méthode B, Methode B, Service Web, web 2, CTT, Approche formelle, BPEL4SW

Books loader

Bültenler

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Banka Havalesi

  Alışveriş sepetinde 0 ürün var
Sepeti yenile
Loading frontend
LOADING