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!

Ne habozzon! Hívjon minket bátran!

Reisinger Gábor
Business Development Lead
Szintén Erika
Training Account Manager
Simó Gábor
Digital Account Manager
Brázda Barbara
Digital Account Manager