000K utf8 1100 $c2009 1500 eng 2050 urn:nbn:de:101:1-201203145795 3000 Jaakkola, Hannu 3010 Thalheim, Bernhard 4000 A Formal Approach to High Quality Software Design and Development [Jaakkola, Hannu] 4209 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. 4950 https://nbn-resolving.org/urn:nbn:de:101:1-201203145795$xR$3Volltext$534 4961 https://macau.uni-kiel.de/receive/macau_mods_00001856 5051 004