im VergleichZ-Notation, Aktivitätsdiagramm, Pseudocode und informelle Spezifikation

In diesem Artikel werden die Vorteile und Nachteile unterschiedlicher formaler, semi-formaler und informeller Spezifikationstechniken herausgestellt. Verglichen werden Z-Notation, Aktivitätsdiagramm, Pseudocode und informelle Spezifikation.
Weiterlesen