|
|
Automatické testování detektoru úniku plynu
Skryja, Petr ; Malinowski, Radim (oponent) ; Novák, Marek (vedoucí práce)
Tato práce se zabývá automatickým testováním ultrazvukového detektoru úniku plynu, který je nutné testovat při běžných změnách ve fázi vývoje. Čtenář bude seznámen se základními principy detekce plynu, návrhem testovacího přípravku, softwarovou architekturou a její realizací. Dále je představena ovládací GUI aplikace a návod pro psaní testů. V této práci je využito vývojové desky Beaglebone Black s oparačním systémem Debian sloužící jako jádro celého testovacího přípravku.
|
|
|
Dynamic Software Architectures for Resilient Distributed Systems
Keznikl, Jaroslav ; Bureš, Tomáš (vedoucí práce) ; Becker, Steffen (oponent) ; Loreti, Michele (oponent)
Resilientní Distribuované Systémy (RDS) jsou ty rozsáhlé distribuované systémy, které fungují spolehlivě navzdory svému značně dynamickému, otevřenému a z principu nepředvídatelnému prostředí. Takováto kombinace systémových vlastností a vlastností prostředí však velmi ztěžuje vývoj softwarových architektur pomocí dnes dostupných softwarových modelů a abstrakcí. Proto se tato dizertační práce snaží přinést: (1) nové abstrakce, které jsou speciálně uzpůsobeny potřebám dynamických softwarových architektur RDS, (2) softwarové modely a procesy, které usnadňují použití těchto abstrakcí během vývoje, a (3) prostředky pro efektivní implementaci, provoz i analýzu softwarových architektur postavených na těchto abstrakcích. Tato práce řeší bod (1) zavedením komponentového modelu DEECo, jenž je založen na konceptu ensemblů komponent. Práce dále přispívá k (2) představením metody Invariant Refinement Method, která zajišťuje spolehlivý formalizovaný vývoj softwarových architektur postavených na DEECo, a uvedením metody ARCAS, která se soustředí na spolehlivou realizaci dynamických spojení komponent, typických pro DEECo. Práce se věnuje (3) prostřednictvím formalizace operační sémantiky komponentového modelu DEECo a projekcí této sémantiky do jazyka Java formou prototypu běhového prostředí - jDEECo. Tato sémantika je dále...
|
|
|
Formal-based Component Model with Support of Mobile Architecture
Rychlý, Marek
Disertační práce se zabývá modelováním komponentových systémů a formálním popisem jejich chování. Řešení je založeno na vlastním komponentovém modelu, který je popsán meta-modelem, z logického pohledu, a popisem v pi-kalkulu, z procesního pohledu. Je ukázáno, že komponentový model pokrývá dynamické aspekty softwarových architektur včetně mobility jejich komponent. Dále je popsán způsob modelování chování v architekturách orientovaných na služby a přechod ke komponentovým systémům. Chování konkrétní architektury orientované na služby lze pak vyjádřit jako jediný proces v pi-kalkulu. V závěru práce je navržené řešení ověřeno na případové studii prostředí pro testování kritických aplikací. Přínosem disertační práce je zejména zmíněná podpora dynamických architektur a integrace s architekturami orientovanými na služby.
|
|
|
Softwarová architektura otevřené veřejné správy
Kroupa, Tomáš ; Nečaský, Martin (vedoucí práce) ; Chlapek, Dušan (oponent)
Veřejná správa disponuje významným množstvím informací, jejíž hodnota je dosud nevyužita. Aplikace principů OpenData a LinkedData umožní tyto informace nejenom efektivně publikovat ale především využít jejich hodnotu. Cílem této práce je analyzovat současný stav, zhodnotit a diskutovat překážky a navrhnout řešení k aplikaci principů OpenData a LinkedData na veřejnou správu ČR.
|
|
| |
|
|
Aplikační rámec pro vývoj informačních systémů v jazyce Dart
Raška, Miroslav ; Křivka, Zbyněk (oponent) ; Rychlý, Marek (vedoucí práce)
Vývoj webových aplikacích se potýká se specifickými problémy, které by mohly být vyřešeny novým webovým aplikačním rámcem kombinujícím moderní technologie a nový přístup k návrhu aplikací. Jednotlivé problémy webových aplikací jsou nastíněny včetně stavu jejich řešení v současných webových rámcích. Představena je architektura řízená zprávami, kostra aplikačních komponent a rozličná rozšíření. Popsány jsou problémy při implementaci obecného řešení v jazyce Dart. Dopady jednotlivých rozhodnutí a řešení problémů jsou ilustrovány na ukázkách reálných webových aplikací.
|
|
|
Webový portál pro podporu samo učení
Lukáš, Radek ; Solár, Peter (oponent) ; Ruttkay, Ladislav (vedoucí práce)
Bakalářská práce na téma Webový portál pro podporu samo učení se zabývá problematikou samo učení jak z hlediska teoretického, tak i praktického. Vysvětluje principy lidského učení a jeho efektivnějšího využívání za účelem dosažení lepších výsledků s vynaložením menší námahy studujícího. Podstatnou součástí bakalářské práce je návrh algoritmu respektujícího teoretické poznatky a vhodného pro počítačový program podporující samo učení a praktická implementace webové aplikace obsahující předměty, učebnice, kapitoly a karty, ze kterých si student může sestavit test. Princip aplikace je založen na samo hodnocení studentem, kdy otázky v testu se opakují podle tohoto samo hodnocení a závislosti na čase. Aplikace slouží jako pomocník pro rychlejší a dokonalejší zvládnutí dané látky při multimediálním obsahu a universálnosti použití.
|
|
|
Návrh a analýza systému pro správu autobusové dopravy
Lebeda, Martin ; Lukáš, Roman (oponent) ; Fiala, Jiří (vedoucí práce)
Cílem projektu bylo vytvořit Informační systém autobusové dopravy. Při detailnějším zamyšlení bylo zřejmé, že tento systém bude podporovat i tramvajovou, trolejbusovou a vlakovou dopravu. Podstatná část projektu je zaměřena na softwarové inženýrství, objektově orientovaný návrh aplikace. Implementace je provedena v jazyce PHP za podpory databáze MySQL. Pro vyhledávání spojů bude použito metod umělé inteligence.
|
|
|
Návrh a analýza sportovního informačního systému
Stružka, Jaroslav ; Lukáš, Roman (oponent) ; Fiala, Jiří (vedoucí práce)
Tato bakalářská práce obsahuje popis analýzy, návrhu a následné implementace informačního systému. Informační systém je určena pro záznam a zveřejňování výsledků zápasů, tabulek skupin, informací o týmech, hračích a trenérech, statistik týmů a hráčů. Mimo výsledků zápasů systém eviduje také podrobnější události v zápasu jako počet diváků, autory branek, udělené karty, provedená střídání a časy těchto událostí. Dále uchovává informace o stadionech, na kterých se jednotlivé zápasy hrají. Součástí systému má být prvek umělé inteligence. Ten dokáže na~základě podmínek, které popisují zápas, přiřadit sestavu rozhodčích k jednotlivým zápasům
|
|
|
Softwarová architektura
Horčic, Michal ; Buchalcevová, Alena (vedoucí práce) ; Mittner, Jan (oponent)
Práce se zabývá dokumentací architektury softwaru. Nejdříve definuje softwarovou architekturu a její vlastnosti, poté definuje dokumentaci softwarové architektury. Následuje popis tří metod dokumentace. Metoda Views and Beyond je popsána podrobněji a v poslední části je popsán vytvořený nástroj v CMS Drupal, který slouží k dokumentaci softwarové architektury právě na základě metody Views and Beyond. Hlavním cílem práce je vytvoření nástroje pro zjednodušení dokumentování softwarové architektury.
|
host ::
RSS.