Publication Details

Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017

VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017. Brno: Red Hat Czech, 2017.
English title
Summary Research Report of the Project "Improving the Quality of Software" for the Year 2017
Type
summary report
Language
czech
Authors
Keywords

software quality, reliability, security, efficiency

Abstract

The project "Improving the Quality of Software", which is being conducted at FIT BUT for Red Hat Czech Ltd. includes research and development works in several mutually complementary areas concerning various aspects of software quality. This report briefly presents the main works that were conducted within the project in 2017. In particular, one of the most important activities in 2017 was a continuation of research and development of automated methods of resource bounds analysis of programs. Moreover, a new activity that should lead to methods and tools supporting automated software migration has been started.

Published
2017
Pages
2
Publisher
Red Hat Czech
Place
Brno, CZ
Back to top