依田 育士 | 独立行政法人産業技術総合研究所サービス工学研究センター

スポンサーリンク

概要

• 同名の論文著者
• 独立行政法人産業技術総合研究所サービス工学研究センターの論文著者

独立行政法人産業技術総合研究所サービス工学研究センター | 論文

• オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察(要求工学・仕様化技術)
• 自治体EAへの形式手法適用の試み
• 自治体EAへの形式手法適用の試み
• OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
• 情報システムの構造化仕様のための業務オントロジーの試作

もっと見る

スポンサーリンク