Journal of the Japanese Society for Artificial Intelligence
Online ISSN : 2435-8614
Print ISSN : 2188-2266
Print ISSN:0912-8085 until 2013
Validation and Verification Techniques in Knowledge Systems
Yasusi SINOHARA, Takao TERANO
Author information
Keywords: validation and verification, testing, requirement alanysis, life cycle of knowledge systems, formal methods
MAGAZINE FREE ACCESS

1996 Volume 11 Issue 1 Pages 25-31

Details
Download PDF (581K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© 1996 The Japaense Society for Artificial Intelligence
Previous article Next article
Favorites & Alerts

Recently viewed articles
Announcements from publisher
  • Although several articles need the authentication to access their PDF in two years after the day of issue, JSAI individual members could download it for free. If you are the member, please log on My Page for JSAI member to know your ID and password for the authentication. Note that passwords of the two systems are different. Those who are not JSAI member can purchase PDFs at Purchase Form (in Japanese). The paper book or e-book of Kindle for each number are available at Amazon.
Related journals
Transactions of the Japanese Society for Artificial Intelligence
Proceedings of the Annual Conference of JSAI
SIG-SLUD Technical report
SIG-KBS Technical report
SIG-FPAI Technical report
SIG-ALST Technical report
Type 2 SIG Technical report
Share this page
feedback
 Top