|
| |
|
| |
|
|
Framework for Creation and Verification of Specification Models
Matalík, Štěpán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.
|
|
|
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.
|
guest ::
RSS feed.