Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Une proposition de formalisme orienté composant
Univ Europeenne - EAN : 9783838180533
Édition papier
EAN : 9783838180533
Paru le : 10 mai 2012
79,00 €
74,88 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9783838180533
- Réf. fournisseur : 5079784
- Editeur : Univ Europeenne
- Date Parution : 10 mai 2012
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 480
- Format : H:220 mm L:150 mm
- Poids : 700gr
- Interdit de retour : Retour interdit
- 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.
- Biographie : Après un DEUG, puis une licence et une maitrise en informatique, j'ai obtenu un DESS en sûreté de fonctionnement. A l'issue de mon stage de fin d'étude réalisé au CEA, mes encadrants m'ont offert la possibilité de poursuivre sur une thèse en informatique théorique, dont voici le mémoire.
