Mohlo by se vám také líbit

Více informací o knize Gestion Du Temps Par Le Raffinement

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 110 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy ve francouzštině LITTÉRATURE GÉNÉRALE Essais littéraires

• Plný název: Gestion Du Temps Par Le Raffinement
• Autor: Joris Rehm
• Jazyk: Francouzština
• Vazba: Brožovaná
• Počet stran: 108
• EAN: 9786131514111
• ISBN: 6131514119
• ID: 07064082
• Nakladatelství: Omniscriptum
• Hmotnost: 168 g
• Rozměry: 229 × 152 × 7 mm
• Datum vydání: 28. February 2018

Oblíbené z jiného soudku

---

---

---