http://dev.dai.fmph.uniba.sk/w?action=history&feed=atom&title=BakTema_Jazyky_modely_a_nastroje%2Fsk 2026-04-10T15:00:58Z História úprav pre túto stránku na wiki MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=BakTema_Jazyky_modely_a_nastroje/sk&diff=4324&oldid=prev 2008-10-13T12:06:01Z

<p>New page: = Jazyky modely a nástroje na modelovanie, špecifikáciu a verifikáciu a ich aplikácie = &lt;small&gt;(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárs...</p> <p><b>Nová stránka</b></p><div>= Jazyky modely a nástroje na modelovanie, špecifikáciu a verifikáciu a ich aplikácie =<br /> <br /> &lt;small&gt;(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])&lt;/small&gt;<br /> <br /> [[Damas Gruska]]<br /> <br /> Téma je veľmi široká a je v nej priestor na oba druhy záverečných prác. Študent si môže vybrať či urobí len prehľad viacerých jazykov, modelov či nástrojov, alebo v niektorom z nich niečo našpecifikuje a overí alebo sám niečo naprogramuje alebo doprogramuje. <br /> <br /> Požiadavky: angličtina, v prípade biologicky motivovaných modelov je vítaný záujem o biológiu.</div>

Petrovic