Contents of Report
[Data of Report]
Report Number:
TM0253
Date of Registration:
1987.01
English Title:
***
Japanese Title:
仕様設計エキスパートシステムにおける仕様の検証方式
English Author:
S.Shikano,W.Tanaka,H.Hasegawa
Japanese:
鹿野 正太,田中 亘,長谷川 晴朗
Name of Organization to which author belongs:
Oki,Oki,Oki
PDF:
tm0253.pdf
[Contents]
1
まえがき
.... 2
2
仕様の記述
.... 2
3
EXPRESSにおける仕様作成
.... 2
4
システム構成
.... 3
5
仕様の検証方法
.... 3
6
検証に必要な知識
.... 4
7
交換ハードウェアの制御方法
.... 5
8
おわりに
.... 5
参考文献
.... 5
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda