For example,Бобцов

FORMAL BASE FOR SOFTWARE QUALITY EVALUATION

Annotation

The description of formal components of an estimation of quality of software is offered. Models of software, qualities and metrics of software are submitted. As a formal basis of models the theory of categories and the graph theory are used. Within the framework of the described approach with the help of model of quality conceptual modelling concept of quality of software is carried out and the quantitative estimation of quality with the help of model of metrics is provided.

Keywords

Articles in current issue