Towards an epistemology for software representations Export

@proceedings{citeulike:4751175, abstract = {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, the 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}, author = {Welty, C. A.}, booktitle = {Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th}, citeulike-article-id = {4751175}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/KBSE.1995.490130}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=490130}, doi = {10.1109/KBSE.1995.490130}, journal = {Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th}, keywords = {epistemology}, pages = {148--154}, posted-at = {2009-06-05 14:08:43}, priority = {2}, title = {Towards an epistemology for software representations}, url = {http://dx.doi.org/10.1109/KBSE.1995.490130}, year = {1995} }

TY - CONF ID - citeulike:4751175 L3 - citeulike-article-id:4751175 N2 - 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, the 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 JF - Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th EP - 154 TI - Towards an epistemology for software representations T2 - Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th SP - 148 KW - epistemology AU - Welty, CA PY - 1995/// UR - http://dx.doi.org/10.1109/KBSE.1995.490130 ER -