Modellezés az Event-B-ben: Rendszer- és szoftverfejlesztés

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 9 olvasói szavazat alapján történt.

Eredeti címe:

Modeling in Event-B: System and Software Engineering

Könyv tartalma:

Ez a könyv a formális módszerek bevezető vagy haladó kurzusaihoz alkalmas gyakorlatias szöveg, amely a rendszerek modellezésének és tervezésének matematikai megközelítését mutatja be a B formális módszer kiterjesztésével: Esemény-B.

A szerző szisztematikus megközelítése a finomítás gondolatán alapul, és lehetővé teszi a felhasználó számára a modellek fokozatos felépítését, valamint a bizonyítások segítségével a szisztematikus következtetési módszer megkönnyítését. Az olvasók megtanulják, hogyan építsenek modelleket programokról és általánosabban diszkrét rendszerekről, de mindezt a gyakorlat szem előtt tartásával.

A számos megadott példa a számítógépes rendszerek fejlesztésének különböző forrásaiból származik, beleértve a szekvenciális programokat, a konkurens programokat és az elektronikus áramköröket. A könyv számos, különböző nehézségű feladatot és projektet is tartalmaz. A könyvben szereplő példák mindegyikét a Rodin Platform eszközkészlet segítségével bizonyítottuk, amely ingyenesen letölthető a www.

event-b. org honlapról.