Ein formales Esperanto ist ein von allen Programmierern , Fachbereichen und Qualitätssicherern anerkannter Formalismus, der von allen Rechnern verstanden wird und
-
Rechnern sagt, was sie tun sollen,
-
Fachbereichen ermöglicht Softwarefunktionen zu durchschauen,
-
Qualitätssicherern erlaubt Korrektheit vollständig zu prüfen,
-
Programmierern ermöglicht, saubere Programme zu schreiben.
Es hilft der Menschheit dabei, sich auf die wesentlichen Probleme zu konzentrieren, statt sich durch Codes zu ver(unselb)ständigen.
