JAIST Repository > 安心電子社会教育研究センター 2004～2016 > z11-11. 会議発表論文・ワークショップ発表資料 >
構成管理モデルFMCのAlloyによる検証
A Domain Analysis of Artistic Works and A Digital License Language
安心情報システム構築におけるコンポーネント技術の応用 : Development of Information Systems for e-Society with Component Technologies
ソフトウェアアカウンタビリティの定義に関する基礎考察
モデル検査によるアーキテクチャ設計検証
