rrors are handled systematically by Computer Repair Stores generally in fault management. According to the IEEE Standard 1044 (classification of software anomalies) a classification process consisting of four steps Recognition, analysis (Investigation), processing (action) and final (MRP) is necessary.
Criteria by which this error can be classified, include the type of error: Lexical error (unknown reference), syntactic errors (omitted semicolon), semantic errors (false declaration), runtime errors (wrong formatted input data) and logical errors (plus instead of minus, loop error).
Experts also used a (formal) verification method in which the correctness of a software is proven formally – mathematically. This method, however, is severely limited because of the enormous expense. In addition to the mathematical verification, there is a practical form of verification, which is described by the quality management standard ISO 9000.
