Dudka, Vendula - Search Results - Digital Repository

guest :: login Digital Repository
		Search		Submit		Help		About

Home > Search Results: Dudka, Vendula

Search:

Search Tips :: Advanced Search

Search collections:

Sort by:	Display results:	Output format:

	Implementation of 3D Logic Game in JavaScript Knapovský, Martin ; Beran, Vítězslav (referee) ; Dudka, Vendula (advisor) This bachelor's thesis describes development of a web game based on analysis of Berušky 2 game. Technologies needed for development are briefly introduced as well as the theory necessary for understanding the methods used in implementation. The final solution was put through tests, results of which serve as a basis for discussion about overall usability of technologies newly appearing on the web scene. Detailed record
	Integration of JMS Providers to Third Parties Žiaková, Nikoleta ; Letko, Zdeněk (referee) ; Dudka, Vendula (advisor) This thesis deals with messaging and integration of third-party JMS providers into JBoss application server. The aim of the thesis was to design and implement a general-purpose testsuite to verify the proposed integration. First requirement was to get familiar with key technologies for integration including Java Message Service, Java EE Connector Architecture, selected JMS providers and JBoss AS. Specific procedures of integration were designed and described for JMS providers Apache ActiveMQ, IBM WebSphere MQ and Red Hat MRG Messaging. The testsuite implemented to verify the functionlity of the integration focuses on four areas - transactions, clustering, high availibility and performance. The process of testing was automated using continuous integration tool Jenkins. Finally the test application was used to evaluate functionality of the integration and compare different JMS providers and various versions of JBoss AS. Detailed record
	Bounded Model Checking Using Java PathFinder Dudka, Vendula ; Češka, Milan (referee) ; Křena, Bohuslav (advisor) This thesis deals with the application of bounded model checking method for self-healing assurance of concurrency related problems. The self-healing is currently interested in the Java programming language. Therefore, it concetrate mainly on the model checker Java PathFinder which is built for handling Java programs. The verification method is implemented like the Record&Replay trace strategy for navigation through a state space and performance bounded model checking from reached state through the use of Record&Replay trace strategy. Java PathFinder was extended by new moduls and interfaces in order to perform the bounded model checking for self-healing assurance. Bounded model checking is applied at the neighbourhood of self-healing. Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.

Digital Repository :: :: :: ::
Powered by v1.1.2
Maintained by

This site is also available in the following languages:
Česky English