AIMAGIC%SCOM08.DECnet@GE-CRD.ARPA (07/22/86)
I am an employee with GE Space Systems and am in the process of doing
work on an IR&D in the area of AI development methodologies or the lack
there of. As part of this effort, I am trying to determine what already
exists, what is available for purchase, and what can be had for the asking.
I have be doing extensive research in this area but have found little
information specifically directed at Knowledge-Based System Verification and
Validation. As a result, I have had to come up with my own concepts of what
can be done. For example, I have determined that a Knowledge-Based Software
Development Environment (KBSDE) consisting of a number of complementary
tools is essential. The tools themselves should support all phases of the
development life cycle. For KBS systems the question becomes, What is its
Life Cycle, how closly does KBS system development parallel that of "normal"
procedural/algoritmetic software? How do we account for rapid prototyping
while at the same time exercising the control necessary to create a reliable
software system?
I have made some progress in answering these questions and would be
willing to share my discoveries with the general community, if I could in
turn find out what is already out there and thus need not be rediscovered.
If it is at all possible, could this request be posted and responses sent
to me? If this could be done, I would gladly summarise my results for
general reading after sufficient responces were received.
Thanks:
Phil Rossomando
GE Space Systems Devision
King of Prussia, PA.
AIMAGIC%SCOM08.decnet@ge-crd.arpa