Detail projektu

Software Quality Improvement

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

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