Skip to main content

Abstract

“A scientific discipline emerges with the — usually rather slow! — discovery of which aspects can be meaningfully ‘studied in isolation for the sake of their own consistency’.”1 This statement made by E.W. Dijkstra was meant to express a specific desire, namely, to achieve basic improvements in software development by means of mathematical tools and concepts allowing us to express algorithms and data structures in an increasingly precise, unambiguous, consistent and complete manner. The question is, however, whether isolated mathematical properties provide the only — and a sufficient — basis for establishing a scientific discipline.

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

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Keil-Slawik, R. (1992). Artifacts in Software Design. In: Floyd, C., Züllighoven, H., Budde, R., Keil-Slawik, R. (eds) Software Development and Reality Construction. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76817-0_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-76817-0_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-76819-4

  • Online ISBN: 978-3-642-76817-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics