Contact
How to shop
Delivery
Shopping guide
Gestion Du Temps Par Le Raffinement
French
122 b
30-day return policy
Customers also purchased
/
Paperback
48.96
€
/
Paperback
49.97
€
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.
About the book
French
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
14.56
€
/
Paperback
22.96
€
/
Paperback
15.57
€
/
Paperback
37.43
€
