{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:42Z","timestamp":1725664422271},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_185","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:11:23Z","timestamp":1330258283000},"page":"25-41","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Theory and practice of software development"],"prefix":"10.1007","author":[{"given":"Christiane","family":"Floyd","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"volume-title":"Computers and Democracy. A Scandinavian Challenge","year":"1987","unstructured":"Bjerknes, G., Ehn, P., and Kyng, M. (eds.): Computers and Democracy. A Scandinavian Challenge. Avebury, Aldershot, UK, 1987.","key":"2_CR1"},{"doi-asserted-by":"crossref","unstructured":"Burstall, R.M.: Computing: Yet Another Reality Construction. In [FZBKS92]: 45\u201351.","key":"2_CR2","DOI":"10.1007\/978-3-642-76817-0_6"},{"key":"2_CR3","volume-title":"A Human Activity Approach to User Interface Design","author":"S. B\u00f8dker","year":"1987","unstructured":"B\u00f8dker, S. (1987). Through the Interface. A Human Activity Approach to User Interface Design. Aarhus University, Aarhus, 1987."},{"doi-asserted-by":"crossref","unstructured":"Budde, R., Z\u00fcllighoven, H.: Software Tools in a Programming Workshop. In [FZBKS 92]: 252\u2013268.","key":"2_CR4","DOI":"10.1007\/978-3-642-76817-0_20"},{"doi-asserted-by":"crossref","unstructured":"Br\u00e5ten, S.: Model monopoly and communication: Systems theoretical notes on democratization. Acta Sociologica, 16(2): 98\u2013107.","key":"2_CR5","DOI":"10.1177\/000169937301600202"},{"volume-title":"Program Verification","year":"1993","unstructured":"Colburn, T. R., Fetzer, J. H., and Rankin T. L. (eds.): Program Verification. Kluwer Academic Publishers, Dordrecht\/Boston\/London, 1993.","key":"2_CR6"},{"volume-title":"Sichtweisen der Informatik","year":"1992","unstructured":"Coy, W., Nake, F., Pfl\u00fcger, J.-M., Rolf, A., Seetzen, J., Siefkes, D., Stransfeld, R. (eds.): Sichtweisen der Informatik. Vieweg-Verlag, Braun-schweig\/Wiesbaden, 1992.","key":"2_CR7"},{"key":"2_CR8","volume-title":"Computers In Context \u2014 The Philosophy and Practice of Systems Design","author":"B. Dahlbom","year":"1993","unstructured":"Dahlbom, B., Mathiassen, L.: Computers In Context \u2014 The Philosophy and Practice of Systems Design. Blackwell Publishers. Cambridge, Massachusetts, 1993."},{"unstructured":"Ehrig, H., Mahr, B.: A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development. This volume.","key":"2_CR9"},{"key":"2_CR10","volume-title":"Work-oriented Design of Computer Artifacts","author":"P. Ehn","year":"1988","unstructured":"Ehn, P.: Work-oriented Design of Computer Artifacts. Almquist and Wik-sell International, Stockholm, 1988."},{"key":"2_CR11","first-page":"1","volume":"186","author":"C. Floyd","year":"1986","unstructured":"Floyd, C.: On the Relevance of Formal Methods to Software Development. In Springer LNCS 186 (1986): 1\u201311.","journal-title":"Springer LNCS"},{"unstructured":"Floyd, C.: Outline of a Paradigm Change in Software Engineering. In [BEK87]: 191\u2013210.","key":"2_CR12"},{"doi-asserted-by":"crossref","unstructured":"Floyd, C.: Human Questions in Computer Science. In [FZBKS 92]: 15\u201327.","key":"2_CR13","DOI":"10.1007\/978-3-642-76817-0_2"},{"doi-asserted-by":"crossref","unstructured":"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\u2013349.","key":"2_CR14","DOI":"10.1207\/s15327051hci0404_1"},{"doi-asserted-by":"crossref","unstructured":"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\u201364.","key":"2_CR15","DOI":"10.1007\/3-540-51635-2_32"},{"volume-title":"Software Development and Reality Construction","year":"1992","unstructured":"Floyd, C., Z\u00fcllighoven, H., Budde, R., Keil-Slawik, R. (eds.): Software Development and Reality Construction. Springer-Verlag, Berlin, Heidelberg, New York, Tokio, 1992.","key":"2_CR16"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.: The denial of Error. In [FZBKS 92]: 193\u2013202.","key":"2_CR17","DOI":"10.1007\/978-3-642-76817-0_16"},{"key":"2_CR18","volume-title":"Zur Grundlagengeschichte des Computers","author":"B. Heintz","year":"1993","unstructured":"Heintz, B.: Die Herrschaft der Regel. Zur Grundlagengeschichte des Computers. Campus Verlag, Frankfurt\/New York, 1993."},{"doi-asserted-by":"crossref","unstructured":"Klein, H. K., Lyytinen, K.: Towards a New Understanding of Data Modelling. In [FZBKS 92]: 203\u2013219.","key":"2_CR19","DOI":"10.1007\/978-3-642-76817-0_17"},{"doi-asserted-by":"crossref","unstructured":"Knuth, D.E.: Learning from our Errors. In [FZBKS 92]: 28\u201330.","key":"2_CR20","DOI":"10.1007\/978-3-642-76817-0_3"},{"doi-asserted-by":"crossref","unstructured":"Keil-Slawik, R.: Artifacts in Software Design. In [FZBKS 92]: 168\u2013188.","key":"2_CR21","DOI":"10.1007\/978-3-642-76817-0_15"},{"doi-asserted-by":"crossref","unstructured":"Lehmann, M.: Programs, life cycles, and laws of software evolution. Proceedings of the IEEE, 86(9): 1060\u20131076.","key":"2_CR22","DOI":"10.1109\/PROC.1980.11805"},{"unstructured":"Towards a Mathematical Science of Computation. In [CFR 93]: 35\u201356.","key":"2_CR23"},{"doi-asserted-by":"crossref","unstructured":"Maa\u00df, S., Oberquelle, H.: Perspectives and Metaphors for Human-Computer Interaction. In [FZBKS 92]: 233\u2013251.","key":"2_CR24","DOI":"10.1007\/978-3-642-76817-0_19"},{"key":"2_CR25","volume-title":"A Human Activity","author":"P. Naur","year":"1992","unstructured":"Naur, P.: Computing: A Human Activity. ACM-Press, New York, 1992."},{"doi-asserted-by":"crossref","unstructured":"Nurminen, M. I.: A Subject-Oriented Approach to Information Systems. In [FZBKS 92]: 302\u2013311.","key":"2_CR26","DOI":"10.1007\/978-3-642-76817-0_24"},{"unstructured":"Nygaard, K.: Program development as social activity. In Kugler, H. G. (ed.): Information Processing 86 \u2014 Proceedings of the IFIP 10th World Computer Congress. North-Holland, Amsterdam, 189\u2013198.","key":"2_CR27"},{"doi-asserted-by":"crossref","unstructured":"Reisin, F.-M.: Anticipating Reality Construction. In [FZBKS 92]: 312\u2013325.","key":"2_CR28","DOI":"10.1007\/978-3-642-76817-0_25"},{"doi-asserted-by":"crossref","unstructured":"Siefkes, D.: How to Communicate Proofs or Programs. In [FZBKS 92]: 140\u2013154.","key":"2_CR29","DOI":"10.1007\/978-3-642-76817-0_13"},{"doi-asserted-by":"crossref","unstructured":"Smith, B.C.: Limits of Correctness in Computers. Reprinted in [CFR 92]: 275\u2013293.","key":"2_CR30","DOI":"10.1007\/978-94-011-1793-7_13"},{"key":"2_CR31","volume-title":"Plans and Situated Actions \u2014 The Problem of Human-Machine Communication","author":"L.A. Suchman","year":"1987","unstructured":"Suchman, L.A.: Plans and Situated Actions \u2014 The Problem of Human-Machine Communication. Cambridge University Press, Cambridge, UK. 1987."},{"key":"2_CR32","volume-title":"Understanding Computers and Cognition \u2014 A new Foundation for Design","author":"T. Winograd","year":"1986","unstructured":"Winograd, T., Flores, F.: Understanding Computers and Cognition \u2014 A new Foundation for Design. Ablex, Norwood, NJ, 1986."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:19:10Z","timestamp":1578518350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_185"}},"subtitle":["Stages in a debate"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_185","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}