Studij: FER-2, Računarstvo, 5. semestar

OBLIKOVANJE PROGRAMSKE POTPORE

Nositelj: Prof.dr.sc. Nikola Bogunović

Ovaj predmet daje osnovna znanja i vještine nužne za postizanje kompetencija u programskom inženjerstvu, a posebice razumijevanje, evaluacija i oblikovanje programskih sustava. Generički modeli procesa programskog inženjerstva. Inženjerstvo analize zahtjeva. Koncepti programskih arhitektura i paradigme specifikacije. Modeliranje ulazno/izlaznih i reaktivnih programskih sustava. Modeliranje objektno usmjerenih sustava (UML). Formalna specifikacija i verifikacija željenih obilježja programskih sustava. Ispitivanje programskih sustava. Automatizirani pomoćni postupci i alati u oblikovanju programskih sustava.

SOFTWARE DESIGN

Instructor: Prof. Nikola Bogunović, Ph.D.

Software design course addresses basic knowledge and skills for acquiring the competences in software engineering, namely understanding, evaluating and designing of software systems. Generic models of software engineering processes. Requirements engineering. Software architecture concepts and specification paradigms. Modeling of input/output and reactive software systems. Object-oriented system modeling (UML). Formal specification and verification of software system properties. Software testing. Automated assistance and tools in software design process.

Foreign students can find learning materials HERE !

LITERATURA:

Sommerville, I., Software engineering, 8th ed, Addison Wesley, 2007. (Web starnica knjige je OVDJE)

Lethbridge, T. C., Laganiere, R., Object-Oriented Software Engineering, 2^nd ed., McGraw-Hill, 2005. (Web starnica knjige je OVDJE)

Materijali s predavanja nalaze se ovdje: Predavanja