PT Unknown
AU Jaakkola, H
   Thalheim, B
TI A Formal Approach to High Quality Software Design and Development
SE Bericht des Instituts für Informatik
PY 1992
VL 0903
PU Institut für Informatik
WP https://macau.uni-kiel.de/receive/macau_mods_00001856
LA en
SN 2192-6247
AB Software design and development coexist and co-evolve with quality provision, assessment and enforcement. However, most and also modern research ``provides only bread and butter lists of useful properties without giving a systematic structure for evaluating them''. Software engineers have been putting forward several three-score quantities of metrics for software products, processes and resources whereas a theoretical foundation is still missing. This preprint proposes a framework to quality property specification, to quality control, the quality utilisation and quality establishment. Our framework has a theoretical basis that is adaptable to all stages of software development.
PI Kiel
ER