V následující sekci máte k dispozici odkazy na stažení nástrojů, které jsou hlavní součástí výsledků projektu:
Nástroje projektu DIDEFOM implementované v jazyce Java vyžadují pro svoje spuštění:
Zda máte nainstalovanou Javu a jako verzi lze zjistit na tomto odkazu.
Stručná návod k použití: Máte-li nainstalován Java Runtime Environment 6, tak si stáhněte ZIP soubor s nástrojem, který dekomprimujte (se zachováním adresářové struktury) a ve vytvořených podadresářích (didefom a “jmeno nastroje”) spusťte dávku start.bat.
Nástroje/aplikace:
Aplet vyžaduje podporu Javy verze 1.6 přímo v prohlížeči (např. formou pluginu).
Kvůli omezeným oprávněním prohlížeče, ve kterém aplety běží, nejsou funkční následující vlastnosti:
Pokud Vám spuštění apletu hlásí chybu Your security setting have blocked an untrusted application from running., tak je nutné spustit Java Control Panel (JCP) (v OS MS Windows jej najdete ve složce Program Files (případně Program Files (x86)) Java\jre7\bin\javacpl.exe; cesta se může lišit dle verze Javy, kterou používáte). V JCP v záložce Security přidejte URL stránky s nepodepsaným apletem do Exception Site List (přes tlačítko Edit Site List… a následně tlačítko Add) a dialogová okna potvrďte tlačítkem OK. Pak načtěte webovou stránku s apletem.
Přihláška a závěrečná zprávu jsou k dispozici v informačním systému pro správu projektů FRVŠ ISAAR-F nebo v privátní sekci těchto stránka. Pro přístup k nimi musíte mít tedy vytvořen přístup (login a heslo).
Projekt se zabýval implementací softwarových nástrojů pro didaktické demonstrace vybraných formálních modelů a algoritmů nad těmito modely. V rámci projektu bylo vytvořeno aplikační jádro a nad ním několik konkrétních didaktických nástrojů:
Nástroje jsou vhodné pro předměty zaměřené na výuku teoretické informatiky, formálních jazyků a teorie překladačů. Grafické uživatelské rozhraní je vytvořeno ve dvou jazycích (čeština, angličtina). Samotné aplikace jsou implementovány v programovacích jazycích C++ a Java s využitím multiplatformních grafických knihoven (wxWidgets a Swing), což umožňuje nástroje používat na různých operačních systémech.
Projekt byl prezentován na konferenci Pedagogický Software 2006 a existují webové stránky projektu (http://www.fit.vutbr.cz/~krivka/didefom), kde jsou volně ke stažení vytvořené aplikace včetně dokumentace a několika příkladů.