Verfahren zur ursprünglichen Formulierung von Rechenproblemen zu ausführbaren Computerprogrammen wie Analyse, Entwicklung, Algorithmen und Verifikation