@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}
}