Now showing items 2-3 of 3

  • Knowledge modelling for a generic refinement framework 

    Boswell, Robin; Craw, Susan (Elsevier http://dx.doi.org/10.1016/S0950-7051(99)00018-0, 1999-10)
    BOSWELL, R. and CRAW, S., 1999. Knowledge modelling for a generic refinement framework. Knowledge Based Systems, 12 (5-6), pp. 317-325
    Refinement tools assist with debugging the knowledge-based system (KBS), thus easing the well-known knowledge acquisition bottleneck, and the more recently recognised maintenance overhead. The existing refinement tools ...
  • Verification of redesign models: a CSP approach. 

    Arana, Ines; Ahriz, Hatem (Professional Engineering Publishing, 2001-08-21)
    ARANA, I. and AHRIZ, H. 2001. Verification of redesign models: a CSP approach. In the Proceedings of the 13th international conference on engineering design (ICED'01), 21-23 August 2001, Glasgow, UK. Glasgow: Professional Engineering Publishing, pages 283-290.
    One of the initial stages in the manufacturing of an article is the production of a design which satisfies a set of user requirements. Much of the design work carried out in manufacturing companies can be classified as ...