|
|
Information system for educational agencies
Marván, Tomáš ; Zavoral, Filip (referee) ; Bednárek, David (advisor)
The goal of this work is to implement an internet and intranet information system for registering lectors and students in an educational agency, together with their abilities, requirements, time possibilities etc. The system allows all the administrator, lectors and students to enter data. The entered data are liable to validation by the administrator. The system is able to partly automate administrator's tasks within pairing of lectors and students according to the entered information.
|
|
|
Using XML technologies to apply design patterns
Hála, Vojtěch ; Bednárek, David (advisor) ; Mlýnková, Irena (referee)
Although contemporary programming style involves massive use of design patterns, programming languages does not offer suitable means tu support their application. Aim of this work is to show in practice that modern XML technologies, namely XSL Transformations, allow developers to avoid some routine tasks required by the objective language itself. This reduces the probability of errors, allows developers to focus on the key parts of the design, and makes maintaining the code markedly easier. These benefits come to light especially in large projects with hundreds to thousands of classes with complicated relations. In this Thesis we demonstrate these ideas on an example of a C++ compiler project.
|
|
|
A retargetable code-generator
Zouhar, Jan ; Král, Jaroslav (referee) ; Bednárek, David (advisor)
This work is focusing on a retargetable backend design for a C++ compiler. The backend is composed of two parts: a target architecture description and a code-generator. The architecture description is based on the XML language. A source XML le is an input for XSL templates that generate C++ classes with the architecture's characteristics such as instructions, supported data types, registers, etc. These classes are used by the code generator as a source of information about the target architecture. The code-generator is architecture-independent. The main phases are: instruction selection, instruction scheduling, register allocation, spill-code generation. The generated output is an assembly source code.
|
|
|
Static analysis of XSLT programs
Červák, Jan ; Toman, Kamil (referee) ; Bednárek, David (advisor)
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 (referee) ; Bednárek, David (advisor)
SVN Proxy is an application that behaves like a proxy of a SVN repository. It contains a local repository, which is used by a user for local commits. The local repository enables to synchronize itself with a remote SVN repository on demand. Local revisions can be numbered in a way they never become unsynchronized with the remote repository. The data of the local repository is stored in XML. The application contains the implementation of a diff algorithm and enables to merge versions and to detect conflicts. SVN Proxy is a command line client and its interface is derived from the common SVN client interface. The main emphasis is laid on the easy future development in the design of the application. The design enables to add other new connections to the repository and create other user interfaces including GUI. The application is intended for source text developers who do not want or are not able to send every commit into the remote repository.
|
|
|
Automatické třídění pošty pro IMAP servery
Kulič, Luboš ; Obdržálek, David (referee) ; Bednárek, David (advisor)
Number of received e-mail messages is growing explosively which forces users to classify them into several categories. In the presented work we introduce a tool called Apofis, which helps users to automate their routine every-day work with IMAP mailbox by sorting new messages for them and also by step-by-step creating of new rules based on their behaviour, while it still lets the user create, edit or delete the rules and thus affect the process of sorting and learning effectively. Two-level system of sorting rules is introduced - final rules, which the application uses to sort, and potential rules, which have been created according to user's behaviour and are waiting for more successes to prove their usability. Two potential rule learning algorithms were designed - the basic algorithm, fast but not accurate for some cases, and the advanced algorithm, which improves the accuracy by creating a new rule based on condition relevances determined from the organization of the whole mailbox. This thesis contains the most important facts and decisions about the design and implementation of the application and its algorithms.
|
|
|
Model Checking and Reduction of Behavior Protocols
Šerý, Ondřej ; Bednárek, David (referee) ; Plášil, František (advisor)
Behavior protocol is a formalism used for behavior specification of software components. In a regular-expression like syntax, admissible sequences of method invocations are specified abstracting from components' internal data. While it seems to be a reasonable level of abstraction for checking correctness of communication of the software components, it can be still quite difficult for a human to read and understand. This thesis aims to help the software designer to understand the behavior specification of components more easily. An approach to automatic verification of the general temporal properties stated in Linear Temporal Logic is presented along with two techniques for reduction of behavior protocols. Reduction with respect to composition prunes out those parts of the protocols that are not used in the particular composition and vlarifies the actual role of each component. Reduction with respect to property removes the parts of the protocols that are irrelevant to the given property. The behavior protocols reduced in this manner should emphasize which part of the protocol makes the given property satisfied.
|
|
|
Metadata management for Fractal component model
Nevařil, Petr ; Bednárek, David (referee) ; Hnětynka, Petr (advisor)
A metadata management is one of the key features of modern component based systems. The most contemporary used standard for metadata management is OMG Meta Object Facilities (MOF). Having the metadata in a MOF-based repository plays an important role for developing software using the Model Driven Architecture (MDA) approach, i.e. developing the system by sequence of transformations of its conceptual model. The thesis analyze the Objectweb's Fractal component model and designs its MOF-based metamodel. Designing of the metamodel is complicated by existence of several conformance levels to the Fractal component model. The Fractal metamodel proposed in this thesis is applicable for describing components system conforming to Fractal at an arbitrary level.
|
|
| |
|
|
Visual Programming Backend for a Mobile Robot
Staněk, Ondřej ; Obdržálek, David (advisor) ; Bednárek, David (referee)
Title: Visual Programming Backend for a Mobile Robot Author: Bc. Ondřej Staněk Department: The Department of Software Engineering Supervisor: RNDr. David Obdržálek, Ph.D. Supervisor's e-mail address: David.Obdrzalek@mff.cuni.cz Abstract: In this work, the author designs and implements a solution for programming small mobile robots using a visual programming language. A suitable visual programming front-end is selected and back-end layers are created that allow execution of the program in a mobile robot. The author designs and implements a virtual machine that runs alongside the original robot firmware on an 8-bit microcontroller with limited resources. A code generator layer compiles the visual representation of the program into a sequence of bytecode instructions that is interpreted on board of the mobile robot. The solution supports typical features of procedural programming languages, in particular: variables, expressions, conditional statements, loops, static arrays, function calls and recursion. The emphasis is put on robustness of the implementation. To verify and maintain code quality, methods of automated software testing are used. Keywords: visual programming language, virtual machine, mobile robot, Blockly Powered by TCPDF (www.tcpdf.org)
|
guest ::
