Relevant bibliographies by topics / Verifikace a analýza software

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Conference papers

Academic literature on the topic 'Verifikace a analýza software'

Author: Grafiati
Published: 28 June 2021
Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Verifikace a analýza software.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Verifikace a analýza software"

1

Římanová, Jana. "Analýza kvalitativních dat v orální historii s využitím software Atlas.ti." Lidé města 22, no. 3 (2020): 397–413. http://dx.doi.org/10.14712/12128112.2344.

Full text
Abstract:
This article summarises the current possibilities of using computer technologies for analysis and interpretation in research based on oral history interviews. At least three methodological approaches meet in one place: an oral history method used as a tool to create primary data sources, a method of grounded theory applied as a basic approach to the analysis and interpretation of biographical interviews, and a computer-assisted analysis process performed using ATLAS.ti’s qualitative research software. Computer systems have begun to emerge as a tool for the clearer, more detailed, and more accu
APA, Harvard, Vancouver, ISO, and other styles
2

Kolla, Eduard, Veronika Adamová, and Lukáš Szabo. "Komparatívna analýza vplyvu výšky zábradlia na priebeh relevantných dopadových údajov." Krízový manažment 23, no. 2 (2024): 83–91. https://doi.org/10.26552/krm.c.2024.2.83-91.

Full text
Abstract:
The article presents a quantitative biomechanical reconstruction and analysis of a forensically relevant event—a fall of a human subject from height—and a comparative analysis of guardrail height in such incidents. The reconstruction was conducted using the multibody module of PC-Crash simulation software within a 3D model of the technically relevant parts of the building, created from a 3D point cloud of the site. The results of the analysis suggest that the height of the guardrail may have influenced the course of the event, even though the guardrail height met legislative specifications for
APA, Harvard, Vancouver, ISO, and other styles
3

Martinková, Patrícia, Adéla Drabinová, and Jakub Houdek. "ShinyItemAnalysis: Analýza přijímacích a jiných znalostních či psychologických testů." TESTFÓRUM 6, no. 9 (2017): 16–35. http://dx.doi.org/10.5817/tf2017-9-129.

Full text
Abstract:
Tento článek představuje aplikaci ShinyItemAnalysis pro psychometrickou analýzu testů a jejich položek. ShinyItemAnalysis nabízí psychometrické modely v rámci grafického rozhraní pro volně šiřitelné statistické prostředí R a zpřístupňuje tak jeho funkcionalitu širší veřejnosti. Aplikace pokrývá širokou škálu psychometrických metod, od tradiční položkové analýzy až po složitější latentní modely, nabízí cvičné datové soubory, uvádí rovnice modelů, odhady parametrů a jejich interpretaci, jakož i vybraný zdrojový kód, a je tak vhodným nástrojem pro výuku psychometrických konceptů a jejich implemen
APA, Harvard, Vancouver, ISO, and other styles
4

Balkó, Štefan, Iva Balkó, and Vladimír Süss. "Analýza pohybové struktury výpadu u dvou výkonnostně odlišných skupin šermířů." Studia sportiva 8, no. 1 (2014): 85–92. http://dx.doi.org/10.5817/sts2014-1-9.

Full text
Abstract:
This study is focused on kinematic analysis in fencing lunge of different performance-related groups of fencers. The first group (n=7) consists of elite fencers of the Czech Republic, who are active in fencing an average of 12 years (±3,4). In the second group (n=7), there are fencers who are active in fencing up to two years. Subjects of our study performed lunge on a visual stimulus of LEDs, which is part of the Fitrosword device. The end of lunge was defined by hit of the target. The aim of this study was detection and charactrerization of movement structure in fencing lunge. Video recordin
APA, Harvard, Vancouver, ISO, and other styles
5

Koutník, Ondřej, and Robert Kledus. "Analýza vybraných diagnostických protokolů se zaměřením na manipulace s digitálním tachografem." Soudní inženýrství 35, no. 1 (2024): 30–39. http://dx.doi.org/10.13164/si.2024.1.30.

Full text
Abstract:
Za účelem zvýšení bezpečnosti silniční nákladní dopravy, sociálních podmínek řidičů a spravedlivé hospodářské soutěže jsou Evropskou unií stanovena pravidla pro provozování silniční dopravy, která se týkají zejména omezení maximální doby řízení a minimální doby přestávek a odpočinku řidičů. Dodržování těchto pravidel je předmětem silničních kontrol, přičemž se využívají zejména výstupy z povinně instalovaného záznamového zařízení, tzv. tachografu. Z toho vyplývá, že útok na systém tachografu by mohl přinést řidičům a potažmo i dopravcům, značnou výhodu v podobě možnosti řízení bez provedení ná
APA, Harvard, Vancouver, ISO, and other styles
6

Priyadi, Aris, M. Qisthi Amarona, Khoirul Anwar, and Novera Budi Lesmana. "Pembuatan Port ENC di Tanjung Priok." Jurnal Chart Datum 3, no. 1 (2017): 1–16. http://dx.doi.org/10.37875/chartdatum.v3i1.113.

Full text
Abstract:
Electronic Navigational Charts (ENC) adalah suatu peta vektor yang dikompilasi dari sebuah basis data objek individual yang tergeoreferensi berdasarkan pada standar transfer data S-57 IHO. Saat ini, ENC yang mencakup rute dan pelabuhan utama Indonesia telah tersedia, namun informasi yang lebih rinci tentang informasi pelabuhan Indonesia belum terakomodir secara lengkap oleh S-57 IHO, Port ENC menawarkan solusi untuk memperoleh informasi yang rinci pada situasi dan fasilitas pelabuhan. Khususnya diperlukan saat pelaut memasuki dan bermanuver di pelabuhan.
 Pembuatan Port ENC di Tanjung Pri
APA, Harvard, Vancouver, ISO, and other styles
7

Jannah, Mulia Ni'matul, and Tholib Hariono. "Sistem Pencatatan Prestasi Mahasiswa Untuk Kelengkapan Data Skpi Pada Perguruan Tinggi." Jurnal SITECH : Sistem Informasi dan Teknologi 5, no. 2 (2023): 97–104. http://dx.doi.org/10.24176/sitech.v5i2.8506.

Full text
Abstract:
Penggunaan Surat Keterangan Pendamping Ijazah (SKPI) saat ini sangat penting untuk mengetahui kompetensi pendukung dari para lulusan yang dihasilkan. SKPI merupakan dokumen yang memuat informasi tentang capaian akademik atau kualifikasi dari pendidikan tinggi, sehingga diharapkan bisa memudahkan penyeleksian kompetensi lulusan di dunia kerja, maupun masyarakat. Berdasarkan observasi di perguruan Tinggi Z, bahwa dalam pencatatan data SKPI mahasiswa yang memiliki prestasi dan maupun pengakuan (sertifikat keahlian) proses pengumpulan, pencatatan dan verifikasi data masih dilakukan manual, sehingg
APA, Harvard, Vancouver, ISO, and other styles
8

Dižo, Ján, Vadym Ishchuk, Alyona Lovska, Miroslav Blatnický, and Sebastián Solčanský. "Analýza jazdných vlastností modifikovaného vozidla a jeho komponentov v dôsledku zmeny pohonného ústrojenstva a ovplyvnenie vzájomného pôsobenia kontaktu koleso/koľajnica." Technológ 15, no. 4 (2023): 34–40. http://dx.doi.org/10.26552/tech.c.2023.4.6.

Full text
Abstract:
The presented article is focused on analysis of running properties of a modified railway vehicle and its components due to a change of the powertrain and influence of the mutual effects in a wheel/rail contact. The modification of a vehicle consists in a change of a standard diesel-electric powertrain by a new powertrain, which includes as a source of power the hydrogen fuel cells. This modification represents a quite significant modification of a vehicle structure, mainly a change of mass and position of centre of gravity individual articles of a vehicle. The analysis of running properties is
APA, Harvard, Vancouver, ISO, and other styles
9

Pramulya, Andi Dwi, Indra Budi Prasetyawan, Alfi Satriadi, Elis Indrayanti, and Aris Ismanto. "Pemodelan Perubahan Dasar Perairan (Bed Level Change) Di Perairan Pelabuhan Tanjung Emas Semarang." Indonesian Journal of Oceanography 2, no. 1 (2020): 8–15. http://dx.doi.org/10.14710/ijoce.v2i1.6877.

Full text
Abstract:
Endapan sedimen yang terakumulasi dapat menyebabkan terjadinya pendangkalan di perairan pelabuhan. Pelabuhan Tanjung Emas merupakan pelabuhan yang mengalami pertumbuhan yang begitu pesat, namun pada alur pelayaran mengalami pendangkalan. Penelitian ini bertujuan untuk mengetahui pola arus, sebaran jenis sedimen dasar, dan perubahan dasar perairan berdasarkan hasil model. Simulasi pemodelan arus dan pemodelan transport sedimen dilakukan selama 30 hari. Pemodelan arus menggunakan software Mike21 Flow Model FM Hydrodinamic untuk mengetahui arah dan kecepatan arus pada daerah kajian. Simulasi pemo
APA, Harvard, Vancouver, ISO, and other styles
10

Apriani, Tika, Dewinda Rimanti, Elisa Nur Armaini, Susilawati Susilawati, and Khairunisa Khairunisa. "SISTEM INFORMASI PENERIMAAN PEGAWAI DI STMIK PELITA NUSANTARA." RADIAL : Jurnal Peradaban Sains, Rekayasa dan Teknologi 9, no. 1 (2021): 81–88. http://dx.doi.org/10.37971/radial.v9i1.223.

Full text
Abstract:
Abstrak: Sistem Informasi Penerimaan Pegawai Di STMIK Pelita Nusantara. Penerimaan pegawai di STMIK Pelita Nusantara masih mengirim berkas langsung ke kantor bidang akademik dalam bentuk hardcopy. Hal ini menjadi kendala mengakibatkan penumpukan berkas dan dalam verifikasi sering terjadi kesalahan. Rekrutmen menggunakan data fisik dalam verifikasi berkas lamaran yang tentunya sangat rentan hilang karena tercampur dengan berkas pelamar. Sistem informasi yang diusulkan memiliki beberapa keunggulan dan perbedaan dari sistem yang sedang berjalan, sistem yang diusulkan secara langsung sehingga lebi
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Verifikace a analýza software"

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.

Full text
Abstract:
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ýsledk
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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ástr
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 s
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 foun
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 fores
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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ředstav
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Conference papers on the topic "Verifikace a analýza software"

1

Kraslanová, Michaela, and Zuzana Poláková. "Analýza kvality života Slovákov na základe korelácií indexu ľudského rozvoja s vybranými ukazovateľmi." In XXV. mezinárodní kolokvium o regionálních vědách. Masaryk University Press, 2022. http://dx.doi.org/10.5817/cz.muni.p280-0068-2022-28.

Full text
Abstract:
In many developed countries, the income of countries because of economic and trade activity has been growing for a long time, although the satisfaction of the population with life does not show a growing trend. Modern views on quality of life consider, in addition to economic indicators, e.g., income, consumption, GDP per capita, human development index, etc. to a greater extent, subjective evaluation. The aim of the article was to point out the existence or the absence of dependence between the development of quality of life in Slovakia using the human development index and various subjective
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Verifikace a analýza software' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography