|
|
Localization plugin for Visual Studio
Štumpf, Ondřej ; Malý, Jakub (vedoucí práce) ; Ježek, Pavel (oponent)
Mnoho aplikací se v dnešní době vyvíjí s úmyslem nasadit je po celém světě a umožnit každému uživateli výběr zobrazení v různých jazycích. Proces přizpůsobování aplikace více kulturním prostředím se nazývá lokalizace. Programovací jazyky lokalizaci do jisté míry podporují, ale tato podpora není zdaleka dokonalá a může významně zpomalit a zkomplikovat vývoj aplikace. Cílem tohoto projektu je vyřešit tento problém v prostředí .NET Framework vytvořením pluginu do Microsoft Visual Studia, který by vývojářům usnadňoval rutinní úkoly spojené s lokalizací. Podporované jsou nejběžnější programovací jazyky a technologie .NETu, tj. C#, Visual Basic .NET a ASP .NET. Tento plugin umožňuje extrahovat řetězce ze zdrojových kódů, vybrat ty, které se mají lokalizovat a přesunout je do souborů s resources. Reverzní operace, tj. nahrazení odkazu v kódu skutečnou hodnotou, je rovněž podporována. S udržováním pouze relevantních dat v souborech s resources vývojářům pomáhá nový editor těchto souborů, který s nimi umožňuje provádět i další pokročilé operace.
|
|
|
Universal Constraint Language
Piják, Peter ; Nečaský, Martin (vedoucí práce) ; Malý, Jakub (oponent)
Názov práce: Univerzálny jazyk pre integritné obmedzenia Autor: Peter Piják Katedra / Ústav: Katedra softwarového inženýrství Vedúci diplomovej práce: Mgr. Martin Nečaský, Ph.D. Abstrakt: Dnešné softvérové systémy sú zvyčajne zložené zo systému viacerých komponent. Pri navrhovaní a modelovaní systému sa pri jednotlivých častiach modelu vyjadrujú integritné obmedzenia v rôznych jazykoch pre zápis integritných obmedzení (napríklad jazyk OCL pre UML diagramy tried, Schematron pre model XML alebo SQL triggery pre relačné databázy). Výrazy integritných obmedzení musia byť prekladané do výrazov nad inými meta-modelmi do iného jazyka, čo je netriviálna úloha. V tejto práci je predstavený jazyk pre integritné obmedzenia Universal Constraint Language (UCL), ktorým je možné vyjadriť výrazy integritných obmedzení nad rôznymi dátovými meta-modelmi. Jazyk je formálne zadefinovaný a je implementovaný jeho analyzátor (parser). Ďalej popisujeme spôsob prevodu výrazov medzi jednotlivými meta-modelmi a odvodzovanie z výrazov v prezentovanom jazyku do existujúcich špecifických jazykov pre integritné obmedzenia. Kľúčové slová: jazyk pre integritné obmedzenia, Modelom riadená architektúra (MDA), univerzálny formalizmus
|
|
|
XML Schema Evolution
Malý, Jakub
V předložené práci studujeme evoluci XML dat, a především důvody a dopady evoluce XML schémat. Práce obsahuje přehled existujících přístupu. Přístup prezentovaný v této práci rozšiřuje konceptuální model XSem o podporu více verzí systému. Díky tomuto rozšíření lze definovat sadu změn mezi dvěma verzemi. Dále práce obsahuje popis algoritmu, který porovnáním dvou verzí schématu vytvoří revalidační skript v jazyce XSL.
|
|
|
VBA aplikace pro evidenci a fakturaci prodaných produktů
Bárek, Tomáš ; Malý, Jakub (oponent) ; Dydowicz, Petr (vedoucí práce)
Bakalářská práce se zaměřuje na rozbor aktuálního způsobu, který společnost Medingo s.r.o. používá pro generování faktur svým obchodním zástupcům. Cílem práce je na základě reálných zkušeností navrhnout novou metodiku správy a generování faktur pro obchodní zástupce. Nový návrh počítá se zvýšením míry automatizace a standardizace tak, aby se proces správy a generování faktur zjednodušil, zrychlil a zabránilo se vzniku chyb, ke kterým dochází při použití aktuálního řešení.
|
|
|
Ověřování integritních omezení v C# pomocí Code Contracts
Dort, Vlastimil ; Malý, Jakub (vedoucí práce) ; Ježek, Pavel (oponent)
Jazyk OCL slouží pro specifikaci integritních omezení nad modelem jazyka UML, Code Contracts umožňují integritní omezení zapsat v programovacích jazycích pro platforum Microsoft .NET Framework. Cílem předložené práce je najít a implementovat překlad integritních omezení z jazyka OCL do programovacího jazyka C# s využitím Code Contracts. Představeny jsou možnosti technologie Code Contracts a jazyka OCL, jednotlivé jazykové konstrukce a operace ze standardní knihovny jazyka OCL jsou pak porovnány se syntakticky a sémanticky obdobnými vyjádřeními v jazyce C#. Zvolený překlad se snaží tam, kde je to možné, dodržovat sémantiku jazyka OCL. Generování zdrojových kódů v jazyce C# s Code Contracts je implementováno do programu eXolutio, ze kterého je využit editor diagramů tříd a parser jazyka OCL. Powered by TCPDF (www.tcpdf.org)
|
|
|
Zlo jako privatio boni podle Augustina Aurelia a Carla Gustava Junga
Malý, Jakub ; Halama, Jindřich (vedoucí práce) ; Fischer, Ondřej (oponent)
Tato diplomová práce se zabývá otázkou zla jako privatio boni podle učení Augustina Aurelia a pojetím zla v díle Carla Gustava Junga, který Augustinovo učení popíral. V této práci analyzuji stanoviska, která oba myslitelé zaujímají ke kategoriím dobra a zla vzhledem k dopadům jejich pojetí na chápání Boha, sebepochopení člověka, jeho života, smrti a spásy, dále vztahu Boha a člověka a lidské mravní odpovědnosti vůči Bohu a společnosti. Augustin zastává názor, že zlo je nedostatkem, kdežto Jung se domnívá, že skutečnost je složena z rovnováhy dobra i zla. Tato jejich stanoviska podrobuji kritice pomocí sekundární literatury a výkladu biblických míst, na které se myslitelé odvolávají.
|
|
|
Automatic Generation of Synthetic XML Documents
Betík, Roman ; Holubová, Irena (vedoucí práce) ; Malý, Jakub (oponent)
Cílem této práce je prozkoumat možnosti a omezení v generování umělých XML dokumentů. První část práce zkoumá vlastnosti nejpoužívanějších XML generátorů a porovnává je mezi sebou. Další část práce popisuje návrh vlastního algoritmu na generování XML dat, který se zaměřuje na podmožinu hlavních charakteristik XML dat (počet elementů, počet atributů, fan-out, zmíšený obsah atd.). Hlavním cílem algoritmu je generování XML dokumentů použitím množiny jednoduchých nastavení. Poslední část práce srovnává vlastní řešení s existujícími. Porovnání se zaměřuje na jednoduchost generování XML dokumentů, porovnání toho, jaké struktury je možné generátorem dosáhnout a nakonec porovnává vlastnosti podobných XML dat vytvořených různými XML generátory. Powered by TCPDF (www.tcpdf.org)
|
|
|
XML Document Adaptation and Integrity Constraints in XML
Malý, Jakub ; Nečaský, Martin (vedoucí práce) ; Bača, Radim (oponent) ; Grossmann, Georg (oponent)
Práce se zabývá managementem a konzistencí XML dat -- přesněji problémem adaptace dokumentů a užití integritních omezení. Změny požadavků uživatelů často způsobují změny ve schématech používaných v systému a následně způsobí, že stávající dokumenty se stanou nevalidními. V práci představíme formální framework pro detekci změn mezi dvěma verzemi schématu a generování transformace z původní na novou verzi schématu. Rozsáhlé informační systémy spoléhají na platnost integritních omezení. V práci ukážeme, jak lze pro definici omezení v XML datech na abstraktní úrovni použít jazyk OCL a jak lze tato omezení přeložit do výrazů jazyka XPath, schemat jazyka Schematron a ověřit tak jejich platnost.
|
|
|
Validace XML dokumentů vůči PSM schématům jazyka XSEM
Skalický, Jakub ; Malý, Jakub (vedoucí práce) ; Bednárek, David (oponent)
XSEM je jazyk pro modelování XML schémat. Pro modelování pomocí jazyka XSEM byl vytvořen program eXolutio, který nabízí uživateli pohodlný způsob jak využít všechny výhody jazyka XSEM. Předmětem této práce je návrh algoritmu pro validaci XML dokumentů vůči PSM schématům jazyka XSEM a porovnání vyjadřovací síly s ostatními jazyky pro definici XML schémat. Je zde popsán základní algoritmus použit pro validaci a všechna jeho nezbytná rozšíření, které bylo nutno doplnit, aby algoritmus pokrýval všechny možnosti jazyka XSEM. Součástí je také praktická implementace algoritmu jako rozšíření programu eXolutio.
|
|
|
Localization plugin for Visual Studio
Štumpf, Ondřej ; Malý, Jakub (vedoucí práce) ; Ježek, Pavel (oponent)
Mnoho aplikací se v dnešní době vyvíjí s úmyslem nasadit je po celém světě a umožnit každému uživateli výběr zobrazení v různých jazycích. Proces přizpůsobování aplikace více kulturním prostředím se nazývá lokalizace. Programovací jazyky lokalizaci do jisté míry podporují, ale tato podpora není zdaleka dokonalá a může významně zpomalit a zkomplikovat vývoj aplikace. Cílem tohoto projektu je vyřešit tento problém v prostředí .NET Framework vytvořením pluginu do Microsoft Visual Studia, který by vývojářům usnadňoval rutinní úkoly spojené s lokalizací. Podporované jsou nejběžnější programovací jazyky a technologie .NETu, tj. C#, Visual Basic .NET a ASP .NET. Tento plugin umožňuje extrahovat řetězce ze zdrojových kódů, vybrat ty, které se mají lokalizovat a přesunout je do souborů s resources. Reverzní operace, tj. nahrazení odkazu v kódu skutečnou hodnotou, je rovněž podporována. S udržováním pouze relevantních dat v souborech s resources vývojářům pomáhá nový editor těchto souborů, který s nimi umožňuje provádět i další pokročilé operace.
|
host ::
RSS.