Können Beispiele eine Software vollständig beschreiben?
BDD stößt hier an Grenzen. Formale Methoden schaffen präzise Spezifikationen und überprüfbare Implementierungen.
Markus Schlegel zeigt, wie das anhand von Zeitreihen funktioniert.
👉 software-architecture-summit.de/blog
#BDD