Vysvetliť základy najvýznamnejších metód špecifikácie softvérových systémov a ukázať príklady analytických architektúr reálnych softvérových systémov.

Objektový návrh, princípy SOLID, dependency injection, statické vs. dynamické jazyky, pokročilé programovacie techniky (funkcionálne programovanie, multi-threading vs. event-loop, Reactor, Futures, ORM).
Agilné vs vodopádové metodológie vývoja, UML, testovanie, refactoring, continuous integration, estimácie, tvorba špecifikácie, VCS (Git), problematika startupov, Lean metodológia.

Šešera, Ľ.: Špecifikácie softvérových systémov – nevydané skriptá MFF UK
Šešera, Ľ. a kol.: Analytické dátové vzory - nevydané skriptá MFF UK
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, Addison-Wesley, 1998
Jacobson, I., Booch, G., Rumbaugh, J..: The Unified Software Development Process, Addison-Wesley, 1999
Hay, D.C.: Data Model Patterns: Conventions of Thought, Dorset House, 1996