Abstract
Starting from the experience gained in organizing TAPSOFT'85, the paper discusses the place of formal methods in software development. It distinguishes two notions of theory: the mathematical science of computation and the treatment of computing as a human activity. An adequate software theory needs to take both theoretical perspectives into account. Therefore, the paper explores the borderline of formalization and human activity in several directions: concerning the role and scope of formalized procedures, the relation between formal models and situated use, the process of learning in software development and the ways computer programs become effective in use. Fundamental assumptions underlying formal methods and their relation to emancipatory approaches such as participatory design are discussed. The paper closes with calling for a dialogical framework for further pursuing these questions.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Bjerknes, G., Ehn, P., and Kyng, M. (eds.): Computers and Democracy. A Scandinavian Challenge. Avebury, Aldershot, UK, 1987.
Burstall, R.M.: Computing: Yet Another Reality Construction. In [FZBKS92]: 45–51.
Bødker, S. (1987). Through the Interface. A Human Activity Approach to User Interface Design. Aarhus University, Aarhus, 1987.
Budde, R., Züllighoven, H.: Software Tools in a Programming Workshop. In [FZBKS 92]: 252–268.
Bråten, S.: Model monopoly and communication: Systems theoretical notes on democratization. Acta Sociologica, 16(2): 98–107.
Colburn, T. R., Fetzer, J. H., and Rankin T. L. (eds.): Program Verification. Kluwer Academic Publishers, Dordrecht/Boston/London, 1993.
Coy, W., Nake, F., Pflüger, J.-M., Rolf, A., Seetzen, J., Siefkes, D., Stransfeld, R. (eds.): Sichtweisen der Informatik. Vieweg-Verlag, Braun-schweig/Wiesbaden, 1992.
Dahlbom, B., Mathiassen, L.: Computers In Context — The Philosophy and Practice of Systems Design. Blackwell Publishers. Cambridge, Massachusetts, 1993.
Ehrig, H., Mahr, B.: A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development. This volume.
Ehn, P.: Work-oriented Design of Computer Artifacts. Almquist and Wik-sell International, Stockholm, 1988.
Floyd, C.: On the Relevance of Formal Methods to Software Development. In Springer LNCS 186 (1986): 1–11.
Floyd, C.: Outline of a Paradigm Change in Software Engineering. In [BEK87]: 191–210.
Floyd, C.: Human Questions in Computer Science. In [FZBKS 92]: 15–27.
Floyd, C., Mehl, W.-M., Reisin, F.-M., Schmidt, G., and Wolf, G.: Out of Scandinavia: Alternative approaches to software design and system development. Human-Computer Interaction, 4(4): 253–349.
Floyd, C., Reisin, F.-M., Schmidt, G.: STEPS to Software Development with Users. In: Ghezzi, C. and McDermid, J.A. (eds.): ESEC'89, Springer LNCS 387: 48–64.
Floyd, C., Züllighoven, H., Budde, R., Keil-Slawik, R. (eds.): Software Development and Reality Construction. Springer-Verlag, Berlin, Heidelberg, New York, Tokio, 1992.
Goguen, J.: The denial of Error. In [FZBKS 92]: 193–202.
Heintz, B.: Die Herrschaft der Regel. Zur Grundlagengeschichte des Computers. Campus Verlag, Frankfurt/New York, 1993.
Klein, H. K., Lyytinen, K.: Towards a New Understanding of Data Modelling. In [FZBKS 92]: 203–219.
Knuth, D.E.: Learning from our Errors. In [FZBKS 92]: 28–30.
Keil-Slawik, R.: Artifacts in Software Design. In [FZBKS 92]: 168–188.
Lehmann, M.: Programs, life cycles, and laws of software evolution. Proceedings of the IEEE, 86(9): 1060–1076.
Towards a Mathematical Science of Computation. In [CFR 93]: 35–56.
Maaß, S., Oberquelle, H.: Perspectives and Metaphors for Human-Computer Interaction. In [FZBKS 92]: 233–251.
Naur, P.: Computing: A Human Activity. ACM-Press, New York, 1992.
Nurminen, M. I.: A Subject-Oriented Approach to Information Systems. In [FZBKS 92]: 302–311.
Nygaard, K.: Program development as social activity. In Kugler, H. G. (ed.): Information Processing 86 — Proceedings of the IFIP 10th World Computer Congress. North-Holland, Amsterdam, 189–198.
Reisin, F.-M.: Anticipating Reality Construction. In [FZBKS 92]: 312–325.
Siefkes, D.: How to Communicate Proofs or Programs. In [FZBKS 92]: 140–154.
Smith, B.C.: Limits of Correctness in Computers. Reprinted in [CFR 92]: 275–293.
Suchman, L.A.: Plans and Situated Actions — The Problem of Human-Machine Communication. Cambridge University Press, Cambridge, UK. 1987.
Winograd, T., Flores, F.: Understanding Computers and Cognition — A new Foundation for Design. Ablex, Norwood, NJ, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Floyd, C. (1995). Theory and practice of software development. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds) TAPSOFT '95: Theory and Practice of Software Development. CAAP 1995. Lecture Notes in Computer Science, vol 915. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59293-8_185
Download citation
DOI: https://doi.org/10.1007/3-540-59293-8_185
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59293-8
Online ISBN: 978-3-540-49233-7
eBook Packages: Springer Book Archive