Thematische Bibliographien / Verifikace a analýza software

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Konferenzberichte

Auswahl der wissenschaftlichen Literatur zum Thema „Verifikace a analýza software“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen 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.

Zeitschriftenartikel zum Thema "Verifikace a analýza software"

Ří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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "Verifikace a analýza software"

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 Quelle

Annotation:

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 und andere Zitierweisen

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 Quelle

Annotation:

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 und andere Zitierweisen

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 Quelle

Annotation:

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 und andere Zitierweisen

Žá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 Quelle

Annotation:

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 und andere Zitierweisen

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 Quelle

Annotation:

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 und andere Zitierweisen

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 Quelle

Annotation:

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 und andere Zitierweisen

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 Quelle

Annotation:

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 und andere Zitierweisen

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 Quelle

Annotation:

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 und andere Zitierweisen

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 Quelle

Annotation:

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 und andere Zitierweisen

Ť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 Quelle

Annotation:

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 und andere Zitierweisen

Mehr Quellen

Konferenzberichte zum Thema "Verifikace a analýza software"

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!