MENÜ MENÜ
  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 / 30 99 99 (0,14 €/Min., Mobil max. 0,42 €/Min.)

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

Verfügbarkeit: sofort lieferbar

39,00
Inkl. MwSt. , zzgl. Versandkosten

Zusatzinformation

  • Autor:
  • 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.

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Gestion du temps par le raffinement

Sie könnten auch an folgenden Produkten interessiert sein