On the development of systems of men and machines

  • H. D. Mills
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 23)


We formulate the development of systems of men and machines as a programming problem for multiprocessing in which some processors are men and some are machines. In this way, users guides, training courses, etc., are determined from processing requirements, just as machine specifications, which are consistent with the objectives of the total operation. An Appendix illustrates this idea in miniature for a supermarket checkout operation.


Item Type User Guide Data Processing System Machine Procedure Logical Capability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare, Structured Programming, Academic Press, London. 1972.Google Scholar
  2. [2]
    J. B. Dennis, "Concurrency in Software Systems", Lecture Notes in Economics and Mathematical Systems, 81 Advanced Course on Software Engineering (Ed. F. L. Bauer), Springer-Verlag, Berlin, Heidelberg, New York. 1973.Google Scholar
  3. [3]
    C. A. R. Hoare, "An axiomatic basis for computer programming", CACM 12. 1969. pp. 576–580, 583.Google Scholar
  4. [4]
    J. McCarthy, "A basis for a mathematical theory of computation", Computer Programming and Formal Systems, (Eds. P. Braffort and D. Hirschberg), North-Holland Publishing Company. 1963. pp. 33–70.Google Scholar
  5. [5]
    H.D. Mills, "The new math of computer programming", CACM 17, 1975. (To appear).Google Scholar
  6. [6]
    D. L. Parnas, "A technique for software module specification with examples", CACM 15, 5. May 1972. pp. 330–336Google Scholar
  7. [7]
    C. A. Petri, Communications with Automata. Supplement 1 to Technical Report RADC-TR-65-377, Vol. 1, Griffiss Air Force Base, New York. 1966. (Originally published in German: Kommunikation mit Automaten, University of Bonn, 1962).Google Scholar
  8. [8]
    J. E. Sammet, "The use of English as a programming language", CACM 9, 3. March 1966. pp. 228–230.Google Scholar
  9. [9]
    M. Wilkes, "Constraint-type statements in programming languages", CACM 7. 1964. pp. 587–588.Google Scholar
  10. [10]
    N. Wirth, Systematic Programming: An Introduction, Prentice-Hall, Englewood Cliffs, New Jersey. 1973.Google Scholar
  11. [11]
    H. Zemanek, "Semiotics and programming languages", CACM 9, 3. March 1966. pp. 139–143.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • H. D. Mills
    • 1
  1. 1.IBM Corporation and The Johns Hopkins UniversityUSA

Personalised recommendations