↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 tweeter
wikipedia
1 Wikipedia page

Citations

dimensions_citation
18 Dimensions

Readers on

mendeley
14 Mendeley
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.
Title
Programming Methodology
Published by
Springer Science & Business Media, December 2012
DOI 10.1007/978-1-4612-6315-9
ISBNs
978-1-4612-6315-9, 978-0-387-90329-3, 978-1-4612-6317-3
Editors

Gries, David

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 14 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 7%
Taiwan 1 7%
Unknown 12 86%

Demographic breakdown

Readers by professional status Count As %
Researcher 3 21%
Student > Ph. D. Student 3 21%
Student > Bachelor 2 14%
Student > Master 2 14%
Other 1 7%
Other 2 14%
Unknown 1 7%
Readers by discipline Count As %
Computer Science 10 71%
Engineering 2 14%
Economics, Econometrics and Finance 1 7%
Unknown 1 7%