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
Partner: Faculty of Computer and Information Sciences, Ain Shams University, Cairo, Egypt

ERASMUS+ KA1 - Mobility for learners and staff - Higher Education Student and Staff Mobility

Academic contact for:

  1. A KLAGENF01 - Alpen-Adria Universität Klagenfurt,  Rakúsko
  2. A LINZ01 - Johannes Kepler Universität Linz,  Rakúsko
  3. HU BUDAPEST01 - Eötvös Loránd Tudományegyetem, Budapest, Maďarsko
  4. HU SZEGED01 - Szegedi Tudományegyetem,  Maďarsko
  5. P BRAGA01 - Universidade do Minho, Braga, Portugal
  6. RO CLUJNAP01 - Universitatea Babes-Bolyai, Cluj Napoca, Rumunsko
  7. SI MARIBOR01 - Univerza v Mariboru, Slovinsko

 

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