Une approche formelle pour les applications web 2+ / Libristo.pl
Une approche formelle pour les applications web 2+

Kod: 14264092

Une approche formelle pour les applications web 2+

Autor Mohammed Charaf Eddine Meftah

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 li ... więcej

231.10

Zwykle: 243.18 zł

Oszczędzasz 12.08 zł


Dostępna u dostawcy
Wysyłamy za 8 - 10 dni
Dodaj do schowka

Zobacz książki o podobnej tematyce

Podaruj tę książkę jeszcze dziś
  1. Zamów książkę i wybierz "Wyślij jako prezent".
  2. Natychmiast wyślemy Ci bon podarunkowy, który możesz przekazać adresatowi prezentu.
  3. Książka zostanie wysłana do adresata, a Ty o nic nie musisz się martwić.

Dowiedz się więcej

Więcej informacji o Une approche formelle pour les applications web 2+

Za ten zakup dostaniesz 136 punkty

Opis

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

Szczegóły książki

Kategoria Książki po francusku LITTÉRATURE GÉNÉRALE Essais littéraires

231.10

Ulubione w innej kategorii


250 000
zadowolonych klientów

Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.


Paczkomat 12,99 ZŁ 31975 punktów

Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies


Konto: Logowanie
Wszystkie książki świata w jednym miejscu. I co więcej w super cenach.

Koszyk ( pusty )

Kup za 299 zł i
zyskaj darmową dostawę.

Twoja lokalizacja: