Projekty
| Názov projektu | Stručný popis projektu |
|---|---|
| Koalgebraické modely komponentových systémov |
Spoločenská prax si vyžaduje neustály vývoj rozsiahlych komplexných programových systémov. Jedným z najdôležitejších cieľov softvérového inžinierstva je vývoj spoľahlivých programových systémov, ktoré poskytujú očakávané výsledky podľa požadovaného správania. Komplexné systémy sú zložené z komponentov, ktoré sú vyvíjané nezávisle, často v rôznych programovacích jazykoch a paradigmách. Zároveň musia byť vzájomne prepojené tak, že ich kooperáciou sa dosiahne očakávané správanie celého systému. Preto interakcie medzi komponentmi, kontrakty a závislosti sú kľúčovým pojmom v komplexnom systéme. Konštrukcia verifikovateľného modelu správania sa komponentových systémov je dôležitou súčasťou formulácie behaviorálnych modelov komplexných systémov. V tomto projekte navrhneme explicitné koalgebraické modely, metódy verifikácie a postupy, ktoré sa použijú pri sledovaní správania komplexných programových systémov. Tým projekt prispeje k teoretickým aj praktickým aspektom softvérového inžinierstva. |
| Mikrolearningové prostredie pre vzdelávanie odborníkov v oblasti informačnej bezpečnosti |
|
| Podpora vzájomného prepojenia predmetov počítačového a softvérového inžinierstva s využitím KPIkitu |
Rozvoj informatiky v súčasnosti priamo i nepriamo významne ovplyvňuje takmer všetky vedné disciplíny, najmä oblasť nových informačných, komunikačných a sieťových technológií. Osobitný význam majú rozmanité aplikácie vložených a počítačových systémov pri tvorbe, projektovaní, transformácii a automatizácii informačných a riadiacich systémov. Na úspešné zvládnutie úlohy projektovania takýchto systémov absolvent študijného programu Informatika musí byť oboznámený tak s hardvérovou, ako aj so softvérovou stránkou riešenia. Očakávame, že prehĺbenie vzájomného prepojenia predmetov počítačového a softvérového inžinierstva prinesie zvýšenie kvality prípravy študentov študijného programu Informatika. Preto strategickým cieľom projektu je hľadanie nových metód, foriem a technológií pre transfer znalostí z počítačového inžinierstva do predmetov softvérového inžinierstva a vice versa za pomoci vhodnej hardvérovej platformy (KPIkitu). Riešenie bude sledovať dva hlavné ciele, a to technické zabezpečenie novej formy výučby vybraných softvérovo, resp. hardvérovo orientovaných predmetov a vytvorenie návodov a množiny príkladov na použitie KPIkitu. Študenti si budú môcť za pomoci KPIkitu realizovať pragmatické projektové úlohy, definované príslušným predmetom s praktickým využitím výsledku, čo podľa očakávania riešiteľského kolektívu bude mať pozitívny dopad na kvalitu vzdelávania v študijnom programe Informatika. |
| ERASMUS+ KA1 - Mobility projects between Programme and Partner Countries in the field of higher education |
2015-1-SK01-KA107-008876 - Mobilita študentov a zamestnancov vysokých škôl do/z partnerských krajín |
| ERASMUS+ KA1 - Mobility for learners and staff - Higher Education Student and Staff Mobility |
Academic contact for:
|
| BIP3 - Balík zlepšení kvality TUKE prostredníctvom sietí |
http://www.tuke.sk/tuke/strukturalne-fondy-eu/vyzva-1-2-vysoke-skoly-a-v... |
| BIP4 - Balík inovatívnych prvkov pre reformu vzdelávania na TUKE |
Balík doplnkov pre ďalšiu reformu vzdelávania na TUKE, ITMS:26110230093 |
| BIP2 – Balík inovatívnych prvkov pre reformu vzdelávania na TUKE |
Balík prvkov pre skvalitnenie a inováciu vzdelávania na TUKE, ITMS kód projektu:26110230070 |
| CEEPUS - Central European Exchange Program for University Studies |
CIII-HU-0019-13-1718, CIII-HU-0019-12-1617, CIII-HU-0019-11-1516, CIII-HU-0019-10-1415, CIII-HU-0019-09-1314 International Cooperation in Computer Science |
| Princípy a metódy automatizovanej abstrakcie počítačových jazykov a tvorby softvéru na základe sémantického obohacovania v dôsledku komunikácie |
Projekt VEGA č. 1/0341/13 |