Une approche formelle pour les applications web 2+

Univ Europeenne - EAN : 9783639758061

Mohammed Charaf Eddine Meftah

Skip to the end of the images gallery

Skip to the beginning of the images gallery

Édition papier

EAN : 9783639758061

Paru le : 1 nov. 2018

55,90 € 52,99 €

Disponible

Pour connaître votre prix et commander, identifiez-vous

Notre engagement qualité

Livraison gratuite
en France sans minimum
de commande
Manquants maintenus
en commande
automatiquement
Un interlocuteur
unique pour toutes
vos commandes
Toutes les licences
numériques du marché
au tarif éditeur
Assistance téléphonique
personalisée sur le
numérique
Service client
Du Lundi au vendredi
de 9h à 18h

Détails

EAN13 : 9783639758061
Réf. fournisseur : 2725225
Editeur : Univ Europeenne
Date Parution : 1 nov. 2018
Disponibilite : Disponible
Barème de remise : NS
Nombre de pages : 148
Format : H:220 mm L:150 mm E:9 mm
Poids : 228gr
Interdit de retour : Retour interdit

Résumé

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
Biographie : 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.