fbpx

Formális módszerek az informatikában

Pataricza András

Ha szeretnéd elolvasni ezt a könyvet, gyere hozzánk dolgozni!

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.

 

Ha szeretnéd elolvasni ezt a könyvet, gyere hozzánk dolgozni!

Vedd fel velünk a kapcsolatot!

Reisinger Gábor
Business Development Lead
Tömpe Zsolt
Tömpe Zsolt
Senior Sales Manager
Mádi Gábor
Head of Agile Tools & Infrastructure
Földházi Csaba
Director of Agile at Scale