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.

Od testerov softvéru sa nevyžaduje, aby boli skúsenými programátormi a rozumeli zdrojovému kódu softvéru. Testujú na základe špecifikácie bez znalosti implementácie. To spôsobuje, že časť softvéru je testovaná neefektívne a niektoré časti sa nedajú otestovať vôbec. Cieľom tohto projektu je nájsť prepojenie medzi implementáciou a testami a vhodne ho interpretovať programátorom a testerom. Testerom to umožní poznať štruktúru implementácie bez potreby programovacích zručností a programátori budú môcť s testermi hlbšie komunikovať o implementácii. Na dosiahnutie tohto cieľa bude potrebné nájsť metódu, ktorá odhalí súvislosť medzi testovacími scenármi a zdrojovým kódom a predstaví ich testerom spôsobom, ktorý nevyžaduje rozsiahle znalosti implementácie. 

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.