By Topic

IEE Proceedings - Software

Issue 5 • Oct 2000

Filter Results

Displaying Results 1 - 6 of 6
  • Model-based verification of knowledge-based systems: a case study

    Publication Year: 2000, Page(s):163 - 167
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (480 KB)

    As knowledge-based systems become a standard in software development. The interest in verification and validation techniques to ensure their reliability has grown. For this purpose the verification of knowledge bases is fundamental. Numerous references in the literature involve verification by detection of implementation-dependent anomalies in the knowledge base such as inconsistency, incompletene... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What can program supervision do for program reuse?

    Publication Year: 2000, Page(s):179 - 185
    Cited by:  Papers (6)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (668 KB)

    The authors are interested in a knowledge-based technique (called program supervision) for managing the reuse of a modular set of programs. The focus of the paper is to analyse which reuse problems program supervision can solve. First, they propose a general definition for program supervision, a knowledge representation model, and a reasoning model. They then analyse a program supervision solution... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge edition and reuse in Diagen: a relational approach

    Publication Year: 2000, Page(s):151 - 162
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (940 KB)

    The idea of component reuse in system design is implicit in all material and energy engineering and in particular, in electronic engineering. This panorama is a desideratum for knowledge engineering (KE) where, on the contrary, there is a great diversity of terms without a unique, clear, complete and unequivocal meaning, and where, as a consequence, there is a notorious lack of agreed-upon librari... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying knowledge modelling and case-based reasoning to software reuse

    Publication Year: 2000, Page(s):169 - 177
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1000 KB)

    The users of libraries of object-oriented software components face both a terminological and a cognitive gap in knowledge. Usually, library users do not understand the vocabulary used in library documentation, and they do not know some of the concepts involved in the solutions implemented by components. In order to close both gaps, a language for constructing functional descriptions of the compone... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated software module reconfiguration through the use of artificial intelligence planning techniques

    Publication Year: 2000, Page(s):186 - 192
    Cited by:  Patents (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (936 KB)

    One important approach to enhancing software re-use is through the creation of large-scale software libraries. By modularising functionality, many complex specialised applications can be built up from smaller reusable general-purpose libraries. Consequently, many large software libraries have been formed for applications such as image processing and data analysis. However, knowing the requirements... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Causality levels in SCHEMA: a knowledge edition interface

    Publication Year: 2000, Page(s):193 - 200
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1108 KB)

    In order for artificial intelligence (AI) to develop the same way as any other engineering discipline, it is necessary to have a methodology which starts from a definite set of specifications providing a detailed description of the process to achieve the corresponding implementation. In fact, those specifications are knowledge that the final implementation must display. Thereafter, a suitable veri... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.