Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail projektu
Období řešení: 26.6.2014 — 31.12.2099
Zdroje financování
Neveřejný sektor - Přímé kontrakty - smluvní výzkum, neveřejné zdroje
O projektu
Cílem projektu je zlepšování kvality softwaru
Popis anglickyThe aim of the project is to improve the software quality
Klíčová slova kvalita softwaru, zlepšování
Klíčová slova anglickysoftware quality, improvement
Označení
1/2014
Originální jazyk
čeština
Řešitelé
Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel
Útvary
Ústav inteligentních systémů- odpovědné pracoviště (30.7.2015 - nezadáno)Red Hat Czech s.r.o.- objednatel (26.6.2014 - 31.12.2099)Výzkumné centrum informač. technologií- příjemce (26.6.2014 - 31.12.2099)
Výsledky
VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015. Brno: Red Hat Czech s.r.o., 2015. 3 s.Detail
VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016. Brno: Red Hat Czech s.r.o., 2016. 2 s.Detail
VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017. Brno: Red Hat Czech s.r.o., 2017. 2 s.Detail
VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018. Brno: Red Hat, 2018. 3 s.Detail
MALÍK, V.; VOJNAR, T. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). Porto de Galinhas: Institute of Electrical and Electronics Engineers, 2021. p. 329-339. ISBN: 978-1-7281-6837-1.Detail
ŠILLING, P.; MALÍK, V.; VOJNAR, T. Applying Custom Patterns in Semantic Equality Analysis. In Networked Systems. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2022. p. 265-282. ISBN: 978-3-031-17436-0.Detail
Odpovědnost: Vojnar Tomáš, prof. Ing., Ph.D.