↓ Skip to main content

Programming Methodology

Overview of attention for book
Cover of 'Programming Methodology'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A History of IFIP WG2.3 (Programming Methodology)
  3. Altmetric Badge
    Chapter 2 The Humble Programmer
  4. Altmetric Badge
    Chapter 3 Software Engineering
  5. Altmetric Badge
    Chapter 4 Software Engineering— Some Principles and Problems
  6. Altmetric Badge
    Chapter 5 The Engineering of Software: A Startling Contradiction
  7. Altmetric Badge
    Chapter 6 Programs, Cities, Students— Limits to Growth?
  8. Altmetric Badge
    Chapter 7 On Structured Programming
  9. Altmetric Badge
    Chapter 8 Correctness Concerns and, among Other Things, Why They Are Resented
  10. Altmetric Badge
    Chapter 9 An Axiomatic Basis for Computer Programming
  11. Altmetric Badge
    Chapter 10 Proof of a Program: FIND
  12. Altmetric Badge
    Chapter 11 An Approach to Correctness Proofs of Semicoroutines
  13. Altmetric Badge
    Chapter 12 An Axiomatic Proof Technique for Parallel Programs
  14. Altmetric Badge
    Chapter 13 Programming with Transition Diagrams
  15. Altmetric Badge
    Chapter 14 Guarded Commands, Nondeterminacy, and Formal Derivation of Programs
  16. Altmetric Badge
    Chapter 15 A System which Automatically Improves Programs
  17. Altmetric Badge
    Chapter 16 Towards a Theory of Parallel Programming
  18. Altmetric Badge
    Chapter 17 Structured Multiprogramming
  19. Altmetric Badge
    Chapter 18 Monitors: An Operating System Structuring Concept
  20. Altmetric Badge
    Chapter 19 The Programming Language Concurrent Pascal
  21. Altmetric Badge
    Chapter 20 Proof of Correctness of Data Representations
  22. Altmetric Badge
    Chapter 21 The Algebraic Specification of Abstract Data Types
  23. Altmetric Badge
    Chapter 22 User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction
  24. Altmetric Badge
    Chapter 23 Program Development by Stepwise Refinement
  25. Altmetric Badge
    Chapter 24 On a “Buzzword”: Hierarchical Structure
  26. Altmetric Badge
    Chapter 25 On the Design and Development of Program Families
  27. Altmetric Badge
    Chapter 26 System Structure for Software Fault Tolerance
  28. Altmetric Badge
    Chapter 27 Structured Analysis (SA): A Language for Communicating Ideas
Attention for Chapter 24: On a “Buzzword”: Hierarchical Structure
Altmetric Badge

Citations

dimensions_citation
31 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
On a “Buzzword”: Hierarchical Structure
Chapter number 24
Book title
Programming Methodology
Published by
Springer, New York, NY, January 1978
DOI 10.1007/978-1-4612-6315-9_24
Book ISBNs
978-1-4612-6317-3, 978-1-4612-6315-9
Authors

David L. Parnas