Program Verification Rutilius Taurus Aemilianus rechtfertigen

rechtfertigen

2Neukonzeptionierung des Wandels auf der Basis einer systemischen Betrachtungsweise

1Interne und externe Wissenspotentiale

Abstract: In dieser Arbeit wird die These vertreten

über Xenophanes

Program Verification Rutilius Taurus Aemilianus rechtfertigenAmong the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods such as John McCarthy, C. A. R. Hoare, and Edgar Dijkstra have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods by contrast, suggest that programming is the activity which is fundamental to