Detail projektu

Zlepšování kvality software

Období řešení: 26.06.2014 — 31.12.2020

Zdroje financování

Neveřejný sektor - Přímé kontrakty - smluvní výzkum, neveřejné zdroje
- plně financující (2014-06-26 - 2020-12-31)

O projektu

Cílem projektu je zlepšování kvality softwaru 

Popis anglicky
The aim of the project is to improve the software quality

Klíčová slova
kvalita softwaru, zlepšování

Klíčová slova anglicky
software quality, improvement

Originální jazyk

čeština

Řešitelé

Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel

Útvary

Výzkumné centrum informač. technologií
- příjemce (30.07.2015 - 31.12.2020)
Red Hat Czech s.r.o.
- objednatel (30.07.2015 - 31.12.2020)

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. s. 0-0.
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. s. 0-0.
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. s. 0-0.
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

VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2019. Brno: Red Hat Czech s.r.o., 2019. s. 0-0.
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 2018. Brno: Red Hat, 2018. s. 0-0.
Detail

Odpovědnost: Vojnar Tomáš, prof. Ing., Ph.D.