Post by Johannes Tigges
Interessante Argumentationslinie. Man beachte das “Steuersoftware” Beispiel.
Hier findet sich ein konkretes Beispiel für ESRs Argument: getartcraft.com/apps
Abgesehen davon: Warum bekomme ich eigentlich das Steuerzeug nicht jedes Jahr als frisches FOSS SDK Release in einem Satz der gängisten Sprachen? So Python, Rust, Go, .NET/C#, Java/Kotlin?
Es gibt “Programmablaufpläne” für verschiedenes Steuerzeug. Mit XML im Fluss Diagramm wenn es zu aufwendig fürs Fluss Diagramm wurde. Wer derartig präzise Modelle fertigt, kann sie auch durch einen Codegenerator ziehen. Und eine Testsuite bauen. Letzteres wird dem Thema sicher nicht schaden.
Formale Verifikation fürs Steuerrecht! 😆