{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:32:11Z","timestamp":1767637931571,"version":"3.48.0"},"reference-count":0,"publisher":"Maximum Academic Press","issue":"01","license":[{"start":{"date-parts":[[2001,4,4]],"date-time":"2001-04-04T00:00:00Z","timestamp":986342400000},"content-version":"unspecified","delay-in-days":1554,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1997,1]]},"abstract":"<jats:p>Ensuring reliability and enhancing quality of Knowledge Based Systems (KBS) are critical factors for their successful deployment in real-world applications. This is a broad task involving both methodological and formal approaches for designing rigorous Validation, Verification and Testing (VVT) methods and tools. Some of these can be adapted from conventional software engineering, while others rely on specific aspects of KBS.<\/jats:p>","DOI":"10.1017\/s0269888997000052","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T09:26:26Z","timestamp":1027761986000},"page":"95-98","source":"Crossref","is-referenced-by-count":1,"title":["ECAI-96 workshop on validation, verification and refinement of KBS: A \nshort report"],"prefix":"10.48130","volume":"12","author":[{"given":"MARIE-CHRISTINE","family":"ROUSSET","sequence":"first","affiliation":[]},{"given":"SUSAN","family":"CRAW","sequence":"additional","affiliation":[]}],"member":"27968","published-online":{"date-parts":[[2001,4,4]]},"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888997000052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:58Z","timestamp":1767624178000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888997000052\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":0,"journal-issue":{"issue":"01","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["S0269888997000052"],"URL":"https:\/\/doi.org\/10.1017\/s0269888997000052","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}