Une proposition de formalisme orienté composant [French]

by Charles Bigot and Celine Bigot

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.

• Format: Paperback
• Language: French
• ISBN: 3838180534
• ISBN13: 9783838180533
• Release Date: September 2012
• Publisher: Omniscriptum
• Length: 480 Pages
• Weight: 1.54 lbs.
• Dimensions: 1.1" x 6.0" x 9.0"