Životní cyklus software, softwarová fyzika. Metody specifikace, analýzy, návrhu, testování a údržby. Datové metody, strukturované metody, objektově-orientované metody (UML). Druhy programování: strukturované, hierarchické, funkcionální, rekurzivní, objektově orientované. Správa kódu. Specifika programů pro reálný čas. Petriho sítě. Testování a řízení softwarových projektů.

Životní cyklus software, softwarová fyzika.
Metody specifikace, analýzy, návrhu, testování a údržby.
Datové metody, strukturované metody, objektově-orientované metody (UML).
Druhy programování: strukturované, hierarchické, funkcionální, rekurzivní, objektově orientované.
Správa kódu.
Specifika programů pro reálný čas.
Petriho sítě.
Testování a řízení softwarových projektů.

http://www-01.ibm.com/software/rational/uml/ (2009)
Češka M.: Petriho sítě - Úvod do teorie a nástrojů pro aplikaci Petriho sítí, Akademické nakladatelství CERM, Brno, 1994
Proth J.-M., Xie X.: "Petri Nets, A Tool for Design and Management of Manufacturing Systems", John Willey and Sons Ltd., Chichester , 1996
Kocur P.: Úvod do teorie konečných automatů a formálních jazyků, ŽČÚ v Plzni, 2001
Demner, J., Král, J.: Softwarové inženýrství, Academia, Praha 1991
Young, S.J.: Programovací jazyky pro RT aplikace, SNTL, Praha 1988
Kadlec, V.: Agilní programování, Computer Press, Brno, 2004
Paleta P.: Co programátory ve škole neučí, (Computer Press, 2003)