Software, Is It Poetry or Prose? - Conceptual Content at the Higher Abstraction Levels

Iaakov Exman, Alessio Plebe

2015

Abstract

Software is it Poetry or Prose? It is part Poetry, part Prose. But it has much more in common with both forms of natural language, than usually admitted: software concepts, rather than defined by syntactic oriented computer programming languages, are characterized by the semantics of natural language. This paper exploits these similarities in a two-way sense. In one way the software perspective may be relevant to the analysis of natural language forms, such as poems. In the other way round, as its central message, this paper uses properties of both Poetry and Prose to facilitate a deeper understanding of highest-level software abstractions.

References

  1. Backus, J. W., 1959. The syntax and semantics of the proposed international algebraic language of the Zurich acm-gamm conference, in Proc. Int. Conf. on Info. Proc.,Paris.
  2. Booch, G., Rumbaugh, J. and Jacobson, I., 2005. The Unified Modeling Language User Guide, 2nd ed., Addison-Wesley, Boston, MA, USA.
  3. Brown, J. R. and Fehige, Y., 2011. Thought Experiments, The Stanford Encyclopedia of Philosophy, E. N. Zalta (ed.). Web site:
  4. http://plato.stanford.edu/archives/fall2011/entries/thoughtexperiment/
  5. Chomsky, N., 1957. Syntactic Structures, Mouton.
  6. Exman, I. and Yagel, R., 2013. ROM: an Approach to Self-consistency Verification of a Runnable Ontology Model, in CCIS Vol. 415, 271-283, Springer.
  7. Exman, I. and Speicher, D., 2015. Linear Software Models: Equivalence of Modularity Matrix to its Modularity Lattice, in Proc. 10th ICSOFT Int. Joint Conference on Software Technologies, Colmar, France, pp. 109-116, (July 2015). DOI = 10.5220/0005557701090116
  8. Fauconnier, G., 1997, Mappings in Thought and Language, Cambridge University Press, Cambridge (UK).
  9. Fowler, M., Beck, K., Brant, J., Opdyke, W. and Roberts, D., 1999. Refactoring: Improving the Design of Existing Code, Addison-Wesley, Boston, MA, USA.
  10. Gabriel, R. P., 2008. Designed as Designer, in OOPSLA'08.
  11. Galilei, Galileo, 1632. Dialogue Concerning The Two Chief World Systems, Italian, English translation by Stillman Drake, University of California Press, Berkeley, CA, USA, 1953.
  12. Gamma, E., Helm, R., Johnson, R. and Vlissides, J., 1995. Design Patterns, Addison-Wesley, Boston, MA, USA.
  13. Ganter, B. and Wille, R., Formal Concept Analysis: Mathematical Foundations, Springer, New York, USA, 1999.
  14. Ganter, B., Stumme, G. and Wille, R., 2005. Formal Concept Analysis - Foundations and Applications. Springer-Verlag, Berlin, Germany.
  15. Hopper, G. M., 1953. Compiling Routines, Computers and Automation, vol. 2, (4), pp. 1-5, (May).
  16. Lakoff, G., 1986, A Principled Exception to the Coordinate Structure Constraint, in Proceedings of the the Twenty-First Regional Meeting Chicago Linguistic Society, Chicago Linguistic Society.
  17. Langacker, R. W., 1987, Foundations of Cognitive Grammar, Stanford University Press, Stanford (CA).
  18. Lindig, C. and Snelting, G., 1997. Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis, in ICSE'97 Proc. 19th Int. Conf. on Software Engineering, pp. 349-359, ACM. DOI: 10.1145/253228.253354.
  19. McCarthy, J., 1960. Recursive functions of symbolic expressions and their computation by machine, Part I., Comm. ACM, Vol. 3 (4), pp. 184-195 (April).
  20. Mens, T. and Tourwe, T., 2004. A survey of software refactoring, IEEE Trans. Software Eng., Vol. 32, pp. 126-139. DOI: 10.1109/TSE.2004.1265817.
  21. Millay, E. St. V., 1921. Second April, “Unnamed Sonnets I-XII”, pp. 97-110, Mitchell Kennerley, New York, NY, USA,
  22. Noble, J., Biddle, R. and Tempero, E., 2002. Metaphor and metonymy in object-oriented design patterns, in ACSC'02 Proc. 25th Australasian Conf. Comp. Sci., Vol. 4, pp. 187-195. DOI: 10.1145/563857.563823
  23. Nofre, D. et al., 2014. When Technology Became Language, The Origins of the Linguistic Conception of Computer Programming, 1950-1960, Technology and Culture, vol 55, pp. 40-75.
  24. OMG (Object Management Group), 2015. “Unified Modeling Language” (UML) Specification version 2.5, (June 2015). URL Accessed September 2015: http://www.omg.org/spec/UML/2.5.
  25. Pan, J. Z. et al., 2013. (eds.), Ontology-Driven Software Development, Springer, Heidelberg, Germany.
  26. Piccinini, G., 2006. Computation without Representation, Philosophical Studies. DOI= 10.1007/s11098-005- 5385-4.
  27. Plath, S., 1963. Edge Poem, Web site: http://www.poetryfoundation.org/poem/178970
  28. Smith, B. C., 2002. The foundations of computing, in: Scheutz, M. (ed.), Computationalism: New Directions, pp. 2358, MIT Press, Cambridge, MA, USA.
  29. Turing, A., 1937. On Computable Numbers with an Application to the Entscheidungsproblem, Proc. London Math. Society, vol. 42, pp. 230-265.
  30. White, G., 2011. Descartes among the Robots - Computer Science and Inner/Outer Distinction, Minds & Machines. DOI= 10.1007/s11023-011-9232-4.
  31. Wikipedia, 2015. Sylvia Plath, Wikipedia. Web site: https://en.wikipedia.org/wiki/Sylvia_Plath
Download


Paper Citation


in Harvard Style

Exman I. and Plebe A. (2015). Software, Is It Poetry or Prose? - Conceptual Content at the Higher Abstraction Levels . In Proceedings of the 6th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2015) ISBN 978-989-758-162-5, pages 5-13. DOI: 10.5220/0005625500050013


in Bibtex Style

@conference{sky15,
author={Iaakov Exman and Alessio Plebe},
title={Software, Is It Poetry or Prose? - Conceptual Content at the Higher Abstraction Levels},
booktitle={Proceedings of the 6th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2015)},
year={2015},
pages={5-13},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005625500050013},
isbn={978-989-758-162-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2015)
TI - Software, Is It Poetry or Prose? - Conceptual Content at the Higher Abstraction Levels
SN - 978-989-758-162-5
AU - Exman I.
AU - Plebe A.
PY - 2015
SP - 5
EP - 13
DO - 10.5220/0005625500050013