Borítókép a Gestion du temps par le raffinement - hoz
Könyv címe:

Gestion du temps par le raffinement

Patrons de raffinement pour modèles formels de systèmes temporels

Editions universitaires europeennes (07.07.2010 )

Books loader

Omni badge Érvényes utalvány
ISBN-13:

978-613-1-51411-1

ISBN-10:
6131514119
EAN:
9786131514111
Könyv nyelve:
francia
Ismertető:
Dans les domaines critiques d'application de l'informatique, il peut être vital de disposer d'un génie logiciel qui soit capable de garantir le bon fonctionnement des systèmes produits. Dans ce contexte particulier, la méthode "B évènementielle" promeut le développement de modèles abstraits du système à concevoir et l'utilisation de démonstrations formelles ainsi que de la relation de raffinement entre les modèles. Notre but est de pouvoir travailler sur des systèmes ayant des aspects temporels quantitatifs. C'est ainsi que nous proposons l'introduction des contraintes de temps par le raffinement, ceci permet de respecter la philosophie de la méthode B et de systématiser cette approche par la formalisation de patrons de raffinement. Nos différentes modélisations du temps sont proposées sous la forme de patron à ré-appliquer sur le système à étudier.
Kiadó:
Editions universitaires europeennes
Weboldal:
http://www.editions-ue.com/
Szerezte:
Joris Rehm
Oldalszám:
108
Kiadja:
07.07.2010
Raktárkészlet:
Raktáron
Kategória:
Informatika, IT
Ár:
39,00 €
Kulcsszavak:
Informatique, méthodes formelles, Méthode B, temps réel

Books loader

Hírlevél

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Banki átutalás

  0 termékek a bevásárlókosárban
Kosár szerkesztése
Loading frontend
LOADING