| 1 | はじめに | .... 2 |
| 2 | 仕様設計エキスパートシステムの概要(EXPRESS) | .... 2 |
| 3 | ペトリネットの関数行列 | .... 5 |
| 4 | 設計仕様におけるサービスの定義 | .... 5 |
| 5 | 素サービスの発見 | .... 6 |
| 6 | 統合後のTSGから隠れたサービスが求まる例 | .... 7 |
| 7 | おわりに | .... 8 |
| 付録1 | .... 8 | |
| 付録2 | .... 9 | |
| 参考文献 | .... 9 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda