Gestion du temps par le raffinement [French]

By Joris Rehm, Rehm Joris, Rehm-J

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.

• Format: Paperback
• Language: French
• ISBN: 6131514119
• ISBN13: 9786131514111
• Release Date: July 2010
• Publisher: Univ Europeenne
• Length: 108 Pages
• Weight: 0.37 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"