西村 拓一 | 独立行政法人産業技術総合研究所サービス工学研究センター
スポンサーリンク
概要
独立行政法人産業技術総合研究所サービス工学研究センター | 論文
- オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察(要求工学・仕様化技術)
- 自治体EAへの形式手法適用の試み
- 自治体EAへの形式手法適用の試み
- OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
- 情報システムの構造化仕様のための業務オントロジーの試作