Alain Ozanne est ingénieur et docteur en informatique. Après être passé par l'industrie et la recherche, il travaille actuellement à l'Agence Nationale pour la Sécurité des Systèmes d'Information.
Fiabilité des assemblages de composants logiciels. Interact : un modèle général de contrat logiciel
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 17 septembreCet article sera commandé chez un fournisseur et vous sera envoyé 21 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Nombre de pages281
- FormatGrand Format
- PrésentationBroché
- Poids0.445 kg
- Dimensions15,2 cm × 22,8 cm × 1,8 cm
- ISBN978-3-8381-7119-7
- EAN9783838171197
- Date de parution01/09/2018
- ÉditeurPresses Académiques Francophones
Résumé
Les paradigmes composants et services ont été déclinés sous forme de nombreux frameworks tels que J2EE, OSGI, SCA ou encore Fractal. Néanmoins, peu d'outils permettent de garantir la fiabilité des applications en raisonnant de manière générique sur leur configuration architecturale et les spécifications de leurs constituants. Nous présentons dans cet ouvrage une approche de validation des assemblages de composants et services qui repose sur l'identification des interactions et des responsabilités entre leurs constituants.
Nous décrivons le modèle objet d'un outil, transversal aux formalismes de spécification, de réification et d'évaluation des propriétés que nous avons définies comme nécessaires à la validité des assemblages. Une application de cet outil est décrite pour deux formalismes de spécifications différents sur l'exemple d'une application de communautés sociales instantanées. Cet outil a fait l'objet d'une implémentation en java pour France Telecom R&D.
Cet ouvrage s'adresse aux ingénieurs, architectes, chercheurs menant une réflexion sur l'amélioration de la fiabilité des assemblages de composants et services.
Nous décrivons le modèle objet d'un outil, transversal aux formalismes de spécification, de réification et d'évaluation des propriétés que nous avons définies comme nécessaires à la validité des assemblages. Une application de cet outil est décrite pour deux formalismes de spécifications différents sur l'exemple d'une application de communautés sociales instantanées. Cet outil a fait l'objet d'une implémentation en java pour France Telecom R&D.
Cet ouvrage s'adresse aux ingénieurs, architectes, chercheurs menant une réflexion sur l'amélioration de la fiabilité des assemblages de composants et services.
A propos de Alain Ozanne
14,99 €