Formalizm i intuicja w tworzeniu oprogramowania

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Formalism & Intuition in Software Development

Zawartość książki:

Michael A.

Jackson jest zafascynowany fundamentalnym pytaniem: Czym jest inżynieria oprogramowania? Jackson zastanawia się nad składnikami rozwoju oprogramowania. Zestawia ze sobą poglądy Edsgera Dijkstry, Tony'ego Hoare'a, Donalda Knutha, Petera Naura, Davida Parnasa, Christophera Stracheya, Pameli Zave i innych.

Niektóre z wielu powiązanych ze sobą tematów, które wysuwają się na pierwszy plan, to plastyczność oprogramowania, systemy transformacji programów i historia inżynierii samochodowej.