Gestion du temps par le raffinement
Rehm:Gestion du temps par le raffinemen
| Autor: | Joris Rehm |
|---|---|
| Verfügbarkeit: | Auf Lager. |
| Artikelnummer: | 1332306 |
| ISBN / EAN: | 9786131514111 |
Zusatzinformation
- Autor: Joris Rehm
- Verlag: Éditions universitaires européennes
- ISBN / EAN: 9786131514111
- Bindung: Taschenbuch
Produktbeschreibung
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.
Sie könnten auch an folgenden Produkten interessiert sein
-
-
Cloud Readiness
SharePoint Kompendium.1 Cloud Readiness <span>Als Taschenbuch gegenüber Hardcover 12,90 €</span>
-
Ernährung älterer Menschen
Küpper,C.:Ernährung älterer Menschen <span>Als Taschenbuch gegenüber Hardcover 19,80 €</span>
Buch Bestseller
-
Platz 1:
Meine Fibel
-
Platz 2:
Richtig nähen mit der Nähmaschine
-
Platz 3:
Finde deinen Fixstern
-
Platz 4:
Bedeutsame Belanglosigkeiten
-
Platz 5:
Unser Jahrgang 1954
-
Platz 6:
Phantastische Märchen
-
Platz 7:
Rom - Die christlichen Sakralbauten vom 4. bis zum 9. Jahrhundert
-
Platz 8:
Pilates gegen Osteoporose
-
Platz 9:
Die DDR - Erlebnisliste
-
Platz 10:
Die Elemente
