Shared Bibliography for computer science history, language design, modeling, glossary.

Linguistics, Ontology, Cybernetics, Cognitive Science

  1. [SuB] Norbert Bischof: Struktur und Bedeutung: Eine Einführung in die Systemtheorie; Verlag Hans Huber 1995.
  2. [GST] Mario Bunge: The GST Challence to the Classical Philosophy of Science; Int. J. of General Systems 4; Gordoan and Breach Science Publishers 1977.
  3. [MB3] Mario Bunge: Ontology I: The Furniture of the World (Treatise on Basic Philosophy, Vol. 3); D Reidel Publishing 1979.
  4. [MB4] Mario Bunge: Ontology II: A World of Systems (Treatise on Basic Philosophy, Vol. 4); D Reidel Publishing 1979.
  5. [MB5] Mario Bunge: Epistemology I: The Strategy of Knowing (Treatise on Basic Philosophy, Vol. 5); D Reidel Publishing 1979.
  6. [AESA] Alonzo Church: The need for abstract entities in semantic analysis; 100-112 in American Academy of Arts and Sciences Proceedings 80; 1951.
  7. [KRCR] Nino B Cocchiarella: Knowledge representation in conceptual realism; 697-721: Int J Human-Computer Studies 43; 1995.
  8. [OntDom] Johannes Dölling: Ontological domains, semantic sorts and systematic ambiguity; 785-807: Int J Human-Computer Studies 43; 1995.
  9. [Fetzer] James H Fetzer: Computers and Cognition: Why Minds are not Machines; Kluwer 2001.
  10. [Conn] Jerry A Fodor, Zenon W Pylyshyn: Connectionism and Cognitive Architecture: A Critical Analysis; in S. Pinker and J. Mehler (ed): Connections and Symbols; MIT Press; 1988.
  11. [FO] Nicola Guarino: Formal ontology, conceptual analysis and knowledge representation; 625-640: Int J Human-Computer Studies 43; 1995.
  12. [OntMeta] Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta: An Ontology of Meta-Level Categories; in: "KR'94: Principles of Knowledge Representation and Reasoning" Morgan Kaufmann 1994.
  13. [OntPrinc] Nicola Guarino: Some Ontological Principles for Designing Upper Level Lexical Resources; Proc. of the First International Conference on Lexical Resources and Evaluation, Granada, Spain, 2830 May 1998. (similar: Avoiding IS-A Overloading, and The Role of Identity Conditions in Ontology Design; LNCS 1661; 1999)
  14. [OntTax] Nicola Guarino, Christopher Welty: Ontological Analysis of Taxonomic Relationships; International Conference on Conceptual Modeling / the Entity Relationship Approach; 2000. (preliminary version?)
  15. [GOF/CM] Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner: On the General Ontological Foundations of Conceptual Modeling; TR?, 2002?.
  16. [AlgSem] Godehard Link: Algebraic semantics for natural language: some philosophy, some applications; 765-784: Int J Human-Computer Studies 43; 1995.
  17. [WSOU] Ernest Nagel: Wholes, Sums, and Organic Unities; 135-155 in: Daniel Lerner (ed): Parts and Wholes - The Hayden Colloquium on Scientific Method and Concept; The Free Press of Glencoe 1963. reprint from Philosophical Studies III 2; Feb 1952.
  18. [HSem] Winfried Nöth: Handbuch der Semiotik; Metzler (Stuttgart) 1985.
  19. [Realms] Philip H Phenix: Realms of Meaning; McGraw-Hill 1964.
  20. [PWSE] Simon Ramo: Parts and Wholes in Systems Engineering; in Daniel Lerner (ed): Parts and Wholes (The Hayden Colloquium on Scientific Method and Concept); The Free Press of Glencoe 1963.
  21. [AUOOP] Derek Rayside, Gerard T Campbell: An Aristotelian Understanding of Object-Oriented Programming; OOPSLA'00.
  22. [Gestalt] Nicholas Rescher, Paul Oppenheim: Logical Analysis of Gestalt Concepts; Brit. J. for the Philosophy of Science VI(22); Aug 1955.
  23. [Parts] Peter Simons: Parts: a study in ontology; Clarendon 1987.
  24. [FOCS] Barry Smith: Formal Ontology, Common-Sense and Cognitive Science. 641-668: Int J Human-Computer Studies 43; 1995.
  25. [OOO] Brian Cantwell Smith: On the Origin of Objects; a Bradford Book, MIT Press 1996.
  26. [TOC] John F Sowa: Top-level ontological categories; 669-685: Int J Human-Computer Studies 43; 1995.
  27. [CGPPF] Eileen C Way: Conceptual Graphs - Past, Present, and Future; in Tepfenhart, Dich, Sowa (eds): Conceptual Structures: Current Practices (ICCS'94) LNAI 835.

Natural Science

  1. [Broglie] Louise de Broglie: Licht und Materie - Ergebnisse der Neuen Physik, I. Teil (5th edition); H Goverts Verlag (Hamburg) 1939. Original title: Materière et lumière.

Software Engineering, Programming

  1. [ATO] M Abadi, L Cardelli: A Theory of Objects; Springer 1996.
  2. [Leda] Tim Budd: Multiparadigm Programming Language Leda.
  3. [SysD] Michael Jackson: System development; Prentice-Hall 1983.
  4. [OOSE] Ivar Jacobson, Magnus Chrsterson, Patril Jonsson, Gunnar Övergaard: Object-Oriented Software Engineering; Addison-Wesley; 1994 (first 1992).
  5. [OOP?] Ole Lehrmann Madsen, Birger Møller-Pedersen: What Object-Oriented Programming May Be -- and What It Does Not Have To Be; 1-20 in ECOOP 1988.
  6. [G] John Placer: The Multiparadigm Language G; 235-258: Computer Languages 16(3/4); Pergamon 1991.
  7. [Quib] Quibeldey-Circel: Das Object-Paradigma in der Informatik; Teubner 1994.
  8. [MCOM] Alan Snyder: Modeling the C++ Object Model - An Application of an Abstract Object Model; 1-20 in ECOOP'91 (LNCS 512).

The Typical Programming Language Concepts Books

  1. [TAPL] Alice E Fischer, Frances S Grodzynsky: The Anatomy of Programming Languages; Prentice Hall 1993.
  2. [PLing] David Gelernter, Suresh J Jag: Programming Linguistics; MIT Press 1990.
  3. [Louden] Kenneth C Louden: Programming Languages - Principles, Concepts, Design[?]; Thompson 1993(?)
  4. [STPL] David A Schmidt: The Structure of Typed Programming Languages; MIT Press 1994.
  5. [IDC] David A Schmidt: Induction, Domains, Calculi: Contributions to Programming Language Engineering; 89-101 - but where???
  6. [PLP] Michael L Scott: Programming Language Pragmatics; Morgan Kaufmann 2000.
  7. [PLCC] Ravi Sethi: Programming Languages: Concepts & Constructs (2nd ed); Addison-Wesley 1997.
  8. [TSPL] Ryan Stansifer: The Study of Programming Languages; Prentice Hall 1995.
  9. [Watt] David A Watt: Programming Language Concepts and Paradigms; Prentice Hall 1990.

Ulf Schünemann 2003  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(enough empty lines so that the browser can scroll up to the last entry)