|
|
Informační systém pro vzdělávací agentury
Marván, Tomáš ; Zavoral, Filip (oponent) ; Bednárek, David (vedoucí práce)
Cílem práce je implementovat intranetový a internetový informační systém evidující lektory a studenty vzdělávací agentury, včetně jejich schopností, požadavků, časových možností apod. Systém umožní zadávání údajů jak administrátorům, tak lektorům a studentům s tím, že vložená data podléhají schválení administrátorem. Systém bude částečně automatizovat práci administrátora při párování lektorů a studentů na základě zadaných údajů.
|
|
|
Using XML technologies to apply design patterns
Hála, Vojtěch ; Bednárek, David (vedoucí práce) ; Mlýnková, Irena (oponent)
Přestože moderní styl programování vyžaduje široké nasazení návrhových vzoru, programovací jazyky nenabízejí pohodlné prostředky k jejich efektivní aplikaci. Cílem této práce je ukázat v praxi, že zapojení moderní XML technologie, zejména XSL transformací, umožní vývojáři vyhnout se některým rutinním činnostem vyplývajícím ze samotného objektového jazyka. Tím se snižuje pravděpodobnost chyb, vývojářům je umožněno soustředit se na podstatu návrhu a významnou měrou se zjednodušuje údržba kódu. Tyto výhody se projeví zejména ve velkých projektech se stovkami až tisícovkami tříd se složitými závislostmi. V této práci demonstrujeme zmíněné myšlenky na příkladu projektu překladače C++.
|
|
|
Generátor kódu s vyměnitelnou cílovou architekturou
Zouhar, Jan ; Král, Jaroslav (oponent) ; Bednárek, David (vedoucí práce)
Práce se zabývá návrhem backendu pro kompilátor jazyka C++ s podporou generování kódu pro více cílových architektur. Backend je rozdělen na dvě části: systém popisu cílové architektury a generátor kódu. Popis cílové architektury je založen na jazyku XML. Ze vstupního XML souboru jsou pomocí XSL šablon vygenerovány C++ třídy reprezentující charakteristiky a vlastnosti architektury (instrukce, podporované datové typy, registry, atd). Tyto třídy používá generátor kódu jako zdroj informaí o cílové architektuře. Generátor kódu je na architektuře nezávislý. Hlavní fáze jsou: výběr instrukcí, plánování instrukcí, alokace registrů, generování spillkódu. Výstupem je asemblerový zdrojový kód.
|
|
|
Statická analýza XSLT programů
Červák, Jan ; Toman, Kamil (oponent) ; Bednárek, David (vedoucí práce)
Nazev prace: Staticka, analyza. XSLT programu Autor: ,Ian Cervak Katedra: Katcdra softwarovcho inzenyr.stvi Vedouci diplomove prace: RNDr. David Bednarek E-mail vedouciho: David.Bcdnarekinnir.cuni.cz Abstrakt: Zabyvame se statickou analyzou XSLT programu se znalosti sche- matu vstupnich dokumeutu. Analyza, je zamcfena, na odhalovani behovych chyb v prograniecli. Konkretue hiedamp nedosazitelna pravidla,, slepa vo- lani a cykly ve volamch pravidcl, jako zdroj potrncialne nekonecneho behu prograniu. XSLT je t\iringo\sky uplny ja/yk, konipletni staticka analyza je z principu neproveditelna, feseni tohoto problcniu jsou Jen i^fiblizna. Pre- zentovane rcseui je kvazi-sinndace bohu programu nad niodeleni XML doku- inentu. Vyslodny graf toku fizeni programu rlava infonnaee o zkouinanych probleineeh. Algcjritinus simulace je zavedeu nezavisle na pouzitein inodclu, coz pfinasi moznost analyzy na. ruzne urovni dotailu. Klicova slova: a.nalyza toku rizeiii, XSLT, XML Schema, behove dryby, zasta- vcni Title: Static analysis of XST/F ]>rograms Author: Jan Cervak Department: Department of Software Engineering Supervisor: RXDr. David Bcdnarek Supervisor's e-mail address: David.BednarekyimU'.cnni.cz Abstract: The aim of this work is static analysis of XSLT programs with the knowledge of an input document's schema....
|
|
|
SVN Proxy
Kunčar, Ondřej ; Galamboš, Leo (oponent) ; Bednárek, David (vedoucí práce)
SVN Proxy je aplikace, která se chová jako proxy SVN repository. Obsahuje lokální repository, do kterého uživatel provádí commity. Lokální repository je schopné se na požádání synchronizovat se vzdáleným SVN repository. Lokální revizemohou být číslovány tak, aby nedošlo k rozsynchronizování číslování se vzdáleným repository. Data v lokálním repository jsou ukládána v jazyku XML. Program obsahuje implementaci hledání rozdílů mezi verzemi a umí verze spojovat a detekovat konflikty. SVN Proxy je aplikace pro příkazovou řádku a její rozhraní je odvozeno z rozhraní standardního SVN klienta. V návrhu aplikace je kladen důraz na snadnost budoucího rozvoje. Návrh umožňuje přidání dalších přístupových metod k repository a vytvoření jiných uživatelských rozhraní včetně GUI. Aplikace je určena pro vývojáře zdrojových textů, kteří nechtějí nebo nemohou posílat kažý commit do vzdáleného repository.
|
|
|
Automatické třídění pošty pro IMAP servery
Kulič, Luboš ; Obdržálek, David (oponent) ; Bednárek, David (vedoucí práce)
Jelikož množství přijatých e-mailových zpráv rapidně stoupá, jsou uživatelé nuceni třídit je do několika kategorií. V předkládané práci představujeme nástroj, nazvaný Apofis, který pomáhá uživatelům automatizovat jejich rutinní každodenní práci s IMAP mailboxem tím, že jejich nové zprávy třídí a také postupně vytváří nová pravidla podle jejich chování, ovšem s tím, že stále ponechává uživateli možnost vytvářet, měnit nebo mazat pravidla a ovlivnit tak celý proces třídění a učení. V programu byl zaveden dvojúrovňový systém pravidel - finální pravidla, podle kterých se třídí, a potenciální pravidla, která byla vytvořena podle uživatelova chování a čekají na potvrzení dalšími úspěchy. Byly navrženy dva algoritmy na vytváření potenciálních pravidel - základní, rychlý nicméně v některých případech nedostatečný, a pokročilý algoritmus, který vylepšuje správnost vytváření pravidel tím, že při zjišťování relevance podmínek uvažuje uspořádání celého mailboxu. Tato práce obsahuje nejdůležitější informace a rozhodnutí o návrhu a implementaci aplikace a jejích algoritmů.
|
|
|
Model Checking and Reduction of Behavior Protocols
Šerý, Ondřej ; Bednárek, David (oponent) ; Plášil, František (vedoucí práce)
Behavior protokol je formalismus pro specifikaci chování softwarových komponent. V syntaxi podobné regulárním výrazům jsou definovány přípustné sekvence volání metod, přičemž se abstrahuje od vnitřních dat komponent. Jde sice o rozumnou úroven abstrakce pro ověření bezchybnosti komunikace softwarových komponent, nicméne pro člověka může být jeho přečtení a pochopení obtížné. Tato práce se snaží pomoci softwarovému návrháři pochopit specifikaci chování komponent. Předkládá způsob automatického ověřování platnosti obecných časových vlastností vyjádřených v lineární temporální logice spolu s dvěmi technikami redukce behavior protokolu. Redukce vzhledem ke kompozici odstraní ty části protokolu, které nejsou použity v dané kompozici komponent, a zdůrazní tak skutečné role všech komponent. Redukce vzhledem k vlastnosti vypustí ty části protokolu, které nejsou podstatné pro danou vlastnost. Takto redukovaný protokol by měl zdůraznit části, které zapříčiňují platnost dané vlastnosti.
|
|
|
Metadata management for Fractal component model
Nevařil, Petr ; Bednárek, David (oponent) ; Hnětynka, Petr (vedoucí práce)
Správa metadat je jednou z klíčových oblastí v moderních komponentových systémech. V současné době je nejpoužívanějším standardem pro správu metadat OMG MOF (Meta Object Facilities). Metadata definovaná podle tohoto standardu hrají důležitou při vývoji software pomocí MDA (Model Driven Architecture), kde aplikace vzniká postupnými transformacemi jejího konceptuálního modelu. V této diplomové práci je analyzován komponentový systém Fractal a je navržen jeho metamodel pomocí MOF. Návrh metamodelu je obtížný kvůli existenci několika úrovní, na kterých může komponentový systém modelu Fractal vyhovovat. V této práci je navržen metamodel použitelný pro komponentový systém libovolné úrovně.
|
|
| |
|
|
Visual Programming Backend for a Mobile Robot
Staněk, Ondřej ; Obdržálek, David (vedoucí práce) ; Bednárek, David (oponent)
Název práce: Podpora vizuálního programování mobilního robota Autor: Bc. Ondřej Staněk Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. David Obdržálek, Ph.D. e-mail vedoucího: David.Obdrzalek@mff.cuni.cz Abstrakt: V této práci se autor zabývá návrhem a implementací řešení pro programování malých mobilních robotů pomocí vizuálních programovacích prostředků. Součástí práce je výběr vhodného front-endu pro vizuální programování i vytvoření back-end vrstvy umožňující běh programu v mobilním robotovi. Pro vykonávání kódu je vytvořen virtuální stroj, který běží v rámci původního firmware robota na 8-bitovém mikrokontroleru s omezenými prostředky. Vrstva generátoru kódu překládá vizuální reprezentaci programu do sekvence instrukcí bajtkódu, jež je následně interpretována v mobilním robotovi. Řešení podporuje typické rysy procedurálních programovacích jazyků, zejména: proměnné, výrazy, podmíněné příkazy, cykly, statická pole, funkční volání a rekurzi. Důraz je kladen na robustnost implementace. K ověření a udržení kvality kódu jsou použity metody automatického testování. Klíčová slova: vizuální programovací jazyk, virtuální stroj, mobilní robot, Blockly Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.