Harlan Mills - Further Reading

Further Reading

  • Linger and Witt (1979), Structured Programming: Theory and Practice, presents Mills' function-theoretic approach to program verification
  • Software Productivity (1983), includes a collection of his seminal papers on chief programmer teams, top-down design, structured programming, program correctness, and other fundamental ideas in software engineering
  • Linger and Hevner (1986), Principles of Information System Analysis and Design, includes Mills' reduction of the mathematics of specification and design to practice

Read more about this topic:  Harlan Mills

Famous quotes containing the word reading:

    Common sense should tell us that reading is the ultimate weapon—destroying ignorance, poverty and despair before they can destroy us. A nation that doesn’t read much doesn’t know much. And a nation that doesn’t know much is more likely to make poor choices in the home, the marketplace, the jury box and the voting booth...The challenge, therefore, is to convince future generations of children that carrying a book is more rewarding than carrying guns.
    Jim Trelease (20th century)

    The first reading of a Will, where a person dies worth anything considerable, generally affords a true test of the relations’ love to the deceased.
    Samuel Richardson (1689–1761)