Chris Welty - Dissertation
[Adelson, 1981] Adelson, B. Problem Solving and the Development of Abstract Categories in Programming Languages. Mem. Cognition. 9(4). Pp. 422-433. July, 1981.
[Alexander, Freiling, and Shulman, 1986] Alexander, J., Freiling, M. and Shulman, S. Knowledge Level Engineering: Ontological Analysis. Proceedings of AAAI-86: The Fifth National Conference on Artificial Intelligence. AAAI Press. Pp. 963-967. 1986.
[Arango, 1989] Arango, G. Domain Analysis: From Art Form to Engineering Discipline. Proceedings of the Fifth International Workshop on Software Specification and Design. Pp 152-159. ACM Press. 1989.
[Arango, Williams, and Iscoe, 1991] Arango, G., Williams, G. and Iscoe, N. Domain Modeling for Software Engineering. Proceedings of the ICSE 1991 Domain Modeling Workshop. Austin Laboratory for Software Engineering and Computer Science. Pp. 1-4. May, 1991.
[Atkinson and Morrison, 1985] Atkinson, M. and Morrison, R. Procedures as Persistent Data Objects. ACM Transactions on Programming Languages and Systems. 7(4). October, 1985.
[Baxter and Kant, 1991] Baxter, I. and Kant, E. Domain Modeling in SINAPSE for Synthesizing Mathematical Modeling Programs. Proceedings of the ICSE 1991 Domain Modeling Workshop. Austin Laboratory for Software Engineering and Computer Science. Pp. 23-25. May, 1991.
[Bobrow and Winograd, 1985] Bobrow, D. and Winograd, T. An Overview of KRL, a Knowledge Representation Language. Readings in Knowledge Representation. Morgan Kaufman. Pp. 263-285. 1985.
[Bobrow and Stefik, 1986] Bobrow, D. and Stefik, M. Object Oriented Programming: Themes and Variations. AI Magazine. 6(4). Pp. 40-62. 1986.
[Boehm, 1988] Boehm, B. A Spiral Model of Software Development and Enhancement. IEEE Computer. 21(5). Pp 61-72. 1988.
[Booch, 1983] Booch, G. Software Engineering with Ada. Benjamin/Cummings. 1983.
[Booch, 1986] Booch, G. Object-Oriented Development. IEEE Transactions on Software Engineering. 12(2). Pp. 211-221. February, 1986.
[Borgida, Greenspan, and Mylopoulos, 1985] Borgida, A., Greenspan, S. and Mylopoulos, J. Knowledge Representation as the basis for requirements specification. IEEE Computer. 18(4). April, 1985.
[Brachman, 1977] Brachman, R. What's in a concept: structural foundations for semantic networks. Int. Journal of Man-Machine Studies. 9. Pp. 127-152. 1977.
[Brachman, 1979] Brachman, R. On the Epistemological Status of Semantic Networks. Associative Networks: Representation and Use of Knowledge by Computers. Academic Press. Pp. 3-50. 1979.
[Brachman, 1983] Brachman, R. What IS-A is and Isn't: An Analysis of Taxonomic Links in Semantic Networks. IEEE Computer. 16(10). Pp. 30-36. Oct, 1983.
[Brachman, 1985] Brachman, R. 'I Lied about the Trees' Or, Defaults and Definitions in Knowledge Representation. AI Magazine. 6. Pp. 80-93. Fall, 1985.
[Brachman and Schmolze, 1985] Brachman, R. and Schmolze, J. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science. 9(2). Pp. 171-216. 1985.
[Brachman and Levesque, 1987] Brachman, R. and Levesque, H. Expressiveness and Tractability in Knowledge Representation and Reasoning. Computer Intelligence. 3. Pp. 78-93. 1987.
[Brachman, et al., 1989] Brachman, R., Resnick, L., Borgida, A. and McGuinness, D. CLASSIC/DB: A Structural Data Model for Objects. ATT Bell Labs Technical Report. 1989.
[Brachman, et al., 1990] Brachman, R., Devanbu, P.,Selfridge, P., Belanger, D. and Chen, Y. Toward a Software Information System. ATT Technical Journal. 69(2). Pp. 22-41. March, 1990.
[Brachman, et al., 1991] Brachman, R., McGuinness, D., Patel-Schneider, P., Borgida, A. and Resnick, L. Living with CLASSIC: When and How to Use a KL-ONE-Like Language. Principles of Semantic Networks. Morgan Kaufman. Pp. 401-456. May, 1991.
[Brooks, 1983] Brooks, R. Towards a Theory of the Comprehension of Computer Programs. Int. Journal of Man-Machine Studies. 18(6). Pp. 543-554. June, 1983.
[Brooks, 1987] Brooks, F. No Silver Bullet. IEEE Computer. 20(4). Pp. 10-19. April, 1987.
[Cabral, Sasso, and DeBellis, 1991] Cabral, G., Sasso, W. and DeBellis, M. Directions for Future KBSA Research. KBSE 6 Proceedings. 1991.
[Carnap, 1947] Carnap, R. Meaning and Necessity. U. of Chicago Press, 1947.
[Carnap, 1961] Carnap, R. Introduction to Semantics and Formalization of Logic. Harvard University Press, 1961.
[Chen, 1976] Chen, P. The Entity Relationship Model: Towards a Unified View of Data. ACM Transactions on Database Systems. 1(1). Pp. 9-36. 1976.
[Chmura and Norcio, 1986] Chmura, L. and Norcio, A. Design Activity in Developing Modules for Complex Software. Proceedings of the Conference on Empirical Studies of Programmers. Ablex Publishers. Pp. 99-116. 1986.
[Coad, 1991] Coad, P. OOA and OOD: A Continuum of Representation. Proceedings of the ICSE 1991 Domain Modeling Workshop. Austin Laboratory for Software Engineering and Computer Science. Pp. 43-46. May, 1991.
[Cohen and Kang, 1991] Cohen, S. and Kang, K. Process and Products for Software Reuse and Domain Analysis. Proceedings of the ICSE 1991 Domain Modeling Workshop. Austin Laboratory for Software Engineering and Computer Science. Pp. 47-53. May, 1991.
[Curtis, Iscoe, and Krasner, 1988] Curtis, B., Iscoe, N. and Krasner, H. A Field Study of the Software Design Process for Large Systems. Communications of the ACM. 31(11). Pp. 1268-1287. Nov, 1988.
[Davis, 1992] Davis, A. Why Industry says 'No Thanks' to Research. IEEE Software, November, 1992.
[Devanbu, Selfridge, and Brachman, 1990] Devanbu, P., Selfridge, P., and Brachman, R. LaSSIE - A Classification-Based Software Information System. Proceedings of the 12th International Conference on Software Engineering. 1990.
[Devanbu and Litman, 1991] Devanbu, P. and Litman, D. Plan-Based Terminological Reasoning. KR '91 Proceedings. Morgan Kaufman. Pp. 128-137. 1991.
[Devanbu, 1994] Devanbu, P. Software Information Systems. Ph.D. Thesis, Rutgers University Computer Science Dept. 1994.
[Dreyfus, 1992] Dreyfus, H. What Computers Still Can't Do: a Critique of Artificial Reasoning. Morgan Kaufman. 1992.
[Ehrlich and Soloway, 1984] Ehrlich, K. and Soloway, E. Empirical Studies of Programming Knowledge. IEEE Transactions on Software Engineering. 10(5). Pp. 595-609. Sep, 1984.
[Fischer, et al., 1992] Fischer, G., Grudin, J., Lemke, A., McCall, R., Ostwald, J., Reeves, B., and Shipman, F. Supporting Indirect, Collaborative Design with Integrated Knowledge-Based Design Environments. Human-Computer Interaction. 7(3). Pp. 281-314. 1992.
[Fox, 1979] Fox, M. On Inheritance In Knowledge Representation. Department of Computer Science, Carnegie Mellon University Technical Report CMU-RI-79024. 1979.
[Fox, Wright, and Adam, 1985] Fox, M., Wright, J. and Adam, D. Experiences with SRL: An analysis of a frame-based knowledge representation. Expert Database Systems. Benjamin/Cummings. 1985.
[Finin, McKay, and Fritzson, 1992] T. Finin, Don McKay, Rich Fritzson (Eds.). The KQML Advisory Group. An overview of KQML: A Knowledge Query and Manipulation Language. March 2, 1992. Available as http://www-ksl.stanford.edu/knowledge-sharing/papers/kqml-overview.ps.
[Georges, 1991] Georges, M. Domain Modeling: Its Evolution. Proceedings of the ICSE 1991 Domain Modeling Workshop. Austin Laboratory for Software Engineering and Computer Science. Pp. 55-59. May, 1991.
[Genesereth, 1991] Genesereth, M. Knowledge Interchange Format. Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, Cambridge, MA, pages 599-600. Morgan Kaufmann, 1991.
[Gödel, 1931] Gödel, K. Über Formal Unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme I. Monatshefte für Mathematik und Physik, Volume 38, pp 173-198. 1931.
[Goldberg and Robson, 1983] Goldberg, A. and Robson, D. Smalltalk-80 The Language and its Implementation. Addison-Wesley. 1983.
[Green, 1994] Green, C. Comments made during the panel "KBSA: The first ten years" at the 1994 Knowledge-Based Software Engineering Conference.
[Gruber, 1991] Gruber, T. The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases. Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 601-602. Morgan Kaufman, 1991.
[Gruber, 1993] T. R. Gruber. Toward principles for the design of ontologies used for knowledge sharing. Formal Ontology in Conceptual Analysis and Knowledge Representation, Nicola Guarino and Roberto Poli,editors, Kluwer Academic, in preparation. Original paper presented at the International Workshop on Formal Ontology, March 1993. Available as Stanford Knowledge Systems Laboratory Report KSL-93-04.
[Harris, 1988] Harris, D. The Knowledge-Based Requirements Assistant. IEEE Expert. Winter, 1988.
[Henninger, 1995] Henninger, S. An Organizational Learning Approach to Domain Analysis. Proceedings of the 1995 International Conference on Software Engineering. 1995.
[Huff, 1991] Huff, K. A Model of Software Adaption. Automating Software Design: Interactive Design. Pp. 54-60. July, 1991.
[Huitt and Wilde, 1992] Huitt, R., and Wilde, N. Maintenance Support for Object-Oriented Programs. IEEE Transactions on Software Engineering. 18(12), December, 1992.
[Iscoe, Tam, and Liu, 1991] Iscoe, N., Tam, K. and Liu, Z. A Framework for Understanding and Discussing Domain Modeling. Proceedings of the ICSE 1991 Domain Modeling Workshop. Austin Laboratory for Software Engineering and Computer Science. May, 1991.
[Iscoe, 1991] Iscoe, N., ed. Proceedings of the ICSE 1991 Domain Modeling Workshop. Austin Laboratory for Software Engineering and Computer Science. May, 1991.
[Johnson and Harris, 1990] Harris, D. and Johnson, W. Requirements Analysis using ARIES: Themes and Examples. Proceedings of KBSA-5. Pp. 121-131. March, 1990.
[Kant, et al., 1991] Kant, E., Daube, F., MacGregor, W. and Wald, J. Scientific Programming by Automated Synthesis. Automating Software Design. AAAI Press. 1991.
[Knoblock, Arens, and Hsu, 1994] Knoblock, C., Arens, Y., and Hsu, C. Cooperating Agents for Information Retrieval. Proceedings of the Second International Conference on Cooperative Information Systems, Toronto, Ontario, Canada, University of Toronto Press, 1994.
[Krawitz, et al., 1991] Krawitz, Robert and Lewis, Bil and Laliberte, Dan and Stallman, Richard and Welty, Chris. The GNU Emacs LISP Reference Manual. The Free Software Foundation, 1991.
[LaLonde, 1994] LaLonde, W. Discovering Smalltalk. Benjamin Cummings, 1994.
[Lampert, et al., 1988] Lampert, R., Littman, D., Pinto, J., Soloway, E. and Letovsky, S. Designing Documentation to Compensate for Delocalized Plans. Communications of the ACM. 31(11). Nov, 1988.
[Lenat, et al, 1990] Lenat, D., Shepherd, M., Pratt, D., Pittman, K. and Guha, R. Cyc: Towards Programs with Common Sense. Communications of the ACM. 33(8). Pp. 30-49. Aug, 1990.
[Letovsky, 1986] Letovsky, S. Cognitive Processes in Program Comprehension. Proceedings of the Conference on Empirical Studies of Programmers. Ablex Publishers. Pp. 58-79. 1986.
[MacGregor and Brill, 1992] MacGregor, R. and Brill, D. Recognition Algorithms for the Loom Classifier. Proceedings of the Tenth National Conference on Artificial Intelligence, (AAAI 92), pp. 774-779, 1992.
[Mayer and Shneiderman, 1979] Mayer, R. and Shneiderman, B. Syntactic/Semantic Interactions in Programmer Behavior: a Model and Experimental Results. International Journal of Computer and Information Sciences. 8(3). Pp. 219-238. June, 1979.
[Meyers, Reiss and Lejter, 1992] Meyers, S., Reiss, S., and Lejter, M. Support for Maintaining Object-Oriented Programs. IEEE Transactions on Software Engineering. 18(12), December, 1992.
[Miriyala and Harandi, 1991] Miriyala, K., and Harandi, M. The Role of Analogy in Specification Derivation. Proceedings of the Sixth Knowledge-Based Software Engineering Conference. Pp. 113-125. IEEE CS Press. September, 1991.
[Minsky, 1981] Minsky, M. A Framework for Representing Knowledge. Mind Design. MIT Press. Pp. 95-128. 1981.
[Newell and Simon, 1972] Newell, A. and Simon, H. Human Problem Solving. Prentice Hall. 1972.
[Newell, 1982] Newell, A. The Knowledge Level. Artificial Intelligence. 18. Pp. 87-127. Jan, 1982.
[Nishimoto, Chen, and Ramamoorthy, 1990] Nishimoto, M., Chen, Y. and Ramamoorthy, C. The C Information Abstraction System. IEEE Transactions on Software Engineering. March, 1990.
[Parnas, 1972] Parnas, D. On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM. 12(12). Pp. 1053-1058. December, 1972.
[Potts, 1993] Potts, C. Software Engineering Research Revisited. IEEE Software. Pp 18-28. 1993.
[Quine, 1964] Quine, W. From a logical point of view. Harvard University Press, 1964.
[Redmiles, 1993] Redmiles, D. Observations Using Empirical Studies in Developing a Knowledge-Based Software Engineering Tool. Proceedings of the Eighth Knowledge-Based Software Engineering Conference. Pp 170-177. IEEE Computer Society Press, 1993.
[Redmiles, Terveen, and Welty, 1995] Redmiles, D., Terveen, L., and Welty, C. What is a Domain? Work in Progress, 1995.
[Rich, et al, 1983] Rich, C., Cheatham, T., Balzer, R., Luckham, D. and Green, C. Report on a Knowledge-Based Software Assistant. Rome Laboratory Technical Report RADC-TR 83-195. 1983.
[Rist, 1986] Rist, R. Plans in Programming: Definition, Demonstration, and Development. Proceedings of the Conference on Empirical Studies of Programmers. Ablex Publishers. Pp. 28-47. 1986.
[Rumbaugh, 1987] Rumbaugh, J. Relations as Semantic Constructs in an Object-Oriented Language. OOPSLA '87 Conference Proceedings. Pp. 466-481. 1987.
[Sathi, Fox, and Greenberg, 1985] Sathi, A., Fox, M. and Greenberg, M. Representation of Activity Knowledge for Project Management. IEEE Transactions on Pattern Analysis and Machine Intelligence. Sep, 1985.
[Schoen, 1991] Schoen, E. Active Assistance for Domain Modeling. Proceedings of the ICSE 1991 Domain Modeling Workshop. Austin Laboratory for Software Engineering and Computer Science. Pp. 154-161. May, 1991.
[Selfridge and Brachman, 1990] Selfridge, P., and Brachman, R. Supporting a Knowledge-Based Software Information System with a Large Code Database. Proceedings of the AAAI-90 Workshop on Knowledge-Base Management. 1990.
[Selfridge, 1990] Selfridge, P. Integrating Code Knowledge with a Software Information System. Proceedings of KBSA-5. Pp. 183-195. Sept., 1990.
[Selfridge, 1991] Selfridge, P. Knowledge Representation Support for a Software Information System. Proceedings of the Seventh Conference on Artificial Intelligence Applications. Pp. 134-140. 1991.
[Selfridge, 1992] Selfridge, P. Applying AI to Software Problems: Assessing Promises and Pitfalls. IEEE Expert. Volume. 7, Pp 64-68. 1992.
[Selfridge, Terveen, and Long, 1992] Selfridge, P., and Terveen, L., and Long, M. Managing Design Knowledge to Provide Assistance to Large-Scale Software Development. Proceedings of the Seventh Knowledge-Based Software Engineering Conference. IEEE Computer Society Press. 1992.
[Selfridge, Waters, and Chikofsky, 1993] Challenges to the Field of Reverse Engineering. Proceedings of the First Working Conference on Reverse Engineering. Pp. 144-150. May, 1993.
[Selfridge and Heineman, 1994] Selfridge, P., and Heineman, G. Graphical Support for Code-Level Software Understanding. Proceedings of the Ninth Knowledge-Based Software Engineering Conference. IEEE Computer Society Press. Pp 117-132. 1994.
[Shapiro and Rappaport, 1987] Shapiro, S. and Rappaport, W. SNePS considered as a fully intensional propositional semantic network. In Cercone, N., and McCalla, G., eds., The Knowledge Frontier. pp 262-315. Springer-Verlag, 1987.
[Shneiderman, 1986] Shneiderman, B. Empirical Studies of Programmers: The Territory, Paths, and Destinations. Proceedings of the Conference on Empirical Studies of Programmers. Ablex Publishers. Pp. 1-12. 1986.
[Shneiderman and Carroll, 1988] Shneiderman, B., and Carroll, J. Ecological Studies of Professional Programmers. Communications of the ACM. 31(11), Pp. 1256-1258. November, 1988.
[Simon, 1991] Simon, H. Artificial Intelligence: Where Has it Been, and Where is it Going?. IEEE Transactions on Knowledge and Data Engineering. 3(2). Pp. 128-136. June, 1991.
[Smith, 1982] Smith, B. Reflection and Semantics in a Procedural Language. PHD Thesis. MIT Laboratory for Computer Science. 1982.
[Smith, 1990] Smith, D. Automating the Development of Software. Proceedings of KBSA-5. Pp. 13-27. March, 1990.
[Smith and Parra, 1993] Smith, D., and Parra, E. Transformational Approach to Transportation Scheduling. Proceedings of the Eighth Knowledge-Based Software Engineering Conference. IEEE Computer Society Press. Pp. 60-68. 1993.
[Smith and Jullig, 1994] Smith, D. and Jullig, R., eds. Proceedings of the Ninth Knowledge-Based Software Engineering Conference. IEEE Computer Society Press. 1994.
[Soloway and Ehrlich, 1984] Soloway, E. and Ehrlich, K. An Empirical Investigation of Tacit Plan Knowledge in Programming. Human Factors in Computer Systems. Ablex Publishers. 1984.
[Soloway and Adelson, 1985] Soloway, E. and Adelson, B. The Role of Domain Experience in Software Design. IEEE Transactions on Software Engineering. 11(11). Pp. 1351-1360. 1985.
[Soloway, 1985] Soloway, E. From Problems to Programs via Plans. J. Educ. Comput. Res. Summer, 1985.
[Soloway, 1986] Soloway, E. Learning to Program = Learning to Construct Mechanisms and Explanations. Communications of the ACM. 29(9). Pp. 850-858. Sep, 1986.
[Soloway, et al., 1986] Soloway, E., Letovsky, S., Pinto, J. and Littman, D. Mental Models and Software Maintenance. Proceedings of the Conference on Empirical Studies of Programmers. Ablex Publishers. Pp. 80-98. 1986.
[Soloway and Letovsky, 1986] Soloway, E. and Letovsky, S. Delocalized Plans and Program Comprehension. IEEE Software. 3(3). May, 1986.
[Soloway and Iyengar, 1986] Soloway, E. and Iyengar, S., eds. Proceedings of the Conference on Empirical Studies of Programmers. Ablex Publishers. 1986.
[Soloway, Sheppard, and Olson, 1987] Soloway, E., Sheppard, S. and Olson, G., eds. Proceedings of the Second Workshop on Empirical Studies of Programmers. Ablex Publishers. December, 1987.
[Sommerville, 1992] Sommerville, I. Software Engineering. Addison-Wesley. 1992.
[Terveen, Selfridge, and Long, 1993] Terveen, L., Selfridge, P., and Long, M. From Folklore to Living Design Memory. Proceedings of INTERCHI'93, Pp. 15-22. 1993.
[Terveen and Selfridge, 1994] Terveen, L., and Selfridge, P. Intelligent Assistance for Software Construction: A Case Study. Proceedings of the Ninth Knowledge-Based Software Engineering Conference. IEEE Computer Society Press. Pp 14-21. 1994.
[Waters and Rich, 1991] Waters, R. and Rich, C. The Programmer's Apprentice. ACM. 1991.
[Waters, 1995] Personal Communication.
[Welty, 1993] Welty, Chris. An Electronic Information Service. SIGART Bulletin 4(1). Pp 2-5. January, 1993
[Welty, 1994] Welty, C. A Knowledge-Based EMail Distribution System. Proceedings of the 1994 Florida AI Research Symposium. AAAI Press, 1994.
[Welty and Ferrucci, 1994] Welty, C., and Ferrucci, D. What's in an Instance? RPI Computer Science Technical Report. 1994.Available at http://www.cs.vassar.edu/faculty/welty/papers/instances/instances_1.html.
[Welty and Selfridge, 1995] Welty, C., and Selfridge, P., eds. Proceedings of the IJCAI-95 Workshop on AI and Software Engineering: Breaking the Toy Mold. 1995, in press.
[Welty, 1995a] Welty, C. Towards an Epistemology for Software Representations. To appear, Proceedings of the Tenth Knowledge-Based Software Engineering Conference. IEEE Computer Society Press, Novmeber, 1995. Available at http://www.cs.vassar.edu/faculty/welty/papers/software-epist/kbse_1.html.
[Welty, 1995b] Weltyc, C. Intelligent Access to On-Line Information. To appear, Proceedigns of the 1995 Conference on Information and Knowledge Management. Morgan Kaufman. November, 1995. Available at http://www.cs.vassar.edu/faculty/welty/papers/on-line-rep/cikm-1.html.
[White, 1991] White, D. The Knowledge-Based Software Assistant: A Program Summary. KBSE 6 Proceedings. Pp. vi-xiii. September, 1991.
[Wiedenbeck, 1986] Wiedenbeck, S. Processes in Computer Program Comprehension. Proceedings of the Conference on Empirical Studies of Programmers. Ablex Publishers. Pp. 48-53. 1986.
[Winograd, 1975] Winograd, T. Frame Representations and the Declarative/Procedural Controversy. Readings in Knowledge Representation. Morgan Kaufman. Pp. 185-210. 1975.
[Woods, 1975] Woods, W. What's in a Link: Foundations for Semantic Networks. Representation and Understanding: Studies in Cognitive Science. Academic Press. Pp. 35-82. 1975.
Generated with Harlequin WebMaker