Une approche formelle pour les applications web 2+
search
  • Une approche formelle pour les applications web 2+
  • Une approche formelle pour les applications web 2+

Une approche formelle pour les applications web 2+


55,90 €
53,10 € Économisez 5%

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

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

Format : Papier

Livraison dans le monde entier.
Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.
Pour les produits numériques, frais d'envoi offerts et accès immédiat.

Quantité
Disponible

Meftah Mohamed Charaf Eddine a obtenu son doctorat en informatique de l'Université de Biskra en 2016.

Actuellement est un Maître de conférence au département de l'informatique à l'université d'EL-Oued .

Son intérêt de recherche comprend : le Génie logiciel, les Services Web, les Approches Formelles et les Systèmes Multi-Agents.


Fiche technique

Auteur
MOHAMMED CHARAF EDDINE MEFTAH
Langue
Français
Éditeur
Éditions universitaires européennes
Année
2016
Pays
Algérie Algérie

Autres oeuvres de MOHAMMED CHARAF EDDINE MEFTAH

Une approche formelle pour la composition des services web

Une approche formelle pour...

MOHAMMED CHARAF EDDINE MEFTAH
35.90 € 5% 34.10 €
Une approche basée agent pour la modélisation des collecticiels

Une approche basée agent...

MOHAMMED CHARAF EDDINE MEFTAH
49.90 € 5% 47.40 €

30 autres produits dans la même catégorie :

Voir tout

Voir tout