Title: Formale Analyse und Bewertung von Programmen und Programmsystemen als Beitrag zur Beurteilung von Softwareprodukten