ISBN-13: 9786131514111 / Francuski / Miękka / 2018 / 108 str.
Dans les domaines critiques d'application de l'informatique, il peut Aatre vital de disposer d'un gA(c)nie logiciel qui soit capable de garantir le bon fonctionnement des systA]mes produits. Dans ce contexte particulier, la mA(c)thode B A(c)vA]nementielle promeut le dA(c)veloppement de modA]les abstraits du systA]me A concevoir et l'utilisation de dA(c)monstrations formelles ainsi que de la relation de raffinement entre les modA]les. Notre but est de pouvoir travailler sur des systA]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 mA(c)thode B et de systA(c)matiser cette approche par la formalisation de patrons de raffinement. Nos diffA(c)rentes modA(c)lisations du temps sont proposA(c)es sous la forme de patron A rA(c)-appliquer sur le systA]me A A(c)tudier.
Dans les domaines critiques dapplication de linformatique, il peut être vital de disposer dun 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 lutilisation 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. Cest ainsi que nous proposons lintroduction 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.