@inbook{a7f59d23337a465b9c3acfb71ad37cdd,
title = "Software qualification: Error types and error management in software life-cycles (QETES)",
abstract = "QETES-project aims at giving a new approach to classify software defects. The approach is based on three aspects of computer semiotics: syntactic, semantic and pragmatic. Previously several defect classifications have been proposed in software engineering, but most of them do not focus on the defect detection and prevention. The new approach supports identifying the subset of defects to be eliminated reliably by design and testing so that qualification of safety critical software becomes more effective. The proposed computer semiotic classification of defects has been validated by a number of incidents involving software errors.",
author = "Hannu Harju and Jukka Ranta and Martti V{\"a}lisuo",
year = "2006",
language = "English",
isbn = "951-38-6886-9",
series = "VTT Tiedotteita - Research Notes",
publisher = "VTT Technical Research Centre of Finland",
number = "2363",
pages = "290--299",
booktitle = "SAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006",
address = "Finland",
}