Une proposition de formalisme orienté composant

Application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants

Céline Bigot - Collection Omn.univ.europ.

480 pages, parution le 10/05/2012

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

De plus en plus, les logiciels sont considérés comme des assemblages de composants, chaque composant étant lui-même considéré comme un logiciel indépendant. Ce type d'approche permet de simplifier les étapes de conception, de développement et de maintenance des logiciels tout en garantissant de manière plus aisée leur qualité, leur fiabilité et leur sûreté. Dans ce contexte, nous proposons un cadre formel pour la définition de composants et de systèmes de composants avec une syntaxe orientée UML et une sémantique opérationnelle puis dénotationelle. La sémantique opérationnelle nous permet de simuler automatiquement un système à peu de frais grâce à l'outil AGATHA, en vue de générer des tests. La sémantique dénotationnelle nous permet, quant à elle, la définition d'un formalisme de spécifications de composants et de systèmes de composants ainsi que de divers mécanismes tel que l'exécution symbolique, que nous redéfinissons et que nous prouvons correct pour notre formalisme.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Editions universitaires européennes
Auteur(s)	Céline Bigot
Collection	Omn.univ.europ.
Parution	10/05/2012
Nb. de pages	480
Format	15 x 22
Couverture	Broché
Poids	700g
EAN13	9783838180533