|
Framework for Creation and Verification of Specification Models
Matalík, Štěpán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.
|
|
Graphical Editor for Job Structure Configuration in Batching API
Hanus, Tomáš ; Kolář, Dušan (referee) ; Křivka, Zbyněk (advisor)
This bachelor’s thesis describes implementation of a graphical editor for a job structure configuration in Java EE Batching API in the form of a plugin for integrated development enviroment IntelliJ IDEA. It focuses mainly to allow a bi-directional propagation of changes between both graphical and text representation of JSL language. This document introduces the characteristic of batch processing and also the architecture of IntelliJ IDEA. It also briefly describes the design of the plugin and some of the procedures used in its implementation. The usability of this tool is demonstrated by five examples of batch jobs. In the end, there are mentioned some possibilities for the future improvements. The tool is available under Open Source license.
|
|
Interface for management of optical line termination in passive optical network
Kováč, Dávid ; Holík, Martin (referee) ; Horváth, Tomáš (advisor)
This bachelors thesis deals with the creation of a graphic user interface for the configuration of optical line terminal for passive optical networks. The aim of the thesis was to make the configuration of optical line terminal easier and more convenient. The graphic user interface allows the user to configure ONTs, display all connected ONTs, show the event log and to configure alarm profiles. The theoretical part of the thesis deals with getting acquainted with passive optical networks and getting familiar with how the graphical interface was created. Furthermore, there are the programming tools and the extension used to create the GUI, an explanation of how and why each part of the GUI was created, including the classes and the methods which were used, how the testing went and the results. At the end of the thesis is a manual of what needs to be installed to make the GUI work and how to use it.
|
|
Interface for management of optical line termination in passive optical network
Kováč, Dávid ; Holík, Martin (referee) ; Horváth, Tomáš (advisor)
This bachelors thesis deals with the creation of a graphic user interface for the configuration of optical line terminal for passive optical networks. The aim of the thesis was to make the configuration of optical line terminal easier and more convenient. The graphic user interface allows the user to configure ONTs, display all connected ONTs, show the event log and to configure alarm profiles. The theoretical part of the thesis deals with getting acquainted with passive optical networks and getting familiar with how the graphical interface was created. Furthermore, there are the programming tools and the extension used to create the GUI, an explanation of how and why each part of the GUI was created, including the classes and the methods which were used, how the testing went and the results. At the end of the thesis is a manual of what needs to be installed to make the GUI work and how to use it.
|
|
Framework for Creation and Verification of Specification Models
Matalík, Štěpán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.
|
|
Graphical Editor for Job Structure Configuration in Batching API
Hanus, Tomáš ; Kolář, Dušan (referee) ; Křivka, Zbyněk (advisor)
This bachelor’s thesis describes implementation of a graphical editor for a job structure configuration in Java EE Batching API in the form of a plugin for integrated development enviroment IntelliJ IDEA. It focuses mainly to allow a bi-directional propagation of changes between both graphical and text representation of JSL language. This document introduces the characteristic of batch processing and also the architecture of IntelliJ IDEA. It also briefly describes the design of the plugin and some of the procedures used in its implementation. The usability of this tool is demonstrated by five examples of batch jobs. In the end, there are mentioned some possibilities for the future improvements. The tool is available under Open Source license.
|
|
Compare NetBeans IDE, Eclipse IDE and IntellIJ IDEA
Gazárek, Roman ; Pecinovský, Rudolf (advisor) ; Šlajchrt, Zbyněk (referee)
This bachelor's thesis presents a comparison of integrated development environments NetBeans, Eclipse and IntelliJ IDEA. The aim is to acquaint the reader with the concepts of the compared integrated development environments in order to get a better idea of what these IDEs offer the users as well as how the given concepts of the compared IDEs differ. Finally, there are recommendations made for various groups of users on what criteria to focus and which IDE to rather choose.
|
|
Evaluation of version control support in Integrated Development Environments for Java
Říha, Jan ; Pavlíček, Luboš (advisor) ; Kamenišťák, Marián (referee)
Source Code Management Systems belong to the most important tools used for the software development. The aim of this bachelor thesis is to establish criteria and then to evaluate a support of these systems in Integrated Development Environments for Java. Subversion has been chosen as the relevant SCM System, because it is significantly favoured among open source software developers. According to the features of this system, the author establishes detailed criteria that given IDEs should meet. Then, the most common IDEs aimed at the Java development are examined on their meeting these criteria. In the conclusion of this thesis are expressed direct results of the testing and also some general suggestions concerning a next development of these products.
|