Description
Formális módszerek az informatikában / Pataricza András / Typotex Kft. / 2006
Kiadó: Typotex Kft.
Kötés típusa: kartonált
ISBN: 9789639548909 / 978-9639548909
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.
