Bewertung:

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Formalism & Intuition in Software Development
Michael A.
Jackson ist fasziniert von der grundlegenden Frage: Was ist Softwareentwicklung? Jackson reflektiert über die Bestandteile der Softwareentwicklung. Er stellt die Ansichten von Edsger Dijkstra, Tony Hoare, Donald Knuth, Peter Naur, David Parnas, Christopher Strachey, Pamela Zave und anderen gegenüber.
Einige der vielen miteinander verknüpften Themen, die in den Vordergrund treten, sind die Formbarkeit von Software, Programmtransformationssysteme und die Geschichte der Automobiltechnik.