{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:19:30Z","timestamp":1726413570075},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,11]],"date-time":"2012-08-11T00:00:00Z","timestamp":1344643200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10270-012-0259-7","type":"journal-article","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T04:57:17Z","timestamp":1344574637000},"page":"495-511","source":"Crossref","is-referenced-by-count":8,"title":["Aspects of abstraction in software development"],"prefix":"10.1007","volume":"11","author":[{"given":"Michael","family":"Jackson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,8,11]]},"reference":[{"key":"259_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"259_CR2","volume-title":"Scientific Method: Optimizing Applied Research Decisions","author":"RL Ackoff","year":"1962","unstructured":"Ackoff, R.L.: Scientific Method: Optimizing Applied Research Decisions. Wiley, London (1962)"},{"issue":"3","key":"259_CR3","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10270-007-0061-0","volume":"7","author":"C Atkinson","year":"2008","unstructured":"Atkinson, C., Kuehne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345\u2013360 (2008)","journal-title":"Softw. Syst. Model."},{"key":"259_CR4","volume-title":"Structured Programming","author":"O-J Dahl","year":"1972","unstructured":"Dahl, O.-J., Hoare, C.A.R.: Hierarchical Program Structures. In: Dahl, O.J., Dijkstra, E.W., Hoare, C.A.R. (eds.) Structured Programming. Academic Press, London (1972)"},{"issue":"3","key":"259_CR5","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: A case against the GO TO statement: EWD215. Commun. ACM. 11(3), 147\u2013148 (1968). published as a letter to the Editor","journal-title":"Commun. ACM."},{"issue":"5","key":"259_CR6","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/363095.363143","volume":"11","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: The structure of the \u2018THE\u2019 multiprogramming system: EWD196. Commun. ACM. 11(5), 341\u2013346 (1968)","journal-title":"Commun. ACM."},{"issue":"10","key":"259_CR7","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: The Humble Programmer. Turing Award Lecture. Commun. ACM. 15(10), 859\u2013866 (1972)","journal-title":"Commun. ACM."},{"key":"259_CR8","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, USA (1976)"},{"issue":"12","key":"259_CR9","first-page":"1398","volume":"32","author":"EW Dijkstra","year":"1989","unstructured":"Dijkstra, E.W.: On the cruelty of really teaching computer science. Commun. ACM. 32(12), 1398\u20131414 (1989). With responses from David Parnas, W L Scherlis, M H van Emden, Jacques Cohen, R W Hamming, Richard M Karp and Terry Winograd, and a reply from Dijkstra","journal-title":"Commun. ACM."},{"key":"259_CR10","unstructured":"Evans-Pritchard, E.E.: Witchcraft, Oracles and Magic among the Azande. The Clarendon Press, Oxford (1937). (Abridged with an introduction by Eva Gillies. The Clarendon Press, Oxford (1976))"},{"key":"259_CR11","unstructured":"Feynman, R.P.: Personal observations on the reliability of the Shuttle; Appendix F to the Rogers Commission Report, (1986); available at http:\/\/science.ksc.nasa.gov\/shuttle\/missions\/51-l\/docs\/rogers-commission\/Appendix-F.txt , accessed 19th (May 2012)"},{"key":"259_CR12","volume-title":"Cat, a System for the Structured Elaboration of Correct Programs from Structured Specifications: Technical Report CSL-118","author":"JA Goguen","year":"1980","unstructured":"Goguen, J.A., Burstall, R.M.: Cat, a System for the Structured Elaboration of Correct Programs from Structured Specifications: Technical Report CSL-118. Computer Science Laboratory, SRI International, USA (1980)"},{"key":"259_CR13","doi-asserted-by":"crossref","first-page":"1231","DOI":"10.1098\/rstb.2005.1662","volume":"360","author":"RL Gregory","year":"2005","unstructured":"Gregory, R.L.: The medawar lecture 2001 lnowledge for vision: vision for knowledge. Philos. Trans. Royal Soc. B. 360, 1231\u20131251 (2005)","journal-title":"Philos. Trans. Royal Soc. B."},{"key":"259_CR14","volume-title":"A Mathematician\u2019s Apology","author":"GH Hardy","year":"1940","unstructured":"Hardy, G.H.: A Mathematician\u2019s Apology. Cambridge University Press, Cambridge (1940)"},{"key":"259_CR15","unstructured":"http:\/\/matdl.org\/failurecases\/Building_Collapse-Cases\/Hartford_Civic_Center , accessed 3 October 2011"},{"key":"259_CR16","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press, USA (2006)"},{"key":"259_CR17","volume-title":"Principles of Program Design","author":"MA Jackson","year":"1975","unstructured":"Jackson, M.A.: Principles of Program Design. Academic Press, London (1975)"},{"key":"259_CR18","first-page":"262","volume-title":"Proceedings of the 1st Conference of the European Cooperation in Informatics","author":"MA Jackson","year":"1976","unstructured":"Jackson, M.A.: Constructive methods of program design. In: Goos, G., Hartmanis, J. (eds.) Proceedings of the 1st Conference of the European Cooperation in Informatics, p. 262. Springer, Berlin (1976)"},{"issue":"1","key":"259_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10270-002-0005-7","volume":"1","author":"M Jackson","year":"2002","unstructured":"Jackson, M.: Some Basic Tenets of Description. Softw. Syst. J. 1(1), 5\u20139 (2002)","journal-title":"Softw. Syst. J."},{"key":"259_CR20","volume-title":"Systematic Software Development Using VDM, 2nd Edition","author":"C Jones","year":"1990","unstructured":"Jones, C.: Systematic Software Development Using VDM, 2nd Edition. Prentice-Hall International, USA (1990)"},{"issue":"4","key":"259_CR21","first-page":"37","volume":"50","author":"K Jeff","year":"2007","unstructured":"Jeff, K.: Is abstraction the key to computing? Commun. ACM. 50(4), 37\u201342 (2007)","journal-title":"Commun. ACM."},{"key":"259_CR22","volume-title":"The Rational Unified Process: An Introduction","author":"P Kruchten","year":"1999","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction. Addison-Wesley Longman, Reading (1999)"},{"key":"259_CR23","volume-title":"The Logic of Mathematical","author":"I Lakatos","year":"1976","unstructured":"Lakatos, I.: Proofs and refutations. In: Worrall, J., Zahar, E. (eds.) The Logic of Mathematical. Cambridge University Press, Cambridge (1976)"},{"key":"259_CR24","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM. 15(12), 1053\u20131058 (1972)","DOI":"10.1145\/361598.361623"},{"key":"259_CR25","unstructured":"Poincar\u00e9, H.: Science et M\u00e9thode. Flammarion, France (1908) (translated by Francis Maitland, Nelson 1914, Dover, 2003)"},{"key":"259_CR26","unstructured":"Billson, C.: A History of the London Tube Maps. http:\/\/homepage.ntlworld.com\/clivebillson\/tube\/tube.html . accessed 30 May 2011"},{"key":"259_CR27","unstructured":"Turing, A.M.: Checking a large routine. In: Report on a Conference on High Speed Automatic Calculating Machines, pp. 67\u201369, Cambridge University Mathematical Laboratory, Cambridge, (1949). (Turing\u2019s paper is discussed in Cliff B. Jones; The Early Search for Tractable Ways of Reasoning about Programs. IEEE Annals of the History of Computing 25(2), 26\u201349, 2003)"},{"key":"259_CR28","doi-asserted-by":"crossref","DOI":"10.56021\/9780801839740","volume-title":"What Engineers Know and How They Know It: Analytical Studies from Aeronautical History","author":"WG Vincenti","year":"1993","unstructured":"Vincenti, W.G.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. The Johns Hopkins University Press, Baltimore (1993)"},{"key":"259_CR29","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1090\/S0002-9904-1944-08178-0","volume":"50","author":"W Hermann","year":"1944","unstructured":"Hermann, W.: David Hilbert and his mathematical work. Bull. Am. Math. Soc. 50, 612\u2013654 (1944)","journal-title":"Bull. Am. Math. Soc."},{"key":"259_CR30","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall International, USA (1996)"},{"key":"259_CR31","first-page":"27","volume-title":"Towards User-Friendly Design, LNCS 1385","author":"P Zave","year":"1998","unstructured":"Zave, P.: Calls considered harmful and other selected papers on services and visualization. In: Tiziana, M., Bernhard, S., Roland, R., Joachim, P. (eds.) Towards User-Friendly Design, LNCS 1385, p. 27. Springer, Berlin (1998)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0259-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0259-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0259-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T09:06:31Z","timestamp":1714295191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0259-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,11]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["259"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0259-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2012,8,11]]}}}