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
Originální jazyk
čeština
Řešitelé
Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel
Útvary
Výzkumné centrum informač. technologií- odpovědné pracoviště (30.7.2015 - nezadáno)Red Hat Czech s.r.o.- objednatel (30.7.2015 - 31.12.2099)Výzkumné centrum informač. technologií- příjemce (30.7.2015 - 31.12.2099)
Výsledky
Š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
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
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
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
Odpovědnost: Vojnar Tomáš, prof. Ing., Ph.D.