In der vorhergehenden, ersten Folge dieser aus sieben Kapiteln bestehenden Serie wurde die Bedeutung formaler Spezifizierungsmethoden erklärt sowie auf den gesamten Inhalt dieser Artikelreiche ...