Skip to main content

What IS a BoK? Large – Extended Abstract –

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8368))

Abstract

Software engineering is different from traditional engineering disciplines in certain crucial ways. But software engineering is an engineering discipline.

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

Buying options

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 EPUB and 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

References

  1. Jackson, M.: The operational principle and problem frames. In: Roscoe Bill, A.W., Jones, C.B., Wood, K.R. (eds.) Reflections on the Work of CAR Hoare, pp. 143–165. Springer, London (2010)

    Google Scholar 

  2. Polanyi, M.: Personal Knowledge: Towards a Post-critical Philosophy. Routledge & Kegan Paul, London (1958). Reprinted by University of Chicago Press (1974)

    Google Scholar 

  3. Rogers, G.F.C.: The Nature of Engineering: A Philosophy of Technology. Macmillan Press, London (1983)

    Google Scholar 

  4. Vincenti, W.G.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. The Johns Hopkins University Press, Baltimore (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tom Maibaum .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Maibaum, T. (2014). What IS a BoK? Large – Extended Abstract –. In: Counsell, S., Núñez, M. (eds) Software Engineering and Formal Methods. SEFM 2013. Lecture Notes in Computer Science(), vol 8368. Springer, Cham. https://doi.org/10.1007/978-3-319-05032-4_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-05032-4_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-05031-7

  • Online ISBN: 978-3-319-05032-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics