{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:15:18Z","timestamp":1743102918530,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897613"},{"type":"electronic","value":"9783540897620"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89762-0_1","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T13:21:02Z","timestamp":1227705662000},"page":"1-38","source":"Crossref","is-referenced-by-count":4,"title":["The Name and Nature of Software Engineering"],"prefix":"10.1007","author":[{"given":"Michael","family":"Jackson","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Addis, B.: Creativity and Innovation: The Structural Engineer\u2019s Contribution to Design. Architectural Press (2001)"},{"key":"1_CR2","unstructured":"Cantwell Smith, B.: The Limits of Correctness. In: Symposium on Unintentional Nuclear War; Fifth Congress of the International Physicians for the Prevention of Nuclear War, Budapest, Hungary, June 28 - July 1 (1985)"},{"key":"1_CR3","unstructured":"Cayley, G.: On Aerial Navigation. Nicholson\u2019s Journal (issues of November 1809, February 1810, March 1810)"},{"key":"1_CR4","unstructured":"Clark, E.: The Britannia and Conway Tubular Bridges: With General Inquiries on Beams and on the Properties of Materials Used in Construction. Day and Sons, London (1850)"},{"key":"1_CR5","unstructured":"Constant, E.W.: The Origins of the Turbojet Revolution. The Johns Hopkins University Press (1980)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, pp. 179\u2013190 (October 1996)","DOI":"10.1145\/239098.239131"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Delisle, N., Garlan, D.: Applying formal specification to industrial problems: A specification of an oscilloscope. IEEE Software\u00a07(5), 29\u201337 (1990)","DOI":"10.1109\/52.57890"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: On the Cruelty of Really Teaching Computing Science. Communications of the ACM\u00a032(12), 1398\u20131404 (1989)","DOI":"10.1145\/76380.76381"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Faulk, S.R.: Software requirements: A tutorial; NRL report 7775, Naval Research Laboratory, Washington DC (1995)","DOI":"10.21236\/ADA301537"},{"key":"1_CR10","unstructured":"Ferguson, E.S.: Engineering and the Mind\u2019s Eye. MIT Press, Cambridge (1992)"},{"key":"1_CR11","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"key":"1_CR12","unstructured":"(last accessed March 13, 2008), http:\/\/nisee.berkeley.edu\/godden\/godden_intro.html"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Gordon, J.E.: Structure, Or Why Things Don\u2019t Fall Down. Pelican Books (1978)","DOI":"10.1007\/978-1-4615-9074-3"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Haeberer, A.M., Maibaum, T.S.E.: Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. In: Proceedings of the 21st International Conference on Software Engineering, pp. 463\u2013472. IEEE CS Press, Los Alamitos (2001)","DOI":"10.1109\/ICSE.2001.919119"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated Consistency Checking of Requirements Specifications. ACM Transactions on Software Engineering and Methodology\u00a05(3), 231\u2013261 (1996)","DOI":"10.1145\/234426.234431"},{"key":"1_CR16","unstructured":"Hoare, T., Jones, C., Randell, B.: Extending the Horizons of DSE (GC6). University of Newcastle upon Tyne, Technical Report CS-TR\u00a0853 (2004)"},{"key":"1_CR17","unstructured":"Holloway, C.M.: From Bridges and Rockets, Lessons for Software Systems. In: Proceedings of the 17th International System Safety Conference, Orlando, Florida, pp. 598\u2013607 (1999)"},{"key":"1_CR18","unstructured":"Housman, A.E.: The Name and Nature of Poetry. In: The Leslie Stephen Lecture. Cambridge University Press, Cambridge (1932\u20131933)"},{"key":"1_CR19","unstructured":"Jackson, M.A.: System Development. Prentice-Hall, Englewood Cliffs (1983)"},{"key":"1_CR20","unstructured":"Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley, Reading (2001)"},{"key":"1_CR21","unstructured":"Jones, C.: Software Specialization. IEEE Computer, 81\u201382 (July 1995)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Lampson, B.W.: Hints for Computer System Design. IEEE Computer\u00a01(1), 11\u201328 (1984)","DOI":"10.1109\/MS.1984.233391"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Leveson, N.G., Turner, C.S.: An Investigation of the Therac-25 Accidents. IEEE Computer\u00a026(7), 18\u201341 (1993)","DOI":"10.1109\/MC.1993.274940"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Leveson, N.G.: High-Pressure Steam Engines and Computer Software. IEEE Computer\u00a027(10), 65\u201373 (1994)","DOI":"10.1109\/2.318597"},{"key":"1_CR25","unstructured":"Levy, M., Salvadori, M.: Why Buildings Fall Down: How Structures Fail. W W Norton and Co. (1992)"},{"key":"1_CR26","unstructured":"McMenamin, S.M., Palmer, J.F.: Essential Systems Analysis. Prentice-Hall, Englewood Cliffs (1984)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Maibaum, T.S.E.: Taking More of the Soft out of Software Engineering. In: Proceedings of the 7th International Workshop on Software Specification and Design, pp. 2\u20137. IEEE Computer Society Press, Los Alamitos (1993)","DOI":"10.1109\/IWSSD.1993.315520"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Maibaum, T.S.E.: What we teach software engineers in the university: do we take engineering seriously? In: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25 (1997)","DOI":"10.1145\/267896.267900"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Marzullo, K., Schneider, F.B., Budhiraja, N.: Derivation of Sequential, Real-Time Process-Control Programs. In: van Tilborg, A.M., Koob, G. (eds.) Foundations of Real-Time Computing: Formal Specifications and Methods, pp. 39\u201354. Kluwer Academic Publishers, Dordrecht (1991)","DOI":"10.21236\/ADA238877"},{"key":"1_CR30","unstructured":"Meyer, B.: Object-oriented Software Construction. Prentice-Hall, Englewood Cliffs (1988)"},{"key":"1_CR31","unstructured":"Naur, P., Randell, B.: Software Engineering: Report on a conference sponsored by the NATO science committee, Garmisch, Germany, 7th to 11th October 1968; NATO (January 1969)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: Software Aspects of Strategic Defense Systems. Communications of the ACM\u00a028(12), 1326\u20131335 (1985)","DOI":"10.1145\/214956.214961"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Parnas, D.L., Madey, J.: Functional Documents for Computer Systems. Science of Computer Programming\u00a025(1), 41\u201361 (1995)","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: Software Engineering: An Unconsummated Marriage. Communications of the ACM\u00a040(9), 128 (1997)","DOI":"10.1145\/260750.260784"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. ACM SE Notes, 40\u201352 (October 1992)","DOI":"10.1145\/141874.141884"},{"key":"#cr-split#-1_CR36.1","unstructured":"Petroski, H.: To Engineer is Human: The Role of Failure in Successful Design. St. Martin???s Press, New York (1985);"},{"key":"#cr-split#-1_CR36.2","unstructured":"Macmillan, London (1986)"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Petroski, H.: Design Paradigms: Case Histories of Error and Judgement in Engineering. Cambridge University Press, Cambridge (1994)","DOI":"10.1017\/CBO9780511805073"},{"key":"1_CR38","unstructured":"Polanyi, M.: Personal Knowledge: Towards a Post-Critical Philosophy. Routledge and Kegan Paul, London (1958)"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Randell, B.: A computer scientist\u2019s reactions to NPfIT. Journal of Information Technology\u00a022, 222\u2013234 (2007)","DOI":"10.1057\/palgrave.jit.2000106"},{"key":"1_CR40","unstructured":"The Risks Digest: Forum on Risks to the Public in Computers and Related Systems (last accessed 24\/06\/08), http:\/\/catless.ncl.ac.uk\/Risks\/"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Rogers, G.F.C.: The Nature of Engineering: A Philosophy of Technology. Palgrave Macmillan, Basingstoke (1983)","DOI":"10.1007\/978-1-349-06683-4"},{"key":"1_CR42","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"1_CR43","unstructured":"Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering; IEEE Computer Society and Association for Computing Machinery Joint Task Force on Computing Curricula, August 23 (2004)"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Stoy, J.E., Strachey, C.: OS6\u2014an experimental operating system for a small computer. Part 1: general principles and structure; Part 2: input-output and filing system. Computer Journal\u00a015(2,3), 117\u2013124, 195\u2013203","DOI":"10.1093\/comjnl\/15.3.195"},{"key":"1_CR45","unstructured":"Guide to the Software Engineering Body of Knowledge, 2004 Version; IEEE Computer Society Professional Practices Committee (2004)"},{"key":"1_CR46","unstructured":"Vincenti, W.G.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. The Johns Hopkins University Press, Baltimore, paperback edition (1993)"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Weyl, H.: The Mathematical Way of Thinking; address given at the Bicentennial Conference at the University of Pennsylvania (1940)","DOI":"10.1126\/science.92.2394.437"}],"container-title":["Lecture Notes in Computer Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89762-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T15:28:10Z","timestamp":1557934090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89762-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897613","9783540897620"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89762-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}