Towards an Epistemology for Software Representations

The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activities have, necessarily, been founded on first order logic based representations, this paper reports on research into Software Information Systems that has found the domain of software knowledge to be inherently second order. A facility for accurately representing second order constructs such as are found in the software domain is also presented.

• Type: Conference
• Year: 1995
• Where: KBSE
• Authors: Christopher A. Welty
• Keywords: KBSE 1995, Order Constructs, Software Engineering, Software Information Systems, first Order Logic