Software Quality
ISO-Standards 9126 and 25000 define exactly, which characteristics in software is essential for quality:
With code reviews and analysis of source code and compiled software the quality can be checked for these characterisitcs to assure a good-enough quality for each software project.