|
|
Localization plugin for Visual Studio
Štumpf, Ondřej ; Malý, Jakub (advisor) ; Ježek, Pavel (referee)
Many applications nowadays are intended to be used worldwide, supporting several languages in user interface. The process of making the application aware of multilingual environments is called localization. The programming languages used to develop such applications provide certain support for localization, but it is not perfect and may significantly complicate the development. This project aims to solve the problem in the .NET Framework environment by creating a plugin for Microsoft Visual Studio, which helps developers with routine tasks associated with localization. The most common .NET programming languages and technologies are supported, i.e. C#, Visual Basic .NET and ASP .NET. The plugin makes it possible to extract localizable string literals from source code (offering help with selecting only the relevant ones) and move them to specified resource files and vice versa. Also, editor of resource files is provided, helping developers maintain only relevant content in them and perform advanced operations with the resource files.
|
|
|
Universal Constraint Language
Piják, Peter ; Nečaský, Martin (advisor) ; Malý, Jakub (referee)
Title: Universal Constraint Language Author: Peter Piják Department / Institute: Department of Software Engineering Supervisor of the master thesis: Mgr. Martin Nečaský, Ph.D. Abstract: Today's software applications are typically compound of system of more application components. By modeling of software, various integrity constraint languages are used for particular parts of model (e.g. OCL for UML class diagrams, Schematron for XML or SQL triggers for relational databases). Constraint expressions need to be converted to expressions over different meta-models. These tasks are non-trivial. In this thesis, a new common language Universal Constraint Language (UCL) for expressing integrity constraints over various data meta-models is introduced. It is formally defined and also its parser is implemented. We also present semi-automatic translating between constraints over various meta-models; and deriving constraints from the introduced language to constraints in specific constraint languages. Keywords: constraint language, model-driven architecture, universal formalism
|
|
|
XML Schema Evolution
Malý, Jakub
In the presented work we study the XML data evolution, reasons and consequences of XML schema evolution in particular. The thesis contains a survey of the existing approaches to this problem. The approach presented in this work extends the XSem conceptual model with the support for multiple versions of the model. Thanks to this extension, it is possible to define a set of changes between two versions of a schema. The thesis contains a description of an algorithm that compares two versions of a schema and produces a revalidation script in XSL.
|
|
|
VBA Application for Invoice and Registration of Sold Products
Bárek, Tomáš ; Malý, Jakub (referee) ; Dydowicz, Petr (advisor)
Bachelor thesis is focused on present way how Medingo s.r.o. deals with invoices generation process for their sales representatives. Based on real experiences I try to design new methodology of invoice management and generation process. New design should increase level of automatization and standardization which should lead to simpler, faster and less-error occurring experience in comparison to current state.
|
|
|
Verifying integrity constraints in C# using Code Contracts
Dort, Vlastimil ; Malý, Jakub (advisor) ; Ježek, Pavel (referee)
OCL serves as a language for specification of integrity constraints on UML models, Code Contract allow the integrity constraints to be expressed in programming languages targeting Microsoft .NET Framework. The goal of the thesis is to find and implement a translation of integrity constraints form the OCL language to C#, using Code Contracts. The features of Code Contracts and OCL are presented, then individual language constructs and standard library operations are compared with syntactic and semantic equivalents in C#. The chosen translation aims to match the semantics of OCL where possible. Code generation of C# sources is implemented in the eXolutio application, which provides a class diagram editor and an OCL parser. Powered by TCPDF (www.tcpdf.org)
|
|
|
Evil as privatio boni in the works of Aurelius Augustinus and Carl Gustav Jung
Malý, Jakub ; Halama, Jindřich (advisor) ; Fischer, Ondřej (referee)
This thesis deals with the question of evil as privatio boni according to the teachings of Augustine of Hippo and the conception of evil in the work of Carl Gustav Jung who denied this Augustine's teachings. In the thesis I analyze attitudes that adopt both thinkers to categories of good and evil in relation to impacts of their conceptions on understanding of God, self-understanding of man, of his life, death and salvation, further of the relation of God and man and the human moral responsibility before God and society. Augustine maintains that evil is an absence of good, but Jung thinks that the reality is put together from the balance of good and evil. Their attitudes I scarify with the aid of the secondary literature and the explanation of that biblical places that both thinkers refer to.
|
|
|
Automatic Generation of Synthetic XML Documents
Betík, Roman ; Holubová, Irena (advisor) ; Malý, Jakub (referee)
The aim of this thesis is to research the current possibilities and limitations of automatic generation of synthetic XML documents. The first part of the work discusses the properties of the most used XML data generators and compares them to each other. The next part of the thesis proposes an algorithm for XML data generation which focuses on subset of the main XML data characteristics (number of elements, number of attributes, fan-out, mixed contents etc.). The main target of the algorithm is to generate XML documents using a set of settings which are easy to understand. The last part of the work compares the proposed solution with the existing ones. The comparison focuses on how easy it is to generate XML documents, what structures can be created and finally it compares properties of the similar XML data created using different XML data generators. Powered by TCPDF (www.tcpdf.org)
|
|
|
XML Document Adaptation and Integrity Constraints in XML
Malý, Jakub ; Nečaský, Martin (advisor) ; Bača, Radim (referee) ; Grossmann, Georg (referee)
This work examines XML data management and consistency -- more precisely the problem of document adaptation and the usage of integrity constraints. Changes in user requirements cause changes in schemas used in the systems and changes in the schemas subsequently make existing documents invalid. In this thesis, we introduce a formal framework for detecting changes between two versions of a schema and generating a transformation from the source to the target schema. Large-scale information systems depend on integrity constraints to be preserved and valid. In this work, we show how OCL can be used for XML data to define constraints at the abstract level, how such constraints can be translated to XPath expressions and Schematron schemas automatically and verified in XML documents.
|
|
|
Validation of XML documents against XSEM PSM schemas
Skalický, Jakub ; Malý, Jakub (advisor) ; Bednárek, David (referee)
XSEM is a modeling language created for modeling XML schemas. Its implementation, called eXolutio, provides a user friendly interface for modeling schemas in XSEM. The aim of this work is to design an algorithm for validation of XML documents against XSEM PSM schemas and comparison of the expressive power of XSEM PSM with other XML schema languages. The thesis contains the description of fundamental algorithm and all the extensions required to fully support all the constructs and capabilities provided by XSEM. The practical part describes the implementation of the proposed algorithm as an extension of eXolutio.
|
|
|
Localization plugin for Visual Studio
Štumpf, Ondřej ; Malý, Jakub (advisor) ; Ježek, Pavel (referee)
Many applications nowadays are intended to be used worldwide, supporting several languages in user interface. The process of making the application aware of multilingual environments is called localization. The programming languages used to develop such applications provide certain support for localization, but it is not perfect and may significantly complicate the development. This project aims to solve the problem in the .NET Framework environment by creating a plugin for Microsoft Visual Studio, which helps developers with routine tasks associated with localization. The most common .NET programming languages and technologies are supported, i.e. C#, Visual Basic .NET and ASP .NET. The plugin makes it possible to extract localizable string literals from source code (offering help with selecting only the relevant ones) and move them to specified resource files and vice versa. Also, editor of resource files is provided, helping developers maintain only relevant content in them and perform advanced operations with the resource files.
|
guest ::
RSS feed.