{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:35:05Z","timestamp":1762032905751,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":76,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_4","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:32:45Z","timestamp":1283686365000},"page":"50-74","source":"Crossref","is-referenced-by-count":10,"title":["The Inevitable Pain of Software Development: Why There Is No Silver Bullet"],"prefix":"10.1007","author":[{"given":"Daniel M.","family":"Berry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Principles: The Agile Alliance. The Agile Alliance (2001), http:\/\/www.agilealliance.org\/"},{"key":"4_CR2","unstructured":"Ambler, S.W.: Requirements Modeling. The Official Agile Modeling (AM) Site (2001), http:\/\/www.agilemodeling.com\/essays\/agileRequirementsModeling.htm"},{"key":"4_CR3","unstructured":"Ambler, S.W.: Agile Software Development. The Official Agile Modeling (AM) Site (2001), http:\/\/www.agilemodeling.com\/essays\/agileSoftwareDevelopment.htm"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/52.268964","volume":"14","author":"S.J. Andriole","year":"1994","unstructured":"Andriole, S.J.: Fast Cheap Requirements: Prototype or Else! IEEE Software\u00a014(2), 85\u201387 (1994)","journal-title":"IEEE Software"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TSE.1981.230814","volume":"SE-7","author":"R.M. Balzer","year":"1981","unstructured":"Balzer, R.M.: Transformational Implementation: AnExample. IEEE Transactions on Software Engineering\u00a0SE-7(1), 3\u201314 (1981)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR6","volume-title":"Extreme Programming Explained: Embrace Change","author":"K. Beck","year":"1999","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley, Reading (1999)"},{"issue":"3","key":"4_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1147\/sj.153.0225","volume":"15","author":"L.A. Belady","year":"1976","unstructured":"Belady, L.A., Lehman, M.M.: A Model of Large Program Development. IBM Systems Journal\u00a015(3), 225\u2013252 (1976)","journal-title":"IBM Systems Journal"},{"key":"4_CR8","volume-title":"Program Evolution","author":"L.A. Belady","year":"1985","unstructured":"Belady, L.A., Lehman, M.M.: Program System Dynamics or the Metadynamics of Systems in Maintenance and Growth. In: Lehman, M.M., Belady, L.A. (eds.) Program Evolution, Academic Press, London (1985)"},{"key":"4_CR9","unstructured":"Berry, D.M.: An Example of Structured Programming. UCLA Computer Science Department Quarterly\u00a02(3) (July 1974)"},{"key":"4_CR10","unstructured":"Berry, D.M.: The Application of the Formal Development Methodology to Data Base Design and Integrity Verification. UCLA Computer Science Department Quarterly\u00a09(4) (Fall 1981)"},{"key":"4_CR11","unstructured":"Berry, D.M.: Program Proofs Produced Practically. In: Tutorial Notes of Fifth International Conference on Software Engineering, San Diego, CA (March 1981)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Berry, D.M.: An Ina Jo Proof Manager for the Formal Development Method. In: Proceedings of Verkshop III, Software Engineering Notes (August 1985)","DOI":"10.1145\/1012497.1012505"},{"issue":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MS.1998.663780","volume":"15","author":"D.M. Berry","year":"1998","unstructured":"Berry, D.M., Lawrence, B.: Requirements Engineering. IEEE Software\u00a015(2), 26\u201329 (1998)","journal-title":"IEEE Software"},{"issue":"3 & 4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/s007660050007","volume":"3","author":"D.M. Berry","year":"1998","unstructured":"Berry, D.M.: Software and House Requirements Engineering: Lessons Learned in Combating Requirements Creep. Requirements Engineering Journal\u00a03(3 & 4), 242\u2013244 (1998)","journal-title":"Requirements Engineering Journal"},{"key":"4_CR15","volume-title":"Software Engineering Economics","author":"B.W. Boehm","year":"1981","unstructured":"Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"4_CR16","unstructured":"Brooks Jr., F.P.: No Silver Bullet. In: Kugler, H.-J. (ed.) Information Processing 1986, IFIP. Elsevier Science Publishers B.V. North-Holland (1986)"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks Jr.","year":"1987","unstructured":"Brooks Jr., F.P.: No Silver Bullet. Computer\u00a020(4), 10\u201319 (1987)","journal-title":"Computer"},{"key":"4_CR18","volume-title":"The Mythical Man-Month: Essays on Software Engineering","author":"F.P. Brooks Jr.","year":"1995","unstructured":"Brooks Jr., F.P.: The Mythical Man-Month: Essays on Software Engineering, 2nd edn. Addison-Wesley, Reading (1995)","edition":"2"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Burgess-Yakemovic, K.C., Conklin, J.: Report on Development Project Use of an Issue-Based Information System. In: Proceedings of the ACM Conference on CSCW, Los Angeles, CA (October 1990)","DOI":"10.1145\/99332.99347"},{"issue":"12","key":"4_CR20","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1109\/32.738344","volume":"SE-24","author":"J. Carroll","year":"1998","unstructured":"Carroll, J., Rosson, M.B., Chin, G., Koenemann, J.: Requirements Development in Scenario-Based Design. IEEETransactions on Software Engineering\u00a0SE-24(12), 1156\u20131170 (1998)","journal-title":"IEEETransactions on Software Engineering"},{"key":"4_CR21","unstructured":"CECOM: Requirements Engineering and Rapid Prototyping Workshop Proceedings. Eatontown, NJ, U.S. Army CECOM (1989)"},{"issue":"7","key":"4_CR22","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"SE- 24","author":"W. Chan","year":"1998","unstructured":"Chan, W., Anderson, R.J., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.D.: Model Checking Large Software Specifications. IEEE Transactions on Software Engineering\u00a0SE- 24(7), 498\u2013520 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR23","volume-title":"Structured Programming","author":"O.-J. Dahl","year":"1972","unstructured":"Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming. Academic Press, London (1972)"},{"issue":"3","key":"4_CR24","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s007660070005","volume":"5","author":"A. Daugulis","year":"2000","unstructured":"Daugulis, A.: Time Aspects in Requirements Engineering: or \u2018Every Cloud has a Silver Lining. Requirements Engineering\u00a05(3), 137\u2013143 (2000)","journal-title":"Requirements Engineering"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Dunsmore, A., Roger, M., Wood, M.: Object-Oriented Inspection in the Face of Delocalization. In: Proceedings of the Twenty-Second International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000, pp. 467\u2013476 (2000)","DOI":"10.1145\/337180.337343"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Egyed, A.: A Scenario-Driven Approach to Traceability. In: Proceedings of the Twenty-Third International Conference on Software Engineering (ICSE 2001), Toronto, ON, Canada, June 2001, pp. 132\u2013132 (2001)","DOI":"10.1109\/ICSE.2001.919087"},{"issue":"2","key":"4_CR27","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/356599.356602","volume":"4","author":"B. Elspas","year":"1972","unstructured":"Elspas, B., Levitt, K.N., Waldinger, R.J., Waksman, A.: An Assessment of Techniques for Proving Program Correctness. Computing Surveys\u00a04(2), 81\u201396 (1972)","journal-title":"Computing Surveys"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Elssamadisy, A., Schalliol, G.: Recognizing and Responding to \u201cBad Smells\u201d in Extreme Programming. In: Proceedings of the Twenty-Fourth International Conference on Software Engineering (ICSE 2002), Orlando, FL (May 2001)","DOI":"10.1145\/581339.581418"},{"issue":"3","key":"4_CR29","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1147\/sj.153.0182","volume":"15","author":"M.E. Fagan","year":"1976","unstructured":"Fagan, M.E.: Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal\u00a015(3), 182\u2013211 (1976)","journal-title":"IBM Systems Journal"},{"issue":"4","key":"4_CR30","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1002\/spe.4380090402","volume":"9","author":"S.I. Feldman","year":"1979","unstructured":"Feldman, S.I.: Make\u2014A Program for Maintaining Computer Programs. Software\u2014Practice and Experience\u00a09(4), 224\u2013265 (1979)","journal-title":"Software\u2014Practice and Experience"},{"key":"4_CR31","volume-title":"Software Requirements Engineering","author":"K. Forsberg","year":"1997","unstructured":"Forsberg, K., Mooz, H.: System Engineering Overview. In: Thayer, R.H., Dorfman, M. (eds.) Software Requirements Engineering, 2nd edn., IEEE Computer Society, Washington (1997)","edition":"2"},{"key":"4_CR32","volume-title":"Software Inspection","author":"T. Gilb","year":"1993","unstructured":"Gilb, T., Graham, D.: Software Inspection. AddisonWesley, Wokingham (1993)"},{"issue":"2","key":"4_CR33","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/293411.293481","volume":"42","author":"R.L. Glass","year":"1999","unstructured":"Glass, R.L.: The Realities of Software Technology Payoffs. Communications of the ACM\u00a042(2), 74\u201379 (1999)","journal-title":"Communications of the ACM"},{"key":"4_CR34","unstructured":"Goguen, J.A., Tardo, J.: An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications. In: Proceedings Conference on Specifications of Reliable Software, Boston (1979)"},{"key":"4_CR35","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/ICRE.1994.292398","volume-title":"Proceedings of the First International Conference on Requirements Engineering","author":"O.C.Z. Gotel","year":"1994","unstructured":"Gotel, O.C.Z., Finkelstein, A.C.W.: An Analysis of the Requirements Traceability Problem. In: Proceedings of the First International Conference on Requirements Engineering, pp. 94\u2013101. IEEE Computer Society, Colorado Springs (1994)"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Griswold, W.G., Yuan, J.J., Kato, Y.: Exploiting the Map Metaphor in a Tool for Software Evolution. In: Proceedings of the Twenty-Third International Conference on Software Engineering (ICSE 2001), Toronto, ON, Canada, June 2001, pp. 265\u2013274 (2001)","DOI":"10.1109\/ICSE.2001.919100"},{"issue":"2","key":"4_CR37","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/52.506463","volume":"13","author":"A. Hall","year":"1996","unstructured":"Hall, A.: Using Formal Methods to Develop an ATC Information System. IEEE Software\u00a013(2), 66\u201376 (1996)","journal-title":"IEEE Software"},{"key":"4_CR38","unstructured":"Heiss, J.J.: The Poetry of Programming. An Interview of Richard Gabriel, java.sun.com Report December 3 (2002) , http:\/\/java.sun.com\/features\/2002\/11\/gabriel_qa.html"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Hester, S.D., Parnas, D.L., Utter, D.F.: Using Documentation as a Software Design Medium. The Bell System Technical Journal\u00a069(8) (October 1981)","DOI":"10.1002\/j.1538-7305.1981.tb00304.x"},{"issue":"9","key":"4_CR40","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1109\/2.947100","volume":"34","author":"J. Highsmith","year":"2001","unstructured":"Highsmith, J., Cockburn, A.: Agile Software Development: The Business of Innovation. IEEE Computer\u00a034(9), 120\u2013122 (2001)","journal-title":"IEEE Computer"},{"issue":"10","key":"4_CR41","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. Communications of the ACM\u00a012(10), 576\u2013580, 585 (1969)","journal-title":"Communications of the ACM"},{"key":"4_CR42","first-page":"241","volume-title":"Proceedings of the First International Conference on Requirements Engineering","author":"M.A. Jackson","year":"1994","unstructured":"Jackson, M.A.: The Role of Architecture in Requirements Engineering. In: Proceedings of the First International Conference on Requirements Engineering, April 18\u201322, p. 241. IEEE Computer Society, Colorado Springs (1994)"},{"key":"4_CR43","unstructured":"Kemmerer, R.A.: Formal Verification of the UCLA Security Kernel: Abstract Model, Mapping Functions, Theorem Generation, and Proofs. Ph.D. Dissertation, Computer Science Department, UCLA (1979)"},{"issue":"1","key":"4_CR44","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/TSE.1985.231535","volume":"SE-11","author":"R.A. Kemmerer","year":"1985","unstructured":"Kemmerer, R.A.: Testing Formal Specifications to Detect Design Errors. IEEE Transactions on Software Engineering\u00a0SE-11(1), 32\u201343 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, H.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"4_CR46","volume-title":"The Art of Computer Programming: Fundamental Algorithms","author":"D.E. Knuth","year":"1969","unstructured":"Knuth, D.E.: The Art of Computer Programming: Fundamental Algorithms. Addison Wesley, Reading (1969)"},{"key":"4_CR47","volume-title":"The Art of Computer Programming: Seminumerical Algorithms","author":"D.E. Knuth","year":"1971","unstructured":"Knuth, D.E.: The Art of Computer Programming: Seminumerical Algorithms. Addison Wesley, Reading (1971)"},{"key":"4_CR48","volume-title":"The Art of Computer Programming: Sorting and Searching","author":"D.E. Knuth","year":"1973","unstructured":"Knuth, D.E.: The Art of Computer Programming: Sorting and Searching. Addison Wesley, Reading (1973)"},{"issue":"1","key":"4_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90295-D","volume":"90","author":"D.E. Knuth","year":"1991","unstructured":"Knuth, D.E.: Theory and Practice. Theoretical Computer Science\u00a090(1), 1\u201315 (1991)","journal-title":"Theoretical Computer Science"},{"issue":"9","key":"4_CR50","doi-asserted-by":"publisher","first-page":"1060","DOI":"10.1109\/PROC.1980.11805","volume":"68","author":"M.M. Lehman","year":"1980","unstructured":"Lehman, M.M.: Programs, Life Cycles, and Laws of Software Evolution. Proceedings of the IEEE\u00a068(9), 1060\u20131076 (1980)","journal-title":"Proceedings of the IEEE"},{"issue":"2-3","key":"4_CR51","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0164-1212(99)00006-0","volume":"46","author":"M.M. Lehman","year":"1999","unstructured":"Lehman, M.M., Ramil, J.F.: The Impact of Feedback in the Global Software Process. Journal of Systems and Software\u00a046(2-3), 123\u2013134 (1999)","journal-title":"Journal of Systems and Software"},{"key":"4_CR52","doi-asserted-by":"crossref","unstructured":"Leite, J.C.S.P., Franco, A.P.M.: A Strategy for Conceptual Model Acquisition. In: Proceedings of the First IEEE International Symposium on Requirements Engineering, San Diego, CA, January 1993, pp. 243\u2013246 (1993)","DOI":"10.1109\/ISRE.1993.324851"},{"issue":"6","key":"4_CR53","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1145\/359511.359522","volume":"21","author":"B.P. Lientz","year":"1978","unstructured":"Lientz, B.P., Swanson, E.B.: Characteristics of Application Software Maintenance. Communications of the ACM\u00a021(6), 466\u2013481 (1978)","journal-title":"Communications of the ACM"},{"issue":"3","key":"4_CR54","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/362566.362568","volume":"14","author":"Z. Manna","year":"1971","unstructured":"Manna, Z., Waldinger, R.J.: Toward Automatic Program Synthesis. Communications of the ACM\u00a014(3), 151\u2013165 (1971)","journal-title":"Communications of the ACM"},{"issue":"4","key":"4_CR55","first-page":"143","volume":"13","author":"S. McConnell","year":"1996","unstructured":"McConnell, S.: Daily Build and Smoke Test. IEEE Software\u00a013(4), 143\u2013144 (1996)","journal-title":"IEEE Software"},{"issue":"4","key":"4_CR56","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1109\/TSE.1979.234206","volume":"SE-5","author":"M.S. Moriconi","year":"1979","unstructured":"Moriconi, M.S.: A Designer\/Verifier\u2019s Assistant. IEEE Transactions on Software Engineering\u00a0SE-5(4), 387\u2013401 (1979)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR57","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"1979","unstructured":"Myers, G.J.: The Art of Software Testing. Wiley-Interscience, NewYork (1979)"},{"key":"4_CR58","doi-asserted-by":"crossref","unstructured":"M\u00fcller, M.M., Tichy, W.F.: Case Study: Extreme Programming in a University Environment. In: Proceedings of the Twenty-Third International Conference on Software Engineering (ICSE 2001), Toronto, ON, Canada, June 2001, pp. 537\u2013544 (2001)","DOI":"10.1109\/ICSE.2001.919128"},{"key":"#cr-split#-4_CR59.1","unstructured":"Naur, P., Randell, B.: Software Engineering: Report on a Conference Sponsored by the NATO Science Commission, Garmisch, Germany, October 7???11 (1968);"},{"key":"#cr-split#-4_CR59.2","unstructured":"Scientific Affairs Division, NATO, Brussels, Belgium (January 1969)"},{"key":"4_CR60","volume-title":"The Future of Software Engineering","author":"B. Nuseibeh","year":"2000","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering, June 2000, ACM, Limerick (2000)"},{"issue":"2","key":"4_CR61","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM\u00a015(2), 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"issue":"2","key":"4_CR62","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/TSE.1986.6312940","volume":"SE-12","author":"D.L. Parnas","year":"1986","unstructured":"Parnas, D.L., Clements, P.C.: A Rational Design Process: How and Why to Fake It. IEEE Transactions on Software Engineering\u00a0SE-12(2), 196\u2013257 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR63","doi-asserted-by":"crossref","unstructured":"Paulk, M.C., Curtis, B., Chrissis, M.B., Weber, C.V.: Key Practices of the Capability Maturity Model. Technical Report, CMU\/SEI-93-TR-25, Software Engineering Institute (February 1993)","DOI":"10.21236\/ADA263432"},{"issue":"1","key":"4_CR64","first-page":"101","volume":"12","author":"R. Pressman","year":"1995","unstructured":"Pressman, R.: Software According to Niccol\u00f2 Machiavelli. IEEE Software\u00a012(1), 101\u2013102 (1995)","journal-title":"IEEE Software"},{"issue":"1","key":"4_CR65","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/MS.1999.744574","volume":"26","author":"E. Raymond","year":"1999","unstructured":"Raymond, E.: Linux and Open-Source Success. IEEE Software\u00a026(1), 85\u201389 (1999)","journal-title":"IEEE Software"},{"issue":"4","key":"4_CR66","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1109\/TSE.1975.6312866","volume":"SE-1","author":"M.J. Rochkind","year":"1975","unstructured":"Rochkind, M.J.: The Source Code Control System. IEEE Transactions on Software Engineering\u00a0SE-1(4), 364\u2013370 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR67","unstructured":"Royce, W.W.: Managing the Development of Large Software Systems: Concepts and Techniques. In: Proceedings of WesCon (August 1970)"},{"key":"4_CR68","volume-title":"Object-Oriented and Classical Software Engineering","author":"S.R. Schach","year":"2002","unstructured":"Schach, S.R.: Object-Oriented and Classical Software Engineering, 5th edn. McGraw-Hill, New York (2002)","edition":"5"},{"key":"4_CR69","unstructured":"Schwaber, K.: Agile Processes\u2014Emergence of Essential Systems. The Agile Alliance (2002), http:\/\/www.agilealliance.org\/articles\/"},{"issue":"7","key":"4_CR70","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1002\/spe.4380150703","volume":"15","author":"W. Tichy","year":"1985","unstructured":"Tichy, W.: RCS\u2014A System for Version Control. Software\u2014Practice and Experience\u00a015(7), 637\u2013654 (1985)","journal-title":"Software\u2014Practice and Experience"},{"issue":"2","key":"4_CR71","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/52.663783","volume":"15","author":"K. Weidenhaupt","year":"1998","unstructured":"Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenarios in System Development: Current Practice. IEEE Software\u00a015(2), 34\u201345 (1998)","journal-title":"IEEE Software"},{"key":"4_CR72","volume-title":"The Psychology of Computer Programming","author":"G.M. Weinberg","year":"1971","unstructured":"Weinberg, G.M.: The Psychology of Computer Programming. van Nostrand Reinhold, New York (1971)"},{"issue":"2","key":"4_CR73","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/s007660170010","volume":"6","author":"R. Wieringa","year":"2001","unstructured":"Wieringa, R.: Software Requirements Engineering: the Need for Systems Engineering and Literacy. Requirements Engineering Journal\u00a06(2), 132\u2013134 (2001)","journal-title":"Requirements Engineering Journal"},{"issue":"9","key":"4_CR74","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"J.M. Wing","year":"1990","unstructured":"Wing, J.M.: A Specifier\u2019s Introduction to Formal Methods. IEEE Computer\u00a023(9), 8\u201324 (1990)","journal-title":"IEEE Computer"},{"issue":"4","key":"4_CR75","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: Program Development by Stepwise Refinement. Communications of the ACM\u00a014(4), 221\u2013227 (1971)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:28:15Z","timestamp":1740497295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":76,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}