Andere Kunden interessierten sich auch für
![Vérification d'assemblages de composants logiciels]( "Vérification d'assemblages de composants logiciels")
Vérification d'assemblages de composants logiciels69,99 €![modèle d''interopérabilité des fédérations de composants logiciels]( "modèle d''interopérabilité des fédérations de composants logiciels")
modèle d''interopérabilité des fédérations de composants logiciels25,99 €![Qualité de Service Temporelle pour Composants Logiciels]( "Qualité de Service Temporelle pour Composants Logiciels")
Qualité de Service Temporelle pour Composants Logiciels40,99 €![Les Réseaux Bayésiens pour l'Estimation de la Fiabilité des Systèmes]( "Les Réseaux Bayésiens pour l'Estimation de la Fiabilité des Systèmes")
Les Réseaux Bayésiens pour l'Estimation de la Fiabilité des Systèmes48,99 €![Langage à base de composants pour la modélisation des systèmes Complex]( "Langage à base de composants pour la modélisation des systèmes Complex")
Langage à base de composants pour la modélisation des systèmes Complex56,99 €![Modélisation et Prédiction de la Fiabilité Logicielle et des Réseaux]( "Modélisation et Prédiction de la Fiabilité Logicielle et des Réseaux")
Modélisation et Prédiction de la Fiabilité Logicielle et des Réseaux42,99 €![Théories de calcul pour le développement de logiciels]( "Théories de calcul pour le développement de logiciels")
Théories de calcul pour le développement de logiciels29,99 €
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.