Projekty

V tomto projekte sa zameriame na aktualizáciu obsahu a zavedenie moderných prístupov do výučby predmetu Teória typov. Naším hlavným cieľom je zatraktívnenie klasického procesu výučby predmetu, zavedením nových edukačných nástrojov a metód pomocou moderných softvérových riešení. V rámci tohto cieľa vyvinieme softvér, ktorý bude interaktívne, resp. automatizovane emulovať procesy výpočtov prostredníctvom vizualizačných nástrojov simulujúcich klasický postup výpočtu človekom. Zároveň do výučbového procesu zahrnieme využitie interaktívnych dokazovacích systémov, pomocou ktorých je možné modelovať jednotlivé teórie typov, a dokazovať ich vlastnosti prostredníctvom formálnych dôkazov. V rámci čiastkových cieľov sa zameriame na tvorbu webového portálu, aktualizáciu a rozšírenie existujúcich študijných materiálov (učebnica a prednášky). Vypracujeme novú učebnicu venovanú využitiu interaktívnych dokazovacích systémov pre účely preberaných teórií typov. Pripravíme zbierku riešených príkladov a pracovné listy pre laboratórne cvičenia.

Aby boli prístupnejšie odborníkom z praxe, je potrebné preniesť globálne architektonické znalosti na lokálnu úroveň spoločností zaoberajúcich sa vývojom softvéru a dokonca aj jednotlivých tímov a nechať, aby sa tam vyvíjali s ohľadom na kontext, v ktorom sa používajú. Napríklad návrhové vzory by mohli byť preformulované a prispôsobené, špecifické sekvencie vzorov by boli vytvorené a podporované úspešnými príbehmi tej-ktorej špecifickej komunity (takzvané príbehy vzorov) atď. Architektonické znalosti je potrebné ďalej rozvíjať s ohľadom na skutočnosť, že súčasné softvérové systémy fungujú v edge–cloud kontinuu. Edge–cloud kontinuum zavádza nové možnosti variácií, ktoré závisia od toho, ako je systém nasadený na úrovniach edge, mist, fog, a cloud. Ďalšou výzvou je, ako efektívne organizovať ľudí v takomto prostredí. Časti týchto, lokálne vyvinutýc h vedomostí, by si potom našli cestu na globálnu úroveň vo vedeckých článkoch, knihách alebo dokonca blogoch a podobne. V tomto projekte vyvinieme metódy vývoja lokálnych variantov návrhových vzorov a jazykov vzorov, aplikáciu návrhových vzorov v edge–cloud kontinuu, aplikáciu radov softvérových výrobkov v edge–cloud kontinuu a aplikáciu organizačných vzorov vývoja softvéru v edge–cloud kontinuu. Na podporu a vyhodnotenie metód vyvinieme zodpovedajúce nástroje. Očakávame tiež, že budeme dolovať a vyjadrovať v súčasnosti neznáme návrhové a organizačné vzory a jazyky vzorov pre edge–cloud kontinuum. Vyvinieme štyri evaluačné scenáre: telemonitorovanie zdravotného stavu pacienta, súlad automobilového softvéru, inžinierstvo obsahu vzdelávania a vývoj v otvorenom priestore.