Ke stažení

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 psané multiplatformně v jazyce Java

Požadavky

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.

Stažení spustitelných aplikačních balíků

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:

Známé chyby

  • 2013-11-01: S novou JRE nefungují funkce pro ukládání a načítání gramatiky do XML.

Odkazy na Java aplety

Aplet vyžaduje podporu Javy verze 1.6 přímo v prohlížeči (např. formou pluginu).

Omezení apletů

Kvůli omezeným oprávněním prohlížeče, ve kterém aplety běží, nejsou funkční následující vlastnosti:

  • nelze přepínat jazyky (používá se pouze implicitní v operačním systému)
  • nelze měnit nastavení fontů za běhu aplikace
  • nelze ukládat ani načítat soubory tj. je vždy nutné celý model vytvářet znovu
  • nelze otevírat vestavěná nápověda, takže je potřeba používat dokumentaci a nápovědu umístěnou na extra stránkách projektu (odkazy jsou na stránkách apletů)
  • nefunguje položka menu Soubor - Konec, protože aplet lze ukončit pouze zavřením stránky
  • v případě otevírání dialogovým oken je někdy problém s jejich umístěním při otevření (většinou pomůže změnit lehce velikost okna a to se následně překreslí tak, aby bylo možné jej přesunout na viditelnou pozici)
  • aplety jsou nastaveny tak, aby zaplňovaly celou zobrazovanou část stránky

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.

Poznámka k využití apletů

Uživatelské příručky

Nástroj psaný v jazyce C++

Dokumenty

Závěrečná zpráva

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).

Tisková zpráva

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ů:

  • konstrukce LL-tabulky pro LL-gramatiku a ukázka syntaktické analýzy věty prediktivní metodou;
  • ukázka činnosti deterministického konečného automatu a deterministického zásobníkového automatu;
  • převod nedeterministického na ekvivalentní deterministický konečný automat;
  • všechny nástroje obsahují vestavěnou nápovědu a uživatelskou dokumentaci.

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ů.

Starší verze

lectures/didefom/download.txt · Last modified: 2014/10/29 10:52 by krivka
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki