Teória a metodológia informatického inžinierstva

Študijné programy

Informácie o výučbe

Vyučujúci

vedúci záverečnej práce

Rozvrh

Výsledky vzdelávania

Absolvovaním predmetu získa študent znalosti z metodológie informatiky. Naučí sa samostatne pracovať so zdrojmi vedeckých informácií. Konkrétna osnova predmetu sa stanoví individuálne z oblasti metodológie informatiky v závislosti od skúmanej vednej oblasti. Získané vedomosti preukáže pri absolvovaní dizertačnej skúšky.

Stručná osnova predmetu

Konkrétna osnova predmetu sa individuálne stanoví podľa zamerania doktoranda v závislosti od skúmanej vednej oblasti. Obsahuje však aj tieto základné témy: - Formálne metódy návrhu a analýzy systémov - Metódy validácie a verifikácie systémov: model checking - Formálne špecifikácie jazykov a jazykových systémov, metódy transformácie a verifikácie programov. - Metajazykové systémy. Profilácia a verifikácia systémov. Princípy a metódy implementácie programových systémov, optimalizácia implementácie. - Bezpečnosť a spoľahlivosť počítačových systémov. - Paradigmy programovania, definícia sémantiky programovacích jazykov a systémov, odvodenie programov. - Teoretické princípy a metódy tvorby používateľských rozhraní. - Pokročilé údajové štruktúry

Podmienky na absolvovanie

Spôsob hodnotenia a skončenia štúdia predmetu: Zápočet Priebežné hodnotenie (PH): Záverečné hodnotenie (ZH): Študent prospeje v ZH a úspešne vykoná skúšku, keď splní podmienku získať min. 1u z 1u. Predmet sa v odporúčanom semestri hodnotí udelením Zápočtu účasťou a to na konci skúškového obdobia. Záverečné hodnotenie predmetu, ktoré je súčasťou štátnej skúšky v rámci obhajoby písomnej práce k dizertačnej skúške pre 3. stupeň, sa hodnotí vyjadrením „prospel“ alebo „neprospel“. Celkové hodnotenie: CH je suma hodnotení získaných študentom za hodnotené obdobie. Celkový výsledok sa stanoví v súlade s vnútornými predpismi TUKE. (študijný poriadok, vnútorný predpis zásady doktorandského štúdia)

Odporúčaná literatúra

Základná literatúra sa odporučí doktorandovi podľa skúmanej vednej oblasti a témy dizertačnej práce. Hlavným zdrojom informácií budú publikácie, časopisecké články a príspevky prednesené z vybranej oblasti na významných vedeckých fórach.

Poznámky

Predmet sa absolvuje individuálne zvyčajne pod vedením školiteľa.Plánované vzdelávacie aktivity: konzultácie, laboratórna práca, projektová prácaDenná forma: priamy kontakt (10 hodín/týždeň): 130 hodín, nepriamy kontakt: 370 hodín, celkový počet: 500 hodínExterná forma: priamy kontakt (130 hodín/semester): 130 hodín, nepriamy kontakt: 370 hodín, celkový počet: 500 hodín