|
|
|
|
Software Synthesis |
Programování je těžké. Ještě horší je skutečnost, že často se investuje hodně prostředků do vývoje softwaru, který nakonec nesplňuje svůj cíl. Existují různé techniky, které pomáhají se tomuto problému vyhnout (např. prototypování), většinou se ale soustřeďují na aspekty jako např. uživatelská rozhraní, a nepomáhají u vývoje složité funkcionality.
Cílem témat v této oblasti jsou nástroje, který umožňuji rychlý vývoj prototypů, které implementují složitou funkcionalitu pomocí syntézy softwaru ze specifikací. Často výsledný prototyp bude pomalý anebo anebo implementuje jen malé části kódu. Určitě pomůže uživateli s tím, během pár minut vidět program, který opravdu běží a implementuje specifikaci.
Pro více informací, prosím kontaktuje mne!
Příklady možných témat jsou uvedeny níže. Mnohem více témat je k dispozici po osobní domluvě.
|
|
|
|
Verification of Complex Systems |