Complexity & verification: The history of programming as problem solving
Uloženo v:
| Vydáno v: | ProQuest Dissertations and Theses (2012) |
|---|---|
| Hlavní autor: | |
| Vydáno: |
ProQuest Dissertations & Theses
|
| Témata: | |
| On-line přístup: | Citation/Abstract Full Text - PDF |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 926961600 | ||
| 003 | UK-CbPIL | ||
| 020 | |a 978-1-267-21525-3 | ||
| 035 | |a 926961600 | ||
| 045 | 0 | |b d20120101 | |
| 084 | |a 66569 |2 nlm | ||
| 100 | 1 | |a Zepcevski, Joline | |
| 245 | 1 | |a Complexity & verification: The history of programming as problem solving | |
| 260 | |b ProQuest Dissertations & Theses |c 2012 | ||
| 513 | |a Dissertation/Thesis | ||
| 520 | 3 | |a Changes in computer programming methods were responses to specific stimuli, and that (contrary to much existing analyses) the development of programming methods does not fit an ideal of "progress." I focus on the rise of two fundamental computing problems: complexity, or the proliferation of people and methods; and verification, which is the (in)ability to verify that a program functions as intended. Complexity and verification were the catalyst for the development of automatic coding systems but also increased exponentially as a result of automatic coding systems like FORTRAN and COBOL. These systems have English-like commands that simplify programming. The adoption of automatic coding systems opened up the programming field to more software engineers and allowed the creation of more elaborate software systems, creating ever more complexity in the discipline. I argue that since the introduction of automatic coding systems in the 1950s, methodological changes and new programming languages have been attempts to solve long standing problems faced by programmers. Not, as the traditional insider narrative suggests, a steady evolution based on a better understanding of programming. In this dissertation, I focus on the changes motivated by two stimuli—complexity and verification. | |
| 653 | |a Modern history | ||
| 653 | |a Science history | ||
| 653 | |a Computer science | ||
| 773 | 0 | |t ProQuest Dissertations and Theses |g (2012) | |
| 786 | 0 | |d ProQuest |t ProQuest Dissertations & Theses Global | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/926961600/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/926961600/fulltextPDF/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |