JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science : ISSN 0918-7553 >
IECを用いた素片接続コストの重み係数推定
Reasoning with abstractions as context-based reasoning
MDAフレームワークのEDA分野への適用
Definition and realization of software accountability
ソフトウェアアカウンタビリティ実現のためのGORAと法理論の利用に関する報告