Gestion Du Temps Par Le Raffinement

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.

Author: Rehm-J

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 108 pages

Binding: Paperback or Softback

ISBN-10: 6131514119

ISBN-13: 9786131514111