|
|
Demonstration Program of Convertion of Finite Automata
Štorek, Vojtěch ; Novotný, Tomáš (referee) ; Lukáš, Roman (advisor)
The main goal of practical part of this work is to create a program, which applies finite automata theory in practice and makes this theory easier to understand. Program is capable to easily create finite automata and make didactic demostration of basic theoretical knowledges such as coversion to special types of finite automata, function illustration or representation of finite automata in form of C language source code. In this technical report I will try to describe, how are individual key parts of the application implemented.
|
|
|
Information System Generator
Falhar, Radek ; Hanáček, Petr (referee) ; Jurnečka, Peter (advisor)
Goal of this work is to design and implement too for passive code generation for specific information system framework. This framework is ZeroFramework that is targeted at client-server development of applications running on .NET platform. For code generation, T4 Scaffolding library is used, which allows to divide code generation logic into separate parts (scaffolders). This work is mainly concerned with design and implementation of those scaffolders and their linking with T4Scaffolding library. Results of this work are templates and logic for generation of files and classes, which implement logic needed for display, adding, modification and deletion of specific database entity.
|
|
|
C Compiler in Python
Fiedor, Tomáš ; Bidlo, Michal (referee) ; Vašíček, Zdeněk (advisor)
There is currently no big link between creation of compilers and processor design and their instruction sets in courses. The goal of this work is to create easily extensible and modular compiler, which will enable experiments with instruction sets of used target processor. Compiler implements several optimization techniques. Their impact is more closely discussed. One of the advanced used techniques is context generation of output code. This technique generates less code than common blind generation.
|
|
|
Application Backend Generation from a UML Model
Klikar, Václav ; Očenášek, Pavel (referee) ; Burget, Radek (advisor)
The aim of this bachelor's thesis is to design and implement a tool that allows bi-directional synchronization between a UML class diagram and an application backend whenever during application development. Working with the UML model is made possible by using a standardized XMI format. The application backend is created and managed through a web framework Django. To read and write Django program code, the tool uses abstract syntax tree parser.
|
|
|
Code Generation Using Design Patterns
Hanák, František ; Malinka, Kamil (referee) ; Jurnečka, Peter (advisor)
This thesis describes code generation using design patterns. It deals with questions of specification of design patterns and their usage in code generation. The main part of thesis follows describtions of design patterns, their categorization, usage purpose and main ways of design patterns definitions. It describes the most often used formal design patterns specifications, their possible usage in code generation and design of algorithm for searching similar structures of patterns in source code in detail.
|
|
|
Code Generation from Object Oriented Petri Nets
Hanák, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis describes opinions about generating code from PNtalk language into more standard object orinted languages, such as C++ or Java. Goal is to construct model of the formalism of Object Oriented Petri Nets (OOPN), represented in PNtalk languege in mentioned languages. This model should be simlpier and more effective than actual implementation in Smalltalk language. Thesis also contains ideas about abstactization the code generator to be able to generate code in various languages.
|
|
|
SW development and testing for engine monitoring module
Sumtsov, Artem ; Sova, Václav (referee) ; Krejsa, Jiří (advisor)
Diplomová práce popisuje vývojovou techniku Model Based Design a její použití pro návrh a testování algoritmů. Popis této techniky je proveden na příkladu praktického využití v praxi při vývoji modulu monitorování stavu motoru ve spolupráci se společností UNIS,a.s. Vývoj v oblasti současné letecké techniky klade velký důraz na monitorování životnosti zařízení. Podle výstupů algoritmu se dají naplánovat preventivní opravy s ohledem na aktuální podmínky opotřebení a provozování. Implementace algoritmů je provedena v prostředí Matlab/Simulink s následným testováním na platformě dSpace
|
|
|
SW development and HIL testing for engine monitoring module
Sumtsov, Artem ; Sova, Václav (referee) ; Krejsa, Jiří (advisor)
Diplomová práce popisuje vývojovou techniku model based design a její použití pro návrh a testování algoritmů. Popis této techniky je proveden na příkladu praktického využití v praxi při vývoji modulu monitorování stavu motoru ve spolupráci se společností Unis. Vývoj v oblasti současné letecké techniky klade velký důraz na monitorování životnosti zařízení. Podle výstupů algoritmu se dají naplánovat preventivní opravy s ohledem na aktuální podmínky opotřebení a provozování. Implementace algoritmů je provedena v prostředí Matlab/Simulink s následným testováním na platformě dSpace
|
|
| |
|
|
Relationship between CASE tools and integrated development environments
Lacina, Martin ; Smolík, Jan (advisor) ; Pálka, Jan (referee)
This bachelor thesis concentrates on relationship between CASE tools and integrated development environments. In the center of concern are CASE tools which support UML notation and automatic generation of source code from UML diagrams to Java object oriented programming language. This bachelor thesis is divided into two parts. First part concentrates on basic introduction to theory of CASE tools. There we also discuss the utilization of CASE tools in various parts of project, which dealt with creation of information system. In first part is also proposed simplification of projects life cycle to meet creation of simple programs. Theoretical part of thesis continues with brief explanation of object oriented approach and brief description of Java object oriented programming language. The fist part of thesis is ended by brief introduction to UML and there is also description of most important diagrams, which are basis used to generate program code. Second part of this bachelor thesis is concentrated on comparison of several UML CASE tools, which are free for non - commercial use. The comparison is realized through simple exemplary program, which is worked up in each CASE tool. The solution contains basic UML diagrams created in each CASE tool and also generating of source code from these diagrams. In this thesis is also presentation of each CASE tool's reverse engineering and round -- trip engineering support In the epilogue of this bachelor thesis is summary of contribution of using CASE tools to help realize simple programs.
|
guest ::
