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