Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Une proposition de formalisme oriente composant - application de methodes d'execution symbolique pou

Couverture du livre « Une proposition de formalisme oriente composant - application de methodes d'execution symbolique pou » de Bigot Celine aux éditions Editions Universitaires Europeennes
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... Voir plus

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.

Donner votre avis

Donnez votre avis sur ce livre

Pour donner votre avis vous devez vous identifier, ou vous inscrire si vous n'avez pas encore de compte.