|
|
Tool for Software Systems Design
Crlík, Radek ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
To be able to create quality software system, one need to analyse it well, design, program and test it. The whole process is called software life-cycle and is studied by software engineering. Today, there are many tools making this process easier. For analysing and designing software UML language became favourite. It enables programmers to describe different aspects of software by graphical diagrams and enables them to comprehend them better. Some of them can be translated into source code in chosen programming language. Problem is maintaining those diagrams during later phases when source code was already generated and is used exclusively. This problem is trying to be solved by Model-Driven Development, where programmer is working with well-defined models that can be automatically transformed into the source code that don't have to be edited by hand. Unfortunately this approach is not universal. This work tries to design and create tool that can work with use case diagrams, class diagrams and object-oriented Petri nets. This tool should allow designing those diagrams and be able to synchronise information between them to make the software design easier.
|
|
|
Information System for Registration and Management of Corporate Orders
Paľko, Matúš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis aims to design and implement an information system for the company SGS Zvolen s.r.o., according to customer requirements. It's used to register and manage information about the workflow of corporate orders. It takes the form of a web application developed on the Laravel framework connected to a MySQL relational database. The thesis also deals with user interface design and communication with the customer regarding the design of the system. Only a part of this extensive system was created, which was tested by the customer.
|
|
| |
|
|
Collaborative Text Editing in a Portal
Korčák, Ján ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
V tomto texte sa zameriame na populárnu koncepciu kolaboratívnej tvorby dokumentov. Predstavíme si myšlienku využitia tohto mechanizmu v rôznych oblastiach rozhodovania, popíšeme si koncept a princíp fungovania. Následne si predstavíme a rozoberieme portály a portletovú technológiu, ich výhody a využitie. Cieľom práce je implementácia kolaboratívneho editora s využitím knižnice pre prácu so zmenami v dokumentoch s perzistentnou a aplikačnou logikou na platforme JEE a vytvorenie jednoduchého portletu pre túto službu.
|
|
| |
|
|
Extending audit2allow to Provide More Restrictive Solutions
Žárský, Jan ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
The thesis analyzes the role of the audit2allow utility in troubleshooting Security-Enhanced Linux denials and proposes extensions that will provide more restrictive and more secure solutions to the user. Basic concepts of SELinux and SELinux security policy are explained. Situations when audit2allow provides ineffective and insecure solutions are analyzed. Support for generating extended permission access vector rules was implemented. Basic support for checking security labels of files was implemented. Implementation details and testing of both extensions to the audit2allow utility are described.
|
|
|
Modular Simulator of Microcontroller
Vosyka, Pavel ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
In this thesis, free access existing microcontroller simulators were found. A microcontroller simulator with a graphical user interface was developed. The simulator is able to change between different microcontrollers. Surroundings of microcontroller's simulation are made of predefined electrical circuits, which can be arbitrarily connected with the microcontroller. The simulator was implemented and tested. Also, ATmega328p microcontroller was implemented in the simulator.
|
|
| |
|
|
Educational Simulator in WebAssembly Environment
Březina, Jaromír ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This bachelor thesis focuses on the issue of simulation of timed stochastic Petri nets and continuous block diagrams for educational purposes. The resulting application consists of two sub-parts. The first is a simple graphical editor that provides tools to create the desired model in the form of a Petri net or block diagram and visualize the simulation results. The graphical user interface of the editor was created using the React library. The second part of the application consists of a simulator implemented in C++, which is used to simulate the created model and is integrated into the entire solution as a WebAssembly module. The application also includes a set of 10 examples that serve as a demonstration of simple models suitable for educational purposes.
|
|
|
A Tool for Shell-Script Analysis
Holomek, Jiří ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
This bachelor's thesis deals with analysis of scripts. In the current distributions of Linux or other operating systems based on the Unix principals, there is made a lot of configuration by using scripts. The main objective of this work is to create a program that analyses the scripts and also reports theirs functionality and safety to a user. According to my research the work is aimed to Bash language.
|
guest ::
RSS feed.