@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00117796,
 book = {全国大会講演論文集},
 issue = {ソフトウェア工学},
 month = {Oct},
 note = {Kappa(Knowledge Application Oriented Advanced DBMS/KBMS)は、分散知識ベース管理システムであり、ESP(Extended Self-contained Prolog)で120K行からなる大規模なシステムである。Kappaは、高度な知識情報処理システムの基盤となる大量かつ複雑な知識(例えば電子化辞書、数学の知識など)を蓄積して自然言語処理、定理証明処理など広範な応用への利用が見込まれている。Kappaは、データベース層、知識ベース層、ユーザインタフェース層、ユーティリティ層から成るが、今回そのうちのデータベース層のコマンド機能を対象に検査を行った。本報告ではその検査で行った、自動化のための検査のシステム化について述べる。},
 pages = {1487--1488},
 publisher = {情報処理学会},
 title = {Kappaデータベース機能の検査システム},
 volume = {第39回},
 year = {1989}
}