Mohlo by se vám také líbit

Více informací o knize Une approche formelle pour les applications web 2+

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 147 bodů

Anotace knihy

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

Parametry knihy

Zařazení knihy Knihy ve francouzštině LITTÉRATURE GÉNÉRALE Essais littéraires

• Plný název: Une approche formelle pour les applications web 2+
• Podnázev: Web 2+ : Etat de l'art Etude comparative Approche proposée Etude de cas
• Autor: Mohammed Charaf Eddine Meftah
• Jazyk: Francouzština
• Vazba: Brožovaná
• Počet stran: 148
• EAN: 9783639758061
• ISBN: 3639758064
• ID: 14264092
• Nakladatelství: Editions universitaires europeennes EUE
• Hmotnost: 237 g
• Rozměry: 220 × 150 × 9 mm
• Datum vydání: 10. September 2016

Oblíbené z jiného soudku

---

---

---