Národní úložiště šedé literatury Nalezeno 36 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Grafické vývojové prostředí agentního jazyka ALLL
Kürti, Szabolcs ; Zbořil, František (oponent) ; Horáček, Jan (vedoucí práce)
Cílem této práce je návrh a implementace grafického vývojového prostředí pro agentní jazyk ALLL. Jazyk ALLL bude představen detailně. Čtenář bude seznámen s frameworkem ANTLR pro generování nástrojů pro rozpoznávání jazyka. Teoretické základy multiagentních systémů a možnosti zvolené platformy budou taky rozebrány. Po popisu implementace komplexního grafického vývojového prostředí jsem zařadil popis testování a ohodnocení dosažených výsledků.
Moderní editor zdrojového kódu pro zadaný jazyk
Srna, Pavol ; Burgetová, Ivana (oponent) ; Eysselt, Miloš (vedoucí práce)
Hlavným cieľom tejto práce je zoznámiť sa s aplikačným rozhraním vývojového prostredia eclipse a vhodne rozšíriť jeho editor zdrojového kódu tak, aby pre jazyk SIT mal rysy moderných textových editorov. Práca ukazuje vytvorenie parsra a lexra z gramatiky ANTLR. Vysvetľuje spôsob písania zásuvných modulov do platformy eclipse so zameraním na editor zdrojového kódu. Implementovaný plugin editoru má podporu zvýrazňovania a kontroly syntaxe, automatického dopĺňania kódu a nápovedy podľa kontextu.
Inteligentní editor pro jazyk AHLL
Kučera, Tomáš ; Rozman, Jaroslav (oponent) ; Zbořil, František (vedoucí práce)
Predmetom tejto bakalárskej práce je návrh a implementácia inteligentného editoru pre agentný jazyk AHLL. Čitateľ je najprv oboznámený s konceptom agentných systémov a platformou WSageNt. Nasleduje analýza a porovnanie existujúcich editorov a vývojových prostredí. Budú predstavené technológie ANTRL, RSyntaxTextArea a AutoComplete poskytujúce prostriedky pre efektívnu implementáciu niektorých kľúčových funkcií editora. Výsledný editor integruje existujúci AHLL prekladač do jazyka ALLL a simulátor distribuovaných systémov T-Mass. Na záver testujeme schopnosť editora vybrať najlepšiu kombináciu optimalizácií prekladača na základe dĺžky cieľového kódu.
Jazyk vyšší úrovně abstrakce pro programování mobilních inteligentních agentů
Kalmár, Róbert ; Horáček, Jan (oponent) ; Zbořil, František (vedoucí práce)
Cílem této práce je návrh jazyka vyšší urovně abstrakce pro programování mobilních inteligentních agentů a implementace překladače pro tento jazyk. Bude představen nástroj ANTLR pro generování syntaktických a lexikálnych analyzátorů. Čtěnář bude seznámen s teoretickou i praktickou stránkou implementace překladače tak jako s programovaním v tomto jazyce. V závěre práce bude představeno prostredí pro programování spomínaném jazyce a příklady agentních kódů.
Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky
Fiedor, Jan ; Straka, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Protože komplexnost systémů pořád roste a s tím také riziko výskytu chyb, je potřeba tyto chyby efektivně a spolehlivě opravovat. U řady systémů reálného času tato potřeba platí dvojnásob, jelikož byť jediná chyba může způsobit jejich úplné zhroucení, které může mít katastrofální důsledky. Formální verifikace, na rozdíl od jiných metod, umožňuje spolehlivé ověřování požadavků kladených na určitý systém.
The Tool for Assessing the Neatness of Source Code
Kinšt, Ondřej ; Smrčka, Aleš (oponent) ; Veigend, Petr (vedoucí práce)
The aim of this thesis is to introduce the reader to the theory of code style, formatters and linters and the implementation of a tool which assesses the the neatness of code written in the C programming language. It describes the process of implementing such tool, using available solutions like ANTLR, and the design decisions behind it. In the end, a tool has been created which objectively assesses neatness of source as well as provides a list of issues with descriptions for the user.
Interpret jazyka ALLL pro operační systém Android
Skácel, Dan ; Zbořil, František (oponent) ; Horáček, Jan (vedoucí práce)
Diplomová práce pojednává o tvorbě aplikace na mobilní zařízení s operačním systémem Android. Tato aplikace slouží jako interpret jazyka ALLL, to znamená, že vytváří z mobilního zařízení uzel schopný provozu v senzorové síti. V práci jsou nejprve vysvětleny obecné principy bezdrátových senzorových sítí, agenti a jazyk ALLL, které byly vyžity pro tvorbu této aplikace. Následně se věnuje postupu implementace a ukázkovým agentům, jejichž akce aplikace interpretuje.
Transformace výrazů z Editoru Rovnic do LaTeXu
Šimek, Jiří ; Jirák, Ota (oponent) ; Křivka, Zbyněk (vedoucí práce)
Bakalářská práce se zabývá problémem převodu matematických výrazů z Editoru rovnic do LaTeXu. Uvádí způsob reprezentace výrazů v Editoru rovnic v aplikaci Word 2007 a následně syntaxi konkrétních výrazů s návrhem jejich převodu do LaTeXu. Na základě zjištěné syntaxe výrazů je sestavena gramatika, která byla použita pro implementaci převodníku.
Konverze ASP do ASP.NET
Vilímek, Jan ; Ryšavý, Ondřej (oponent) ; Kašpárek, Tomáš (vedoucí práce)
Cílem práce je implementovat aplikaci pro konverzi ASP stránek napsaných v jazyce VBScript na ASPX stránky a jazyk C#. Aplikace je vyvíjena na platformě .NET. Konverze stránek bude probíhat automaticky, cílový kód by se měl obejít bez dalšího zásahu programátora. První část práce uvádí do problematiky, poskytuje přehled současných řešení. Další část je analýza problému a návrh řešení. Zejména se pak práce zabývá konverzí VBScript gramatiky, konkrétními problémy a jejich řešením.
Syntaktický analyzátor stylových předpisů CSS
Sedlák, Radek ; Křivka, Zbyněk (oponent) ; Burget, Radek (vedoucí práce)
Tato práce se zabývá aktualizací syntaktického analyzátoru pro projekt jStyleParser s využitím nástroje ANTLR 4. Projekt jStyleParser je analyzátor CSS napsaný v~jazyce Java, slouží ke zpracování stylových předpisů zapsaných v~jazyce CSS a převedení těchto předpisů do odpovídajích datových typů pro možnost další práce s~těmito daty. Projekt také umožňuje přiřadit styly odpovídajícím elementům DOM v~HTML dokumentu. V~práci je nejprve popsána problematika syntaktických analyzátorů a jejich generování na základě daného předpisu (gramatiky), dále jsou popsány existující generátory na platformě Java se zaměřením na generátor ANTLR. Zbývající část se zabývá samostatným projektem jStyleParser -- aktuálním stavem projektu a návrhem nového syntaktického analyzátoru. Po návrhu úprav je popsána implementace a testování správnosti implementace. V závěru jsou zhodnoceny dosažené výsledky a navrhnut další vývoj aplikace ve směru k CSS3.

Národní úložiště šedé literatury : Nalezeno 36 záznamů.   1 - 10dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.