| |
| |
|
Framework pro tvorbu a ověřování specifikačních modelů
Matalík, Štěpán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.
|
|
Nástroj pro podporu vývoje softwarových systémů
Crlík, Radek ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Pro tvorbu kvalitního softwarového systému je potřeba takový projekt dobře analyzovat, navrhnout, naprogramovat a otestovat. Celý proces se pak souhrnně označuje jako životní cyklus softwaru a zabývá se jím softwarové inženýrství. Dnes existuje celá řada nástrojů, které tyto procesy ulehčují. Pro analýzu a návrh softwaru se v praxi osvědčil jazyk UML. Dovoluje popsat různé úrovně softwaru pomocí grafických diagramů pro jejich lepší pochopení. Některé je pak možné převést na kód v požadovaném programovacím jazyce. Problémem je pak udržování diagramů, kdy se tak v pozdějších fázích projektu ztrácí jejich význam. Tento problém se snaží odstranit tzv. Model-Driven Development, kdy programátor pracuje jen s přesně definovanými modely ze kterých je možné automaticky generovat programový kód, který se ale již nemusí ručně upravovat. Bohužel tento přístup není univerzální. Tato práce se zaměřuje na tvorbu nástroje, který umí pracovat s diagramem případů užití, diagramem tříd a objektově-orientovanými Petriho sítěmi. Nástroj by měl zvládat jejich tvorbu a základní synchronizaci informací mezi diagramy a tak ulehčit návrh systémů.
|
|
Informační systém pro evidenci a řízení firemních zakázek
Paľko, Matúš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cieľom tejto práce je návrh a implementácia informačného systému pre podnik SGS Zvolen s.r.o. podľa požiadaviek zákazníka. Slúži na evidenciu a manažment informácií o toku zákaziek firmy. Má podobu webovej aplikácie vyvíjanej na frameworku Laravel, ktorá je pripojená na MySQL relačnú databázu. Práca sa zaoberá taktiež problematikou dizajnu užívateľského rozhrania a komunikáciu so zákazníkom pri návrhu systému. V rámci tejto práce sa vytvorila len časť tohto rozsiahleho systému, ktorá bola reálne testovaná u zákazníka.
|
| |
|
Collaborative Text Editing in a Portal
Korčák, Ján ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
In this paper we will concern on popular concept of collaborative editing. We will introduce the idea of leveraging this mechanism in a diverse areas of decision making, we will denote the concept and principle of work. Then we will introduce and discuss portals and portlet technology, its advantages and use. The objective of the work is an implementation of collaborative editor leveraging the library for management of changes on documents with the persistence and application logic based on JEE platform and creation of simple portlet for this service.
|
| |
|
Rozšíření nástroje audit2allow pro poskytování více omezujících řešení
Žárský, Jan ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
Bakalářská práce rozebírá roli nástroje audit2allow při řešení zamítnutí přístupu systémem Security-Enhanced Linux a navrhuje rozšíření nástroje tak, aby uživateli poskytoval více omezující a bezpečnější řešení. Jsou představeny základní koncepty systému SELinux a jeho bezpečnostní politiky. Jsou rozebrány situace, kdy nástroj audit2allow poskytuje řešení, která jsou neefektivní a potenciálně nebezpečná. V rámci práce byla implementována podpora pro generování pravidel udělující rozšířená oprávnění. Rovněž byla implementována základní podpora pro kontrolu bezpečnostního kontextu souborů. Práce popisuje implementační detaily a testování obou rozšíření nástroje audit2allow.
|
|
Modulární simulátor mikrokontroléru
Vosyka, Pavel ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
V práci byly prozkoumány existující volně dostupné simulátory mikrokontrolerů. Byl navrhnut simulátor mikrokontroléru s grafickým uživatelským rozhraním. Simulátor je schopen vyměňovat simulovaný mikrokontrolér za jiný. Okolí simulace mikrokontroléru je ve formě několika předdefinovaných elektrických obvodů, které lze libovolně připojit k mikrokontroléru. Simulátor byl naimplementován a odzkoušen. Také byl do simulátoru naimplementován mikrokontrolér ATmega328p.
|