JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > D-IS. 博士（情報科学） >
ハードウェアモデルを用いたモデル駆動型ソフトウェアプロダクトライン
マルチユーザ・マルチアンテナ繰り返し受信機における電力配分法の研究
形式仕様と設計の整合性検証に関する研究
静的プログラム解析に基づくオブジェクト指向プログラムからアスペクト指向プログラムへの変換改善手法
分散システムにおける動的、断続的、伝搬的なフォールトの取り扱いに関する研究
