Inovatívne prístupy k výučbe a výskumu formálnych metód v kontexte moderného softvérového inžinierstva

Základné informácie

Tematická oblasť: komisia č. 2 pre nové technológie, metódy a formy vo vzdelávaní

Názov projektu (slovenský): Inovatívne prístupy k výučbe a výskumu formálnych metód v kontexte moderného softvérového inžinierstva

Názov projektu (anglický): Innovative approaches to teaching and researching formal methods in the context of modern software engineering

Začiatok riešenia projektu: 2026

Koniec riešenia projektu: 2028

Stav projektu: Financovaný/riešený

Číslo projektu: 028TUKE-4/2026

Vedúci projektu: doc. Ing. William Steingartner, PhD.

Vysoká škola: Technická univerzita v Košiciach

Pracovisko: Fakulta elektrotechniky a informatiky

Anotácia projektu v slovenskom jazyku

Predkladáme projekt zameraný na modernizáciu a rozšírenie výučby predmetov pokrývajúcich formálne metódy so zohľadnením ich súčasného významu v oblasti vývoja softvéru, analýzy kódu a využitia veľkých jazykových modelov (LLM). Cieľom projektu je pripraviť nové učebné a výučbové materiály, ktoré zlepšia didaktické spracovanie náročných tém a poskytnú študentom praktické nástroje na efektívne osvojovanie si poznatkov.

Súčasťou zámeru je aj príprava nového voliteľného predmetu Formálne metódy v informatike, ktorý nadviaže na výsledky projektu a poskytne študentom priestor na prehĺbenie poznatkov v oblasti formálnych špecifikácií, verifikácie a sémantiky programovacích jazykov. Výsledkom budú elektronické pracovné listy, tematicky orientovaná zbierka riešených a navrhnutých úloh, vysokoškolská učebnica a kurz v prostredí Moodle, ktoré reflektujú aktuálne trendy v oblasti výučby formálnych metód.

Vznikne tiež výučbový portál slúžiaci ako repozitár a interaktívna pomoc pri samostatnej práci študentov. Súčasťou riešenia je aj vývoj podporného softvéru, ktorý prostredníctvom vizualizácie a emulácie umožní lepšie porozumenie formálnych modelov a princípov v tomto inovovanom prístupe.

Projekt prispeje k zatraktívneniu výučby a k efektívnejšiemu prepojeniu teórie s praxou. Posilní schopnosť študentov samostatne riešiť úlohy, pochopiť význam formálnych metód v návrhu a analýze jazykov a podporí ich pripravenosť pôsobiť v oblastiach vývoja softvérových nástrojov, programovacích jazykov a ich interpretácie.

Anotácia projektu v anglickom jazyku

We present a project aimed at modernizing and expanding the teaching of subjects covering formal methods, taking into account their current importance in the field of software development, code analysis and the use of large language models (LLM). The aim of the project is to prepare new teaching and learning materials that will improve the didactic treatment of demanding topics and provide students with practical tools for effective acquisition of knowledge.

The goal also includes the preparation of a new optional subject Formal Methods in Computer Science, which will build on the results of the project and provide students with space to deepen their knowledge in the field of formal specifications, verification and semantics of programming languages. The result will be electronic worksheets, a thematically oriented collection of solved and proposed tasks, a university textbook and a course in the Moodle environment, which reflect current trends in the field of teaching formal methods.

A teaching portal will also be created, serving as a repository and interactive assistance for students' independent work. The solution also includes the development of supporting software that, through visualization and emulation, will enable a better understanding of formal models and principles in this innovative approach.

The project will contribute to making teaching more attractive and to a more effective connection between theory and practice. It will strengthen students' ability to solve problems independently, understand the importance of formal methods in language design and analysis, and support their readiness to work in the areas of software tool development, programming languages, and their interpretation.

Finančná dotácia z MŠVVaŠ SR v rámci KEGA

	Finančná dotácia z MŠVVaŠ SR v rámci KEGA	Kapitálové výdavky v €
Čerpané v roku 2026	4 932,00	0,00