{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:54:15Z","timestamp":1725879255552},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319527574"},{"type":"electronic","value":"9783319527581"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-52758-1_20","type":"book-chapter","created":{"date-parts":[[2017,1,21]],"date-time":"2017-01-21T14:35:25Z","timestamp":1485009325000},"page":"365-380","source":"Crossref","is-referenced-by-count":0,"title":["Software Is Part Poetry, Part Prose"],"prefix":"10.1007","author":[{"given":"Iaakov","family":"Exman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Plebe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,22]]},"reference":[{"key":"20_CR1","unstructured":"Backus, J.W.: The syntax and semantics of the proposed international algebraic language of Zurich ACM-GAMM conference. In: Proceedings of the International Conference on Information Processing, Paris (1959)"},{"key":"20_CR2","volume-title":"The Unified Modeling Language User Guide","author":"G Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Boston (2005)","edition":"2"},{"key":"20_CR3","unstructured":"Borges, J.L.: Selected Poems. English translation by A.S. Kline (2013). http:\/\/www.poetryintranslation.com\/PITBR\/Spanish\/Borges.htm#_Toc192667921"},{"key":"20_CR4","unstructured":"Borges, J.L.: Borges y yo. Original text and audio in Spanish by the poet. http:\/\/palabravirtual.com\/index.php?ir=ver_voz1.php&wid=725&p=Jorge%20Luis%20Borges&t=Borges%20y%20yo"},{"key":"20_CR5","unstructured":"Brown, J.R., Fehige, Y.: Thought experiments. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy (2011). http:\/\/plato.stanford.edu\/archives\/fall2011\/entries\/thought-experiment\/"},{"key":"20_CR6","doi-asserted-by":"crossref","DOI":"10.1515\/9783112316009","volume-title":"Syntactic Structures","author":"N Chomsky","year":"1957","unstructured":"Chomsky, N.: Syntactic Structures. Mouton, Berlin (1957)"},{"key":"20_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-54105-6_18","volume-title":"Knowledge Discovery, Knowledge Engineering and Knowledge Management","author":"I Exman","year":"2013","unstructured":"Exman, I., Yagel, R.: ROM: an approach to self-consistency verification of a runnable ontology model. In: Fred, A., Dietz, Jan, L.,G., Liu, K., Filipe, J. (eds.) IC3K 2012. CCIS, vol. 415, pp. 271\u2013283. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-54105-6_18"},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Exman, I., Speicher, D.: Linear software models: equivalence of modularity matrix to its modularity lattice. In: Proceedings of the 10th ICSOFT International Joint Conference on Software Technologies, Colmar, France, pp. 109\u2013116 (2015). doi: 10.5220\/0005557701090116","DOI":"10.5220\/0005557701090116"},{"key":"20_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139174220","volume-title":"Mappings in Thought and Language","author":"G Fauconnier","year":"1997","unstructured":"Fauconnier, G.: Mappings in Thought and Language. Cambridge University Press, Cambridge (1997)"},{"key":"20_CR10","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999)"},{"key":"20_CR11","doi-asserted-by":"publisher","unstructured":"Gabriel, R.P.: Designed as designer. In: Proceedings of the 23rd ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages and Applications, OOPSLA 2008 (2008). ACM SIGPLAN Not. 43(10), 617\u2013632. doi: 10.1145\/1449955.1449813","DOI":"10.1145\/1449955.1449813"},{"key":"20_CR12","unstructured":"Galilei, G.: Dialogue Concerning the Two Chief World Systems (1632). Italian, Translated by Stillman Drake. University of California Press, Berkeley, CA (1953)"},{"key":"20_CR13","volume-title":"Design Patterns","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Boston (1995)"},{"key":"20_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1999)"},{"key":"20_CR15","volume-title":"Formal Concept Analysis - Foundations and Applications","author":"B Ganter","year":"2005","unstructured":"Ganter, B., Stumme, G., Wille, R.: Formal Concept Analysis - Foundations and Applications. Springer, Berlin (2005)"},{"issue":"4","key":"20_CR16","first-page":"1","volume":"2","author":"GM Hopper","year":"1953","unstructured":"Hopper, G.M.: Compiling routines. Comput. Autom. 2(4), 1\u20135 (1953)","journal-title":"Comput. Autom."},{"key":"20_CR17","unstructured":"Lakoff, G.: A principled exception to the coordinate structure constraint. In: Proceedings of the 21st Regional Meeting Chicago Linguistic Society. Chicago Linguistic Society (1986)"},{"key":"20_CR18","volume-title":"Foundations of Cognitive Grammar","author":"RW Langacker","year":"1987","unstructured":"Langacker, R.W.: Foundations of Cognitive Grammar. Stanford University Press, Stanford (1987)"},{"key":"20_CR19","doi-asserted-by":"publisher","unstructured":"Lindig, C., Snelting, G.: Assessing modular structure of legacy code based on mathematical concept analysis. In: ICSE 1997 Proceedings of the 19th International Conference on Software Engineering, pp. 349\u2013359. ACM (1997). doi: 10.1145\/253228.253354","DOI":"10.1145\/253228.253354"},{"issue":"4","key":"20_CR20","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J McCarthy","year":"1960","unstructured":"McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine. Commun. ACM 3(4), 184\u2013195 (1960). doi: 10.1145\/367177.367199","journal-title":"Commun. ACM"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"32","author":"T Mens","year":"2004","unstructured":"Mens, T., Tourwe, T.: A survey of software refactoring. IEEE Trans. Softw. Eng. 32, 126\u2013139 (2004). doi: 10.1109\/TSE.2004.1265817","journal-title":"IEEE Trans. Softw. Eng."},{"key":"20_CR22","unstructured":"St. Vincent Millay, E.: Unnamed Sonnets I-XII, pp. 97\u2013110. Mitchell Kennerley, New York (1921)"},{"key":"20_CR23","unstructured":"Modern American Poetry, Online Poems. www.english.illinois.edu\/maps\/poets\/m_r\/millay\/online_poems.htm"},{"key":"20_CR24","doi-asserted-by":"publisher","unstructured":"Noble, J., Biddle, R., Tempero, E.: Metaphor and metonymy in object-oriented design patterns. In: ACSC 2002 Proceedings of the 25th Australasian Conference on Computer Science, vol. 4, pp. 187\u2013195 (2002). doi: 10.1145\/563857.563823","DOI":"10.1145\/563857.563823"},{"issue":"1","key":"20_CR25","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1353\/tech.2014.0031","volume":"55","author":"D Nofre","year":"2014","unstructured":"Nofre, D., et al.: When technology became language, the origins of the linguistic conception of computer programming, 1950\u20131960. Technol. Cult. 55(1), 40\u201375 (2014). doi: 10.1353\/tech.2014.0031","journal-title":"Technol. Cult."},{"key":"20_CR26","unstructured":"OMG (Object Management Group): Unified Modeling Language (UML) Specification version 2.5 (2015). http:\/\/www.omg.org\/spec\/UML\/2.5"},{"volume-title":"Ontology-Driven Software Development","year":"2013","key":"20_CR27","unstructured":"Pan, J.Z., et al. (eds.): Ontology-Driven Software Development. Springer, Heidelberg (2013)"},{"issue":"2","key":"20_CR28","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s11098-005-5385-4","volume":"137","author":"G Piccinini","year":"2008","unstructured":"Piccinini, G.: Computation without representation. Philos. Stud. 137(2), 205\u2013241 (2008). doi: 10.1007\/s11098-005-5385-4","journal-title":"Philos. Stud."},{"key":"20_CR29","unstructured":"Plath, S.: Edge Poem (1963). http:\/\/www.poetryfoundation.org\/poem\/178970"},{"key":"20_CR30","doi-asserted-by":"crossref","first-page":"23","DOI":"10.7551\/mitpress\/2030.003.0004","volume-title":"Computationalism: New Directions","author":"BC Smith","year":"2002","unstructured":"Smith, B.C.: The foundations of computing. In: Scheutz, M. (ed.) Computationalism: New Directions, pp. 23\u201358. MIT Press, Cambridge (2002)"},{"key":"20_CR31","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"s2-42","author":"A Turing","year":"1937","unstructured":"Turing, A.: On computable numbers with an application to the entscheidungsproblem. Proc. London Math. Soc. s2-42, 230\u2013265 (1937). doi: 10.1112\/plms\/s2-42.1.230","journal-title":"Proc. London Math. Soc."},{"issue":"2","key":"20_CR32","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s11023-011-9232-4","volume":"21","author":"G White","year":"2011","unstructured":"White, G.: Descartes among the robots \u2013 computer science and inner\/outer distinction. Mind. Mach. 21(2), 179\u2013202 (2011). doi: 10.1007\/s11023-011-9232-4","journal-title":"Mind. Mach."},{"key":"20_CR33","unstructured":"Plath, S.: Wikipedia (2015). https:\/\/en.wikipedia.org\/wiki\/Sylvia_Plath"}],"container-title":["Communications in Computer and Information Science","Knowledge Discovery, Knowledge Engineering and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52758-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T23:51:27Z","timestamp":1719013887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52758-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319527574","9783319527581"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52758-1_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}