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

Ziemlich bester Schurke – von Josef Müller

Ich hatte das Glück, dass wir Josef Müller, einen wunderbaren Menschen, kennenlernen durften. Jetzt hat er seine Geschichte im Buch „ziemlich beste Schurken“ veröffentlicht. Das Lesen lohnt sich, wenn man neben einer spannenden wahren Geschichte mehr über Gott und dessen unergründlichen Wege erfahren möchte! Weiterlesen