Contents of Report


[Data of Report]

Report Number:
TR0233
Date of Registration:
1987.02
English Title:
A Study on Knowledge Verification in a Specification Design Expert System for Communication System
Japanese Title:
通信システム用仕様設計エキスパートシステムにおける知識検証系の検討
English Author:
K.Miyake,S.Shikano,W.Tanaka,H.Hasegawa
Japanese:
三宅 和裕,鹿野 正太,田中 亘,長谷川 晴朗
Name of Organization to which author belongs:
Oki,Oki,Oki,OKI
PDF:
tr0233.pdf

[Contents]

1はじめに.... 2
2EXPRESS の概要.... 2
3仕様の検証.... 2
3.1論理検証.... 2
3.2意味検証.... 2
4サービス仕様の実行.... 3
4.1TSGインタプリタ.... 3
4.2インタフェース部.... 3
4.3タスク生成部.... 3
5おわりに.... 3
6参考文献.... 3


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports