Analýza aktuárskeho softvéru bakalárska práca - Baran, Matúš (2016)