Formális módszerek az informatikában

A kötet azokat a legfontosabb matematikai szabatosságot lehetővé tevő modellezési eszközöket mutatja be, amelyek a mind bonyolultabbá váló informatikai rendszerek tervezése, analízise és ellenőrzése során a mai információtechnikai gyakorlatban is mind nagyobb szerepet játszanak. A könyv egységes szerkezetben tárgyalja a formális verifikáció és validáció céljait szolgáló legfontosabb modellezési eszközöket és matematikai paradigmákat. A formális modellezés és ellenőrzés alapvető fogalmait és módszereit a Petri-hálókon keresztül vezeti be. A rendszerek helyességének bizonyításában kulcsszerepet játszó követelményanalízist a temporális logikák példáján keresztül illusztrálja. Bemutatja a gyakorlatban használatos legfontosabb olyan modellezési technikákat, mint az állapottérképek, adatfolyamhálók és absztrakt állapotgépek. A modellezési nyelvek tervezési módszerei közül szerepel a metamodellezés és a gráf-transzformáció. A kötet szerzői a Budapesti Műszaki Egyetem oktatói, akik a könyvet a műszaki informatikus alapképzésben jegyzetként is használják, ugyanakkor igyekeznek a gyakorló informatikusok számára is érthető és hasznosítható ismereteket nyújtani.