IEEE - Institute of Electrical and Electronics Engineers, Inc. - Using KIV to specify and verify architectures of knowledge-based systems

Proceedings 12th IEEE International Conference Automated Software Engineering

Author(s): Fensel, D. ; Schnogge, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Incline Village, NV, USA, USA
Conference Date: 1 November 1997
Page(s): 71 - 80
ISBN (Paper): 0-8186-7961-1
DOI: 10.1109/ASE.1997.632826
Regular:

Building knowledge-based systems from reusable elements is a key factor in developing them economically. However, one has to ensure that the assumptions and functionality of the reused building... View More

Advertisement