Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Verifikace a analýza software.
Dissertationen zum Thema „Verifikace a analýza software“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Verifikace a analýza software" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
1
Letko, Zdeněk. „Analýza a testování vícevláknových programů“. Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-261265.
Der volle Inhalt der QuelleAnnotation:
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
2
Vašíček, Ondřej. „Adaptér OSLC pro analýzu softwaru“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445498.
Der volle Inhalt der QuelleAnnotation:
Cílem této práce je poskytnout snadný způsob, jak rozšířit analyzační nástroj o rozhraní splňující standard OSLC. Takové rozhraní umožňuje jednoduchou integraci nástrojů s jinými nástroji nebo systémy, umožňuje jejich vzdálené použití skrze webové služby a umožňuje je jednoduše propojit s databází pro databázové dotazy a pro perzistentní uložení dat. Toto je dosaženo návrhem a implementací OSLC adaptéru pomocí sady nástrojů Eclipse Lyo. Adaptér používá jako rozhraní doménu OSLC Automation a je dostatečně univerzální na to, aby skrze toto rozhraní pokryl funkcionalitu většiny analyzačních nástrojů za pomocí jejich stávajících rozhraní na příkazové řádce. Tato práce poskytuje úvod k OSLC, Eclipse Lyo a souvisejícím konceptům. Dále tato práce definuje požadavky a odlišnosti různých analyzačních nástrojů a diskutuje návrh adaptéru a faktory, které ovlivnily návrhová rozhodnutí. A nakonec prezentuje implementovaný adaptér a jeho vyhodnocení pomocí automatizované testovací sady a pomocí experimentů s řadou analyzačních nástrojů. Nejvýznamnější ukazatel hodnocení vytvořeného adaptéru je to, že už teď je používán v praxi pro přidání OSLC rozhraní k nástrojům ANaConDA, Perun, Spectra (všechny tři vyvíjené na VeriFIT) a HiLiTE (Honeywell).
3
Vyvial, Pavel. „Statická detekce častých chyb JBoss aplikačního serveru“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237160.
Der volle Inhalt der QuelleAnnotation:
First, a few bugs from a list of common bug were chosen and patterns describing these bugs were inferred. Then, detectors searching for such patterns were implemented as plug-ins to FindBugs static analyzer. Finally, detectors were used to detect bugs in development version of JBoss AS. Results are presented at the end of this paper.
4
Žárský, Jan. „Instrumentace Java programů, kontrakty pro paralelismus“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445489.
Der volle Inhalt der QuelleAnnotation:
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violations of parametric contracts with spoilers. The proposed analyzer was implemented as an extension to the RoadRunner framework. Support for accessing the method arguments and return values was added to RoadRunner as a part of the solution. The analyzer was fully implemented and verified on a set of testing programs.
5
Letko, Zdeněk. „Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235989.
Der volle Inhalt der QuelleAnnotation:
Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two distinct algorithms for detecting of data races are presented. One of them is a novel algorithm called AtomRace which detects data races as a special case of atomicity violations. The healing is based on suppressing a recurrence of the detected problem and can be performed by introducing an additional synchronization or by legally influencing the Java scheduler. Basically forces certain parts of the code to be executed atomically. The proposed architecture uses bytecode instrumentation to be able to track and influence the execution. The architecture and algorithms were implemented and tested on multiple case studies.
6
Beránek, Jan. „Verifikace rukopisu a podpisu“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237258.
Der volle Inhalt der QuelleAnnotation:
This paper concerns methods of verification of person's signature and handwriting. Some of commonly used techniques are resumed and described with related literature being referred. Next aim of this work is design and implementation of a simple handwriting verification application. Application is based on edge detection and comparison of a set of structural and statistical features. As a support classification tool a SVM classifier of the LIBSVM software is employed. The Application is written in C language using OpenCV graphics library. Testing and training set was extracted from samples found in the IAM Handwriting Database. Application was created and tested in the Windows XP operating system.
7
Mačišák, Lukáš. „Problematika testování a verifikace softwaru pro leteckou techniku“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-236942.
Der volle Inhalt der QuelleAnnotation:
This Master's Thesis describes methods of software certification and development of airborne systems, focusing on software testing and verification during project's life cycle. Thesis includes also designed software verification plan for concrete application according to RTCA/DO-178B. Another part of thesis illustrates the exemplary realization of tests according to designed verification plan. At the close we describe the options of applying the designed verification plan and evaluation of its results.
8
Hruška, Martin. „Verifikace ukazatelových programů pomocí lesních automatů“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2015. http://www.nusl.cz/ntk/nusl-234895.
Der volle Inhalt der QuelleAnnotation:
In this work, we focus on improving the forest automata based shape analysis implemented in the Forester tool. This approach represents shapes of the heap using forest automata. Forest automata are based on tree automata and Forester currently has only a simple implementation of tree automata. Our first contribution is replacing this implementation by the general purpose tree automata library VATA, which contains the highly optimized implementations of automata operations. The version of Forester using the VATA library participated in the competition SV-COMP 2015. We further extended the forest automata based verification method with two new techniques - a counterexample analysis and predicate abstraction. The first one allows us to determine whether a found error is a real or spurious one. The results of the counterexample analysis is also used for creating new predicates which are used for the refinement of predicate abstraction. We show that both of these techniques contribute to an improvement over the early approach.
9
Konečný, Filip. „Relační verifikace programů s celočíselnými daty“. Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-261262.
Der volle Inhalt der QuelleAnnotation:
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
10
Ťulák, Jan. „Refaktoring a verifikace kódu mkfs xfs“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363735.
Der volle Inhalt der QuelleAnnotation:
Tato práce popisuje průběh refaktoringu programu mkfs.xfs za účelem zpřehlednění jeho kódu a vyčištění technického dluhu naakumulovaného za dvacet let existence tohoto programu, a následně jeho statickou analýzu. Použité nástroje (CppCheck, Coverity, Codacy, GCC, Clang) jsou srovnány z hlediska počtu i typu nalezených chyb.
11
Fiedor, Jan. „Praktické metody automatizované verifikace paralelních programů“. Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-412575.
Der volle Inhalt der QuelleAnnotation:
V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje pro analýzu svých programů. Důvod je jednoduchý, fungující neznamená vždy praktický. Hodně nástrojů implementujících detekční techniky je obtížně použitelných, přizpůsobených pro konkrétní typy programů nebo synchronizace, nebo špatně škálují, aby zvládly analyzovat rozsáhlý software. Pro některé typy chyb v souběžnosti dokonce ani neexistují nástroje pro jejich detekci, i přesto že vývojáři softwaru na tyto chyby často narážejí ve svých programech. Hlavním cílem této práce je navrhnout nové techniky pro detekci chyb ve vícevláknových programech. Tyto techniky by měly být schopny analyzovat rozsáhlé programy, umožnit detekci méně studovaných typů chyb v souběžnosti, a podporovat širokou škálu programů s ohledem na to, jaké programové konstrukce používají.
12
Ševčík, Václav. „Fundamentální analýza měnového kurzu EUR/USD“. Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-76583.
Der volle Inhalt der QuelleAnnotation:
The aim of this thesis is empirical verification of the fundamental theory of exchange rate determination in the case of the currency pair EUR/USD. The theoretical part is devoted to the issue of exchange rate theory, with emphasis on the importance of the currency pair EUR/USD, and major characteristics of the fundamental theory of exchange rate determination. Attention is also paid to methods of analysis of time series, which will be used in the analytical part. The analytical part is devoted to an empirical verification of the underlying theories. On the basis of these theories are developed econometric models, which are then tested using the methods of linear regression and cointegration. The results of the models and their relevance are discussed in conclusion.
13
Kučerová, Petra. „Analýza vybraných platebních protokolů“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237207.
Der volle Inhalt der QuelleAnnotation:
The aim of the master's thesis "Analysis of Selected Payment Protocols" is overview of used payment. The first part is concentrated on data security, the second is dedicated to payment protocols, their characteristics, used technology and security elements. The third part is dedicated to verification and simulation tools. Comparison of particular payment protocols and of particular verification tools is part of this work too. Experimental part of the thesis is focused on formalization and verification of the payment protocol Visa 3-D Secure, of the protocol NetBill and on formalization of two subprotocols of SET.
14
Doležal, Ladislav. „Analýza trhu bezpečnostního softwaru“. Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-199249.
Der volle Inhalt der QuelleAnnotation:
In this thesis, I analyze the global supply of security software (for operating system Win-dows) with a focus on anti-virus programs, which currently mostly implicitly include vari-ous modules of security software. In the first part of my thesis, I will focus on the clarification of issues related to IS / IT se-curity and cybercrime. I describe here the security IS / IT in general, describes the basic concepts and information safety, so that readers gain a basic understanding of this issue. I explain the concept of cybercrime and characterize its main crime. The second part will focus on the clarification of issues relating to security and safety not only domestic, but also corporate computers. I further characterize the greatest threats of our time for PC users and the possibility of prevention. In the third part, I will analyze the security software market analysis due to their market shares and qualifying tests conducted by recognized independent organizations, so to currently provide their full offer. Using the survey I will find out what is the awareness on the selection and use of antivirus software, and on this basis determine what antivirus software are most popular by users.
15
Mohyla, Jan. „Analýza aplikačního software pro testování klimatizací“. Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-376987.
Der volle Inhalt der QuelleAnnotation:
This thesis deals with the analysis of application software for testing airconditioning units. The main objective of the work is to analyze the application software and create its documentation. On the basis of the documentation, the software problems are analyzed and the possible solutions are proposed. Within the thesis the technology of airconditioning units, the programmable logic controller FA-M3 and its programming tool Widefield are described.
16
Návrat, Filip. „Analýza projektu vývoje software na zakázku“. Master's thesis, Vysoká škola ekonomická v Praze, 2007. http://www.nusl.cz/ntk/nusl-1507.
Der volle Inhalt der QuelleAnnotation:
Tato práce se zabývá aplikací a využitím metodologií a metodik projektového řízení a vícekriteriálního rozhodování v prostředí reálného projektu vývoje software na zakázku. V práci jsou formulována doporučení a vhodné přístupy pro využití takovýchto metodologií a metodik v jednotlivých fázích projektu s důrazem na individuální přístup ze strany manažera projektu.
17
Papírníková, Helena. „Analýza pracovních míst společnosti Memos Software, s.r.o“. Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-2761.
Der volle Inhalt der QuelleAnnotation:
Diplomová práce pojednává o analýze pracovních míst v malé softwarové společnosti Memos Software, s.r.o. První část práce se zabývá teorií, přičemž se zaměřuje zejména na důležitost analýzy pracovních míst a na její metody. Druhá praktická část provádí a vyhodnocuje dotazníkové šetření ve zkoumané firmě. Výsledkem výzkumného šetření je sestavení nových aktuálních popisů a specifikací pracovních míst pro Memos Software, s.r.o. Tyto nové profily by měly zefektivnit výběrová řízení firmy.
18
Pikartová, Ivana. „Analýza komunikačního mixu společnosti Memos Software s.r.o“. Master's thesis, Vysoká škola ekonomická v Praze, 2007. http://www.nusl.cz/ntk/nusl-5278.
Der volle Inhalt der QuelleAnnotation:
The thesis is focused on the analysis of the communication mix of Memos Software s.r.o. company which develops the custom software. Before the main analysis the theoretical part takes place in which the traditional components of the communication mix are explained. After that the attention is oriented on the communication mix which is done through the internet. In the practical part the analyzed company is introduced and after that the contemporary status of its communication mix is being described. Based on the analysis in the end of this thesis the recommendations are given with the aim to retrieve the imperfections and to optimize the communication mix of this company.
19
Postler, Štěpán. „Statistická analýza ve webovém prostředí“. Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-199226.
Der volle Inhalt der QuelleAnnotation:
The aim of this thesis is creating a web application that allows dataset import and analyzing data with use of statistical methods. The application uses a user access that allows multiple number of persons manipulate with a single dataset, as well as interact with each other. Data is stored on a remote server and application is accessible from any computer that is connected to the Internet. The application is created in PHP programming language with use of MySQL database system, and user interface is built in HTML language with use of CSS styles. All parts of application are stored on an attached CD in form of text files. In addition to the web application, a part of the thesis is also a text output, which contains a theoretical part in form of description of the chosen statistical analysis methods, and a practical part containing list of application's functions, data model's description and demonstration of data analysis options on specific examples.
20
Theier, Radek. „Analýza požadavků na software v prostředí bankovní instituce“. Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-162751.
Der volle Inhalt der QuelleAnnotation:
This diploma thesis deals with the requirements engineering as one of the key areas of development of software applications. By requirements prospective users express their needs and goals which shall be achieved using the developed application. The correctness and completeness of the requirements is thus critical for the success of any software project. The main objective of this dissertation is determination of steps which must be made to improve quality of requirements on real software project in Czech financial institution. This is achieved by analysis of current requirements development process as well as by analysis of the sample of specific requirements. One part of the carried out analysis focuses also on the revision of actual settings of Atlassian JIRA application which is used for requirements management. Based on the analysis some crucial shortcomings are identified and steps for their elimination are introduced. This includes, inter alia, manual of how to specify correct requirements and checklists for different actors who work with requirements. The theoretical part gives a comprehensive overview of selected techniques and practices which are applicable for requirements gathering and analysis. Every mentioned technique is then evaluated from the perspective of its usability in the environment of large Czech bank. This overview can be useful both for junior analytics as a collection of best practices and for senior analytics as an overview of possible areas for their professional development.
21
Kyjovská, Gabriela. „Podnikatelský plán společnosti Web Software Consulting [cs]“. Master's thesis, Vysoká škola ekonomická v Praze, 2007. http://www.nusl.cz/ntk/nusl-1236.
Der volle Inhalt der QuelleAnnotation:
Diplomová práce je zaměřena v oblasti teorie na charakteristiku malých a středních firem včetně jejich právních forem, na teorii sestavení podnikatelského plánu a na možné zdroje financování podnikatelského plánu. Praktická část se věnuje sestavení konkrétního plánu společnosti Web Software Consulting. Tato práce slouží pro posouzení reálnosti a životaschopnosti podnikatelského nápadu.[cs]
22
Jurka, Pavel. „Analýza a návrh změn informačního systému firmy“. Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2008. http://www.nusl.cz/ntk/nusl-221935.
Der volle Inhalt der QuelleAnnotation:
This Diploma thesis deals with the information system. It contains the analysis of the present state and particular parts of this matter including suggestion of information system for CTMOS company, economic cost evaluation and applicability in practice.
23
Holý, Michal. „Analýza trendů IS z pohledu uplatnění nových technologií s orientací na open source“. Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-194035.
Der volle Inhalt der QuelleAnnotation:
The theme of this thesis is to analyze current technological trends with a focus on open source software in terms of relevance and importance for enterprises. The main objective is to evaluate the current status of open source software for Czech enterprises and characterize the progress based on data from 2010 and 2015. The thesis describes the basic forms of software used by companies which are further categorized based on the functionality and usability. The specifics of open source software and its licenses are defined. Subsequently the selection of specific open source licenses, generally perceived views on their use and the status of open source software in various stages of its existence are described. Analytical part describes the results of the author's survey in Czech enterprises in terms of open source software application for 2015. The results are compared with data from 2010 and appropriate conclusions are defined. Finally, the hypotheses are connected with the results of the author's survey, data comparison, available open source methodologies and other sources for an overall assessment of the situation in the Czech Republic.
24
Hlavsa, Ondřej. „Analýza počítačové simulace zvuku a jejích limitů“. Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-17120.
Der volle Inhalt der QuelleAnnotation:
This thesis is focused on the question whether it is possible to fully simulate the sound of real musical instruments on the personal computer. The opening chapters deal with basic characteristics of sound information, its perceiving and also its digital form. Futher there is an elaborate analysis of computer simulation in comparison with legitimate records. The output of this part are worded assumptions. The next parts offer a detailed look at programming approaches and methods of computer sound creation. The research leads to a hearing test in which author tries to confirm the hypotheses as well as to answer the primary question.
25
Kopečná, Barbora. „Hodnocení výkonnosti podniku s využitím software Maple“. Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2020. http://www.nusl.cz/ntk/nusl-417355.
Der volle Inhalt der QuelleAnnotation:
The diploma thesis focuses on the evaluation of the performance of a selected company operating in the food industry in the period 2013-2018. The thesis uses PEST analysis, regression analysis and time series analysis in Maple software and benchmarking. Using these tools and the results of analyses, proposals are made to improve the company's performance and also future potential development of the company is descripted.
26
Veselý, Jakub. „Analýza a návrh Open Source řešení pro Městský úřad Blansko“. Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2010. http://www.nusl.cz/ntk/nusl-264870.
Der volle Inhalt der QuelleAnnotation:
The object of this mater’s thesis is to analyze current situation of information system at municipal office of Blansko and to review it. Subsequently to suggest other possible solutions and improvements. Formulation of economic and other advantages and possible disadvantages and problems that can occur in case of implementation of other OpenSource components.
27
Pavlů, Pavel. „Analýza potenciálu SaaS v malých a středních podnicích“. Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-10488.
Der volle Inhalt der QuelleAnnotation:
This paper analyses potential of Software as a Service (SaaS) model in small and medium enterprises (SME). SaaS model is rapidly expanding trend between software delivery models. The first chapter describes evolution of software delivery models, which peaks in the most recent "Software as a Service" model. It analyses key features of SaaS in qualitative, technological and legal dimensions. The first chapter also mentions assesment methods for IT investments. This chapter introduces basic theoretical framework for next chapters. Next chapter focuses on category of small and medium enterprises. It defines main macroeconomic indicators and organizational specifics of SMEs. This chapter also presents results of research into reasons for and against the use of applications with SaaS model in small and medium enterprises. Last chapter selects the most common software categories used by small and medium enterprises. For each category it analyses and describes current state of the SaaS market. After analysing the market situation, it selects broad range of applications for each category. Using multi-dimensional approach it recommends three products best suited for SMEs. For all categories it maps potential of the three recommended products. These three products are then thoroughly compared with each other using extended set of criteria. The chapter ends with a summary of possibilities offered by these applications to SMEs.
28
Malec, Tomáš. „Analýza a zlepšování hodnotového toku“. Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219804.
Der volle Inhalt der QuelleAnnotation:
This thesis deals with the general analysis and value stream improvement. The theoretical part describes the difference between functional and procedural model of company management, mutual benefits and disadvantages of these systems. The thesis deals with the mapping process, subdivision maps and methodology of process maps creation. The work also includes software analysis for process mapping. Next section contains search of selected optimization tools and methods to improve production flow and description of the principles of controlled documentation. In the practical part is realized mapping process of bachelor studies at FEKT and map of production process at ABB switchgear.
29
Svata, Bohuslav. „Analýza využití aplikačního software v maloobchodě v prostředí Microsoft Dynamics AX 2009“. Master's thesis, Vysoká škola ekonomická v Praze, 2010. http://www.nusl.cz/ntk/nusl-114050.
Der volle Inhalt der QuelleAnnotation:
Theme of this thesis is utilization of ERP system MS Dynamics AX 2009 in retail environment. Its main goal is to create analysis that will evaluate suitability of MS Dynamics AX implementation in retail business. This goal is realized by achieving three steps. First step is introduction and analysis of retail business processes. This includes introduction of general process in theory followed by description of typical needs and requirements of retail enterprise. Second step is analysis of functionality offered by MS Dynamics AX and identification of its deficiencies in terms of usability in retail. Third step is creation of solution proposal for requirements that are not covered by MS Dynamics AX functionality. Contribution of this thesis is introduction of common needs and requirements of retail enterprise in chosen business segment. Also practical demonstration of how are key business processes supported by MS Dynamics AX. At last added value is also in creating a solution proposal, which will solve identified deficiencies by means of program customization. Structure of thesis is based on key business processes of retail and it's divided to theoretical and practical part. Chapters of each part are sorted into order of product life cycle, which is purchase, logistics and sales. Practical part also deals with product management.
30
Šrubař, Michal. „Analýza síťové komunikace Ransomware“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363782.
Der volle Inhalt der QuelleAnnotation:
The focus of this work is crypto-ransomware; a variant of malware, an analysis of this malware’s network communication, and the identification of means by which it may be detected in the network. The thesis describes the methodology and environment in which the malware’s network communications were studied. The first part of the thesis provides a network traffic analysis of this type of malware with a focus on HTTP and DNS communication, including anomalies that can be observed in the network during this malware’s activity. The thesis also includes a discussion of the user behavior of devices infected by this type of malware. The resulting data was used to identify and describe four detection methods that are able to recognize the malware from its network communication using the HTTP protocol. Finally, a description of several signatures that can be used as indicators of a possible infection by this malware are provided.
31
Pásztor, Bálint. „Analýza přežití v R“. Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-202126.
Der volle Inhalt der QuelleAnnotation:
Survival analysis is a statistical discipline that analyzes the time to occurrence of certain events. The aim of this thesis is to describe the possibilities of survival analysis in the environment of statistical software R. Theoretical knowledge is applied to real data, parametric and nonparametric estimates of survival functions are evaluated by different methods and compared with each other. In the section focusing on nonparametric models Kaplan-Meier and Nelson-Aalen functions are described. Among the parametric estimates there were included well-known probability distributions, survival functions and risk functions derived from these distributions are presented and there is discussed their usefulness in survival analysis. Another aim is to show the possibility of deriving transition probabilities from estimates and building a Markov chain model to capture the changes of studied cohort over time. The second part of the work contains a description of the applications of the theory of survival analysis. In this section there are shown possibilities of statistical modeling in the field of survival analysis using the software R. Outputs from R were used to create Markov model. There are presented possibilities of pharmacoeconomic models and description of the basic concepts of HTA. Cost-effectiveness calculations using ICER were conducted in accordance with the methodology of SUKL. It was shown that the statistical modelling of survival plays an important role in the evaluation of the cost-effectiveness of medicines.
32
Štacha, Jan. „Analýza a návrh informačního systému elektronického vzdělávání“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2007. http://www.nusl.cz/ntk/nusl-236840.
Der volle Inhalt der QuelleAnnotation:
This thesis is focused on IBM Rational Unified Process methodology, which represents complex and robust aproach to software development and software lifecycle. This methodology is well described and every step of software lifecycle is predictible. Thats the reason why is becoming used in many software development organizations. The main goal of this thesis is deep description of this methodology and creation common outputs of inception and elaboration phase of e-learning information system. IBM Rational Unified Process is called use-case driven aproach, thats the reason why is emphasized descripton of all use-cases.
33
Drbušková, Magdaléna. „Numerická analýza smršťování vybraných silikátových kompozitů“. Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2014. http://www.nusl.cz/ntk/nusl-226798.
Der volle Inhalt der QuelleAnnotation:
The thesis is divided into two main parts. In the first theoretical part is described the problems of shrinking including a comparison of Czech standard and Model Code 2010, Vol. 1. The second practical part of the master`s thesis is focused on the numerical analysis shrinkage primarily on the initial stage of this process. The experimentally obtained data are set approximations of the relative deformation using ShrCeC. Subsequently the numerical simulation of shrinkage of selected silicate specimens using a computer applications SpatiDist and FyDiK 2D. The real test specimens are modelled as two-component composite consisting of cement paste and aggregates. The result is a parametric study takes into account the influence of type and size of grain aggregate.
34
Marková, Monika. „Finding groups of the similar variables with statistical software SAS and SPSS“. Master's thesis, Vysoká škola ekonomická v Praze, 2007. http://www.nusl.cz/ntk/nusl-10417.
Der volle Inhalt der QuelleAnnotation:
My diploma thesis focuses on the comparison of possibilities of the statistical software SAS and SPSS in the area of the factor and cluster analysis and the multidimensional scaling. They deal with the methods for identifying groups of the similar statistical values (variables). The ascertained relations among the variables can serve to decrease the proportion vectors of the variables, which describe the individual monitored objects (statistical units), which helps us to apply other various methods, for example the regression or discriminant analysis. By one of the ways for finding the similarity of variables in the cluster analysis or the multidimensional scaling is searching for their relations. Whereas the base of the factor analysis is the formulation of the relation between two variables by means of the covariances, eventually Pearson correlation coefficient, it is possible to use also coefficients of correlation for the cluster analysis and the multidimensional scaling, in some case other measures. The thesis describes mainly the command syntax of the procedures implemented in SAS and SPSS. The meaning of the individual parametres and the partial specifications of each command are explained. The results gained by various types of analyses are compared on the basis of the real dataset. The possibilities of the statistical software SAS and SPSS are evaluated in the conclusion and it is referred to their advantages or disadvantages. The attention is also paid, for example, to the form of the input dataset, to the quaility of outputs or to the partial methods.
35
Vacová, Dominika. „Analýza přesnosti laserového skenování“. Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2017. http://www.nusl.cz/ntk/nusl-390224.
Der volle Inhalt der QuelleAnnotation:
The main goal of this master thesis is processing a point cloud with respect of possibilities of a registration clouds based on reference objects or on objects in general. This thesis studies transformations to the reference coordinate system S –JTSK. The first part of this thesis describes a theoretical background of the laser scanning and its use. A practical part shows the results and the evaluation of whole research.
36
Koňařík, Josef. „Analýza aerodynamiky vozidla Formule Student“. Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2009. http://www.nusl.cz/ntk/nusl-228797.
Der volle Inhalt der QuelleAnnotation:
The aim of thesis is to devise the body due to the current model in the 3D software ProEngineer and given by current Formula Student competition rules. Subsequently, the model will be created for the purposes of CFD software for numerical analysis of aerodynamics. Based on this analysis, the simulation will be obtained with the coefficient of air and axles load.
37
Černý, Jan. „Analýza problémů agilních projektů firmy“. Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-197478.
Der volle Inhalt der QuelleAnnotation:
This diploma thesis aims at the development of agile software projects of an existing company. The main goal of this dissertation has been to identify and analyze the most frequent current problems of the company, then to summarize their impact and to propose the best possible way of dealing with them. As an integral part, the aim of the dissertation has also been the creation of an internal knowledge base which can help to prevent those problems from happening in future projects and to share mutual experiences. To fulfil this goal, it has been necessary to learn all the problems of the agile software development, to know the most widely used agile methodologies and some latest facts and recent trends in the area of agile projects. It has also been necessary to carry out the SWOT analysis of the company and analyze the results of the internal agile development survey. The next thing which had to be done was the identification and description of the most frequent problems of agile development projects and the assessment of the categories of projects which occur in the company and linking the problems with each of the categories. The content of the internal knowledge base was created to correspond with the results of my diploma thesis. The contribution of this dissertation is the identification and assessment of the most fre-quent problems of agile projects of an existing company, identification of possible impacts and recommendation of possible solutions. The other contribution is the identification of the project categories which are linked to the identified problems. Last but not least, the main benefit of this thesis is the creation of a new internal project management knowledge base which will help to share the experience among all the projects and in this way it will help to prevent the spread of these problems. This diploma thesis is divided into two main parts, theoretical and practical. In the theoretical part, there is a definition of "agile methodologies", a description of their typical examples and statistics as well as modern trends in the area of the development of agile projects. The practical part is divided into four chapters. They contain the results of the company's SWOT analysis and the results of the internal agile development survey. Then there is a presentation of the identified agile development problems, their possible impact and the recommendation how to deal with them. There is a full description of all the identified categories of projects and their identified problems with their assessment criteria as well as time-proven ways how to effectively deal with them. The last chapter contains and internal project management knowledge base which has been done by myself. The knowledge base may be very useful in the project management now and in the future.
38
Vacek, Vladimír. „Analýza a strategie společnosti IceWarp na českém a zahraničním trhu“. Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-142113.
Der volle Inhalt der QuelleAnnotation:
The thesis aims to analyze the recent activity of the IceWarp company on the Czech and foreign market and then to propose new strategy for Great Britain. The introduction presents the groupware solution and the product IceWarp Server. The next part contains information about the Czech branch and describes the processes of customer acquisition, customer care department and technical support department. Then it is made the comparison with British branch which has the same structure. Based on the indentified shortage the new strategy is proposed in two version differing in financial cost.
39
Kohout, Pavel. „Plánování a analýza nákladů na podnikovou informatiku“. Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-72532.
Der volle Inhalt der QuelleAnnotation:
This thesis is focused on ICT costs monitoring and controlling among enterprises, whose purpose is to maximize their market value and to achieve a profit by selling products or offering services and simultaneously these enterprises neither do operate in ICT industry nor banking and similar industries. Purpose of this thesis is to help responsible users with better understanding of causes where and why enterprise ICT cost origin. For this purpose there is formed a pattern for ICT costs monitoring and controlling. This pattern comes into use in enterprises in cases when it is necessary to discover true costs of ICT. The pattern is further convenient for costs controlling and budgeting and it could serve as a basis for ICT cost-effectiveness evaluation. Additional asset of this thesis would be an introduction of cost allocation methods, a software costs categorization in view of an acquiring form, and a description of appropriate budgeting methods.
40
Juřička, Milan. „Analýza a návrh reportingu reálných nákladů materiálu“. Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2021. http://www.nusl.cz/ntk/nusl-442929.
Der volle Inhalt der QuelleAnnotation:
My thesis contains the analysis and following suggestion of a solution of the application for the reporting. The reporting application has a goal to display actual costing data for a selected material and be a part of the SAP applications. The description of the theoretical background that is used in the thesis is the first part of the thesis. In the following chapter is the description of the current situation and analysis of the selected company. The last chapter contains an analysis of the possible risks which are followed by the suggested solution. At the end of the thesis is an economic evaluation of the project.
41
Zimek, Tomáš. „Software pro identifikaci dynamických systémů“. Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2019. http://www.nusl.cz/ntk/nusl-399369.
Der volle Inhalt der QuelleAnnotation:
The thesis deals with methods of identification of dynamic systems in time and frequency domain. Nonparametric and parametric methods of identification are analyzed. Selected methods are implemented in Matlab & Simulink sotware. Finally, the user guide for the created Python application is introduced.
42
Slavětínský, Radek. „Analýza cloudových řešení Business Intelligence pro SME“. Master's thesis, Vysoká škola ekonomická v Praze, 2017. http://www.nusl.cz/ntk/nusl-358847.
Der volle Inhalt der QuelleAnnotation:
The thesis is focused on the analysis of presently offered products supporting Business Intelligence (BI) which are affordable for small and medium-sized enterprises (SMEs). Current BI solutions available to SMEs are mostly offered via Cloud computing, specifically in the form of Software as a Service (SaaS) as it requires low initial acquisition costs. The objectives of this thesis are to analyse the work in applications for BI in cloud that can be used by SMEs and to analyse in detail the comparison the worldwide extended reporting tools distributed as SaaS in the lower price category. The theoretical part provides a description of the Cloud computing and the BI system. In the practical part are selected following products: IBM Watson Analytics, Qlik Sense Cloud, Zoho Reports, Tableau Public and Microsoft Power BI. Practical testing of these applications was based on evaluation of the selected metrics with weights calculated by using the Fuller's triangle. Analyses and the information form the basis for comparison of selected applications. The contribution of this thesis is in discovering the strengths and weaknesses of these BI solutions. The output of this thesis can be used as a source for the selection of BI applications for SMEs.
43
Kafka, Jan. „Analýza trhu operačních systémů“. Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-198871.
Der volle Inhalt der QuelleAnnotation:
The reason of this work are operating systems, their significance, history, analysis of the current situation and attempt to predict the future. The first part introduces the basic concepts, the definition of operating system and brief history. The second part deals with the current situation on the market for operating systems, the main drivers of this sector and the business models used. The last part deals with the prediction of the situation on the market for operating systems, their future evolution, the probable evolution of their business model and estimate the near future from the business point of view. It were also made study of available new scientific publications about OS. Contribution of this thesis evaluate role and future operating systems and prediction business perspective in the industry branch.
44
Pololáník, Pavel. „Analýza současných statistických výkazů a SW možností pro hodnocení energetických soustav“. Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2021. http://www.nusl.cz/ntk/nusl-442544.
Der volle Inhalt der QuelleAnnotation:
Diploma thesis deals with the issue of statistical reporting Energy regulátory office ČR. The introduction describes the contents regularly published reports on the operation of the electricity system in the Czech Republic. In the thsis deals with the analysis of statistical reports. Processing code in Python and describes its implementation in analytical platform KNIME.
45
Krýcha, Josef. „Fraktální analýza ekonomických časových řad“. Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-15558.
Der volle Inhalt der QuelleAnnotation:
This thesis focuses on fractal analysis of economic time series. Chapter One introduces fractal analysis as a method of exploring time series and gathers information about progress and current state of understanding in this field. Chapter Two focuses on design and development of computer software, which will calculate selected fractal indices. Chapter Three is experimental and shows the results and discussion of economic time series (popular stock market indexes and currency exchange rate) analysis that have been obtained from the software developed in Chapter Two.
46
Nigmatullin, Timur. „Analýza zavedení a použití podnikových IS formou SaaS na ruském trhu“. Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-162509.
Der volle Inhalt der QuelleAnnotation:
This paper deals with the implementation of SaaS in the Russian market, especially in the Ural region of the Russian Federation -- Republic of Bashkortostan. SaaS is usually considered as an alternative way for the dominant model of software installation at the customer office. SaaS has certain key differences related to the use of different types of outsourcing and switching from buying products for permanent use to the system with subscription fee, depending on the specific use of resources. The goal of the theoretical part of the paper is to construct the comprehensive picture of Cloud computing, cloud services especially SaaS, to identify the strengths and weaknesses of SaaS technology, call attention to issues of risk, safety, the process of deployment, focus on the analysis of the status of SaaS information systems in the world and analyze situation on the Russian market. The goal of the theoretical part of the paper is to get acquainted with the companies in the Ural region of the Russian Federation, the Republic of Bashkortostan, to show their attitude to cloud-based technologies, highlight the exploration and use of SaaS in the Republic of Bashkortostan, compare the current situation in Russian enterprises with the status of SaaS in the world. By questionnaire survey I will obtain basic data of the awareness and use of SaaS in this region of Russia. The expected benefits of work may include extending the knowledge of readers about Cloud computing and one of its services - the form of SaaS. Next benefit is that Czech managers and directors can use this paper during the decision on the implementation of this model in their business.
47
Svoboda, Jakub. „Analýza a návrh informačního systému pro plánování rozpočtu FCM-Jh“. Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2016. http://www.nusl.cz/ntk/nusl-241450.
Der volle Inhalt der QuelleAnnotation:
This thesis deals with design for creating IS to support planning budget for Bosch Diesel s.r.o., used by department FCM-Jh. If it verifies functionality of IS, it should become a support for the company in this field. The IS should in particular unify existing planning costs FCM-Jh. Determine is there a firm structure and support of IS in two main areas. The first area deals with the planning process of investment and cost means in their budgets managed by the department FCM-Jh and subsequent ordering of works and services FCM-Jh and its records. The second area is for planning costs for building maintenance and investment in plant and equipment FCM-Jh.
48
Lucký, Jakub. „Analýza vybraného podnikatelského subjektu pomocí vybraných metod“. Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2017. http://www.nusl.cz/ntk/nusl-357009.
Der volle Inhalt der QuelleAnnotation:
Cílem diplomové práce je analýza podnikatelského subjektu Moravia IT s.r.o., která se zabývá především lokalizací softwaru, testováním a příbuzné inženýrské činnosti. Pro zhodnocení společnosti jsou vybrány externí a interní analýzy podniku. V poslední části diplomové práce jsou uvedeny návrhy pro zlepšení současného stavu.
49
Müller, Vlastimil. „Výukový software pro návrh a analýzu poplachových zabezpečovacích systémů“. Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-376948.
Der volle Inhalt der QuelleAnnotation:
Intrusion alarm systems (IAS) make inseparable part of our personal and work life which helps us with protection of important work data or personal property. This paper looks into the theory of IAS design and analysis which are two important factors influencing final system effectiveness. Furthermore, general procedure of IAS design, a number of analysis methods and IAS components are discussed. This theoretical knowledge is used to design and implement an aplication called IASPlanner, which allows users to draw a layout of IAS and subsequently analyse designed systems. The aplication can be used not only for the design itself, but also for educational purposes.
50
Navrátil, Karel. „Analýza možností a využití IT v týmové práci na školních projektech“. Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-114146.
Der volle Inhalt der QuelleAnnotation:
This thesis "The Analysis of IT possibilities and utilization in teamwork on the school projects" deals with a problem of teamwork cooperation of the students of the University of Economics in Prague. The students worked on school projects, using information technologies. The introduction of the thesis deals with the basic theoretical knowledge of formation, functioning and team communication. Then some specification of collaborative software is given. Fundamental subject matter of the practical part of this thesis shows the outcome of a survey by questionnaire which analyses students' general view on teamwork. It is followed by the team origin aspect, organization of teams and the analysis of information technology possibilities and utilization in the cooperation of students. In conclusion the author makes some suggestions resulting from gained information on the school team creation and on the information technologies utilization in teamwork projects.