@Misc{macau_mods_00001856, author = {Jaakkola, Hannu and Thalheim, Bernhard}, title = {A Formal Approach to High Quality Software Design and Development}, year = {1992}, publisher = {Institut f{\"u}r Informatik}, address = {Kiel}, volume = {0903}, abstract = {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.}, issn = {2192-6247}, url = {https://macau.uni-kiel.de/receive/macau_mods_00001856}, file = {:https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00002981/tr-0903-bericht.pdf:PDF}, language = {en} }