Skip to main content
SpringerLink
Log in
Book cover

Software Engineering Education pp 151–156Cite as

A Highly Selective, Annotated Software Engineering Bibliography

  • Chapter

Abstract

This short bibliography is a listing of books and articles which are essential reading for the software engineer or for those attempting to become familiar with software engineering. The emphasis is on concepts and principles involved in gaining an understanding of the goals of software engineering and the issues involved in achieving them. While an attempt has been made to include most of the topics generally regarded as being subsumed by the term “software engineering”, there is no attempt to be complete and there is a definite emphasis on the pragmatic, as opposed to the theoretical.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Aron, J.D. The Program Development Process. Reading, Mass.: Addison-Wesley Publishing Company.

    Google Scholar 

  • Part 1: The Individual Programmer, 1974.

    Google Scholar 

  • Part 2: The Programming Team (to appear, 1977).

    Google Scholar 

  • Baker, F.T., “Chief Programmer Team Management of Production Programming”, IBM Systems Journal, vol. 11, no. 1 (1972), pp. 56–73.

    Article  Google Scholar 

  • Bauer, F.L. (ed.) Advanced Course on Software Engineering. Berlin: Springer-Verlag, 1973.

    MATH  Google Scholar 

  • Brooks, F.P., Jr. The Mythical Man-Month. Reading, Mass: Addison-Wesley Publishing Company, 1975.

    Google Scholar 

  • Caine, S.H., and Gordon, E.K., “PDL—A Tool for Software Design”, Proc. AFIPS 1975 National Computer Conference, pp. 271–276.

    Google Scholar 

  • Dahl, O-J., Dijkstra, E.W., and Hoare, C.A.R., Structured Programming, London: Academic Press, 1972.

    MATH  Google Scholar 

  • De Remer, F., and Kron, H., “Programming-in-the-Large versus Programming-in-the Small”, IEEE Transactions on Software Engineering, vol. SE-2, no. 2 (June, 1976) pp. 80–86.

    Article  Google Scholar 

  • Dijkstra, E.W., “The Humble Programmer”, CACM, vol. 15, no. 10 (October 1972), pp. 859–866.

    Google Scholar 

  • Elspas, B., et al., “An Assessment of Techniques for Proving Program Correctness”, ACM Computing Surveys, vol. 4, no. 2 (June 1972), pp. 97–147.

    Article  MathSciNet  MATH  Google Scholar 

  • Goodenough, J.B., and Gerhart, S.L., “Toward a Theory of Test Data Selection”, IEEE Transactions on Software Engineering, vol. SE-1, no. 2 (June 1975), pp. 156–173.

    MathSciNet  Google Scholar 

  • Kernighan, B.W. and Plauger, P.J., The Elements of Programming Style. New York: McGraw-Hill Book Company, 1974.

    MATH  Google Scholar 

  • Kernighan, B.W. and Plauger, P.J., Software Tools, Reading, Mass.: Addison-Wesley Publishing Company, 1976.

    MATH  Google Scholar 

  • Knuth, D.E., The Art of Computer Programming. Reading, Mass.: Addison-Wesley Publishing Company.

    Google Scholar 

  • Vol. 1 — Fundamental Algorithms, 2nd ed, 1973.

    Google Scholar 

  • Vol. 2 — Seminumerical Algorithms, 1969.

    Google Scholar 

  • Vol. 3 — Sorting and Searching, 1973.

    Google Scholar 

  • Vol.4-7 — Forthcoming

    Google Scholar 

  • Knuth, D.E., “Structured Programming with goto Statements”, ACM Computing Surveys, vol. 6, no. 4 (December, 1974), pp. 251–301.

    Article  MathSciNet  Google Scholar 

  • Liskov, B., and Zilles, S.N., “An Introduction to Formal Specifications of Data Abstractions”, in Current Trends in Programming Methodology, vol. 1, ed. R. Yeh. Englewood Cliffs, N.J.: Prentice-Hall, 1977.

    Google Scholar 

  • Liskov, B., and Zilles, S.N., “Programming with Abstract Data Types”, ACM SIGPLAN Notices, vol. 9, no. 4, (April, 1974), pp. 50–59.

    Article  Google Scholar 

  • Myers, G.J., Reliable Software Through Composite Design. New York: Petrocelli/Charter, 1974.

    Google Scholar 

  • Naur, P., and Randell, B. (ed.) Software Engineering. Brussels: NATO Science Committee, 1969.

    Google Scholar 

  • Buxton, J.N. and Randell, B. (ed.) Software Engineering Techniques. Brussels: NATO Science Committee, 1970.

    Google Scholar 

  • (Both volumes out of print. Reprinted as Naur, P., Randell, B., and Buxton, J.N.(ed.) Software Engineering: Concepts and Techniques. New York: Petrocelli/Charter, 1976.)

    Google Scholar 

  • Parnas, D.L. “A Technique for Software Module Specifications with Examples”, CACM, vol. 15, no. 5, (May 1972), pp. 330–336.

    Google Scholar 

  • Parnas, D.L. “On the Criteria to be Used in Decomposing Systems into Modules”, CACM, vol. 15, no. 12 (December 1972), pp. 1053–1058.

    Google Scholar 

  • Weinberg, G.M. The Psychology of Computer Programming. New York: VanNostrand Reinhold, 1971.

    Google Scholar 

  • Wirth, N., “Program Development by Stepwise Refinement”, CACM, vol. 14, no. 4 (April 1971), pp. 221–227.

    MATH  Google Scholar 

  • Wolverton, R.W., “The Cost of Developing Large-Scale Software”. IEEE Transactions on Computers, vol. C-23, no. 6 (June, 1974) pp. 615–636.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of California, San Francisco, USA

    Anthony I. Wasserman

Authors
  1. Anthony I. Wasserman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Graduate Program in Medical Information Science, University of California, San Francisco, CA, 94143, USA

    Anthony I. Wasserman

  2. Information and Computer Sciences, University of California, Irvine, CA, 92717, USA

    Peter Freeman

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag New York Inc.

About this chapter

Cite this chapter

Wasserman, A.I. (1976). A Highly Selective, Annotated Software Engineering Bibliography. In: Wasserman, A.I., Freeman, P. (eds) Software Engineering Education. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-9898-4_31

Download citation

  • DOI: https://doi.org/10.1007/978-1-4612-9898-4_31

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-0-387-90216-6

  • Online ISBN: 978-1-4612-9898-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation