|
|
Web Based Issue Tracker
Krivák, Radoslav ; Poch, Tomáš (advisor) ; Libič, Peter (referee)
The present work deals with the analysis, design and implementation of an issue tracking system with web interface. The introduction is to explain what an issue tracker is and what are the bene ts of its deployment in the organization or company. Consequently, new solution is designed and described with the help of usecases. The work brings an overview of technologies and patterns used in Java web application development. Architecture of the application and the way selected technologies are used is described. The main part of the work is the implementation of the application itself in the Java language with the help of Struts2, Spring, Hibernate and Lucene technologies.
|
|
|
Syntax-based extraction of component behavior specifications
Reidinger, Josef ; Poch, Tomáš (advisor) ; Šimko, Viliam (referee)
There is a component based paradigm which can be used for large software systems. It has advantage that its parts - components can be resused and if contain behavior description it allows many behavior analyses. A component contains static description of interface for reusing and optionally behavior description for correctness analyses. It is possible to further analyze behavior description whether a component does not break restrictions of the required components, whether the resulted behavior is the expected one and whether all components fit together. Behavior description defines restrictions on component methods and how it reacts to an invocation of method. The reactions specify order and workflow of invoking methods from the required interfaces. Manual writing of component behavior is prone to bugs and it should be automated. The result of this work is a tool which can generate automatic behavior description from the source code that does not violate restrictions. The tool can be used to add behavior description during transformation legacy systems to component based ones or to check how source code changes affect behavior description. The work also contains an evaluation of possible technologies which can be used for analysis. The tool is a part of the international Q-Impress project and uses other...
|
|
|
Sewing pattern editor
Černý, Martin ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Sewing pattern construction is a fundamental part of garment design. The subject of this thesis is the implementation of an editor of sewing patterns, that would suite the needs of independent apparel designers and custom apparel manufacturers. The editor follows closely the procedure of manual pattern design and thus is easy to use for the designer. The final program covers the most vital steps in pattern design. Patterns created in the program can be reused for different customers, since they automatically adjust to given body measures.
|
|
|
Distributed Behavior Protocol Checker
Poch, Tomáš
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the relatively small tasks. One of the approaches that significantly decrease state space of the task is Behavior Protocol [1]. Behavior protocol is regular language that describes behavior of software component so that component implementation details are hidden during checking of whole application - what is reduced to the checking whether behavior protocols of used components are compliant. However even checking of behavior protocols compliance faces the exponential growth of number of states. Distributed state space traversing together with 'on the fly' state space generation [2] can be used to improve both time and space requirements.
|
|
|
M-lizer
Woska, Aleš ; Kofroň, Jan (advisor) ; Poch, Tomáš (referee)
The thesis deals with the development of a software sound synthesizer of the .NET platform. The goal is to create a software tool which creates data, that are passed to a sound card or a similar device and that can by played on an output sound device, from MIDI data. Emphasis is placed on a authenticity of a sound output. Created sound would therefore be most resemble the sound of real instruments. Another goal is to create a guide, on how to write a software sound synthesizer that supports VST technology. Powered by TCPDF (www.tcpdf.org)
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.
|
|
|
Application for Presentation of SCADA System Measurements
Široký, Jan ; Ježek, Pavel (advisor) ; Poch, Tomáš (referee)
The goal of this thesis was to create a web application which will show and present the data measured in the SCADA system. It consists of two halves - the server and the client. The server fetches the data from the archive database, processes it and sends it to the client. The client side presents these data in tables, graphs or graphical schemes. Next part of the thesis was to design a format and a representation of these schemes and implement a simple editor for them. The editor provides functionality to create a new scheme from basic geometric shapes, bitmap images, text labels, etc. Some properties of these objects may be linked to the data sources, so the scheme, in dependence on the data, dynamically changes.
|
|
|
Management and monitoring framework based on XMPP protocol
Vachna, Michal ; Poch, Tomáš (advisor) ; Kofroň, Jan (referee)
Nowadays there is lots of programs and tools available for monitoring and management. Each offers a set of features and user interface, which is often in the form of specific application. Tool developed in this bachelor's thesis attempts to prove that using the means such as XMPP protocol, it is possible to monitor and manage remote systems through a chat window in the IM client. Interactivity of XMPP protocol ensures rapid notification , which is very important to monitoring. The tool structure of the core with plug-ins allows users to extend functionality and to adapt it to their own needs.
|
|
|
Investment Strategies Simulator
Helešic, Tomáš ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Title: Investment Strategies Simulator Author: Tomáš Helešic Department: Department of Software Engineering Supervisor: RNDr. Ondřej Šerý Supervisor's e-mail address: ondrej.sery@d3s.mff.cuni.cz Abstract: The goal of this thesis is the creation of an investment strategies simulator. The resulting program allows users to download current and historical stock data, visualize it using charts and implement on it the tools of technical analysis. These components are designed and linked to create fully worthwhile environment for the creation, evaluation and representation of user strategies. Keywords: Investment strategies; Technical analysis, Scripting;
|
|
|
Distributed Behavior Protocol Checker
Poch, Tomáš
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the relatively small tasks. One of the approaches that significantly decrease state space of the task is Behavior Protocol [1]. Behavior protocol is regular language that describes behavior of software component so that component implementation details are hidden during checking of whole application - what is reduced to the checking whether behavior protocols of used components are compliant. However even checking of behavior protocols compliance faces the exponential growth of number of states. Distributed state space traversing together with 'on the fly' state space generation [2] can be used to improve both time and space requirements.
|
guest ::
