Contents of Report
[Data of Report]
Report Number:
TM1035
Date of Registration:
1991.03
English Title:
On Stepwise Software Construction and its Verification
Japanese Title:
段階的ソフトウェアの生成と検証について
English Author:
K.Matsumoto,S.Honiden
Japanese:
松本 一教,本位田 真一
Name of Organization to which author belongs:
TOSHIBA,TOSHIBA
PDF:
tm1035.pdf
[Contents]
ABSTRACT
.... 2
はじめに
.... 2
1
DFDにおけるプロセス分解
.... 3
2
内部データを考慮したプロセス分解代数
.... 4
3
分解過程の検証
.... 7
5
関連研究
.... 10
6
おわりに
.... 11
謝辞
.... 11
参考文献
.... 11
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda