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