Početna stranicaVisoka učilištaKorisničke stranice

Sadržaj predmeta

Formalni postupci u oblikovanju računalnih sustava ->
Kratica: RAČ11O8Opterećenje: 45 + 15 + 30 + 0
Nositelji: prof. dr. sc. Nikola Bogunović
Osnovni koncepti inžinjerstva sustava. Modelski pristup oblikovanju složenih sustava temeljenih na računalima. Formalne metode modeliranja. Sklopovsko-programsko suoblikovanje. Specifikacija sustava (modeli, arhitekture, jezici). Vrednovanje modela simulacijom i formalnom verifikacijom. Sinteza sustava preslikavanjem u arhitekturu. Modeli i oblici programske podrške u složenim sustavima (cjevovodno-filtarska, objektno usmjerena, podatkovno usmjerena, događajno usmjerena, slojevita i interpreterska struktura). Algoritamski pristupi u alatima za oblikovanje sustava.
Literatura:
1. D. W. Oliver, T. P. Keliher, J. G., Jr. Keegan: Engineering Complex Systems with Models and Objects, McGraw-Hill, 1997.
2. J. Staunstrup, W. Wolf: Hardware/Software Co-Design: Principles and Practice, Kluwer, 1997.
3. M. Shaw, D. Garlan: Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996.
Srce - Sveučilišni računski centar Sveučilišta u Zagrebu