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

Descriptif détaillé

media/pim/TITELIVE/29_9783838180533_1_75.jpg

ajouter

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

Payer en 26.33€ ou 19.75€ sans frais En savoir +

Vendu et expédié par : Cultura

État : Neuf

INDISPONIBLE EN LIGNE

recevoir une alerte stock

stock en magasin

Retrouvez le produit près de chez vous.

*hors livres expédiés à domicile ou en point relais, hors remise et promotion au panier

description

descriptif du fournisseur

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.

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

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

recevoir une alerte stock

On vous recommande avec votre achat

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

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

79,00€

+

voir mon panier

Découvrez aussi

Romans littérature Livre

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Off-campus Tome 4 : the goal • Off-campus Tome 2 : the mistake • Off-campus Tome 5 : the legacy • Off-campus Tome 1 : the deal • Petit pays • L'étranger • L'adolescence du perroquet • Domaine d'activités 2 : mise en oeuvre des opérations internationales : BTS CI 1re et 2ème années (édition 2021) ...

... La vague • D'autres printemps • Seasons Tome 4 : Un été pour te retrouver • La Dernière Allumette

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.