{{Predmet
| name = Tvorba informačných systémov | code = 1-AIN-131 | prerequisites = | semester = Zimný semester | year = 3 | credits = 6 | form = K - Kurz (4) | evaluation = 50/50 | webpage = http://dai.fmph.uniba.sk/courses/tvorbaIS/ | teacher = [[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.], Doc. PhDr. Ján Šefránek, CSc. | email = sefranekii.fmph.uniba.sk | homepage = http://www.ii.fmph.uniba.sk/~petrovic/ http://www.ii.fmph.uniba.sk/~sefranek/ | description = Cieľom je podať úvod do formálnej tvorby informačných systémov a nástrojov, ktoré sa pri vývoji informačných systémov používajú. Účastníci predmetu navrhnú, špecifikujú a implementujú skupinový projekt podľa zadania. | offered_in = Povinný v Bakalárskom programe Aplikovaná Informatika | recommendations = none
}}