|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 1119-1139 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2010 | モデル検査による大規模な計算機環境での検証手法 | 戸川, 博貴; とがわ, ひろたか |
| Mar-2008 | モデル検査のためのアスペクト指向でのモデル記述支援環境に関する研究 | 大野, 真一朗; おおの, しんいちろう |
| Mar-2008 | モデル検査のためのメカニズム制御システムのモデル化 | 清水, 浩二; しみず, こうじ |
| Mar-2009 | モデル検査のための環境モデリング手法に関する研究 | 西端, 浩和; にしばた, ひろかず |
| Mar-2003 | モデル検査を用いたシステム検証の支援に関する研究 | 中野, 昌弘; なかの, まさひろ |
| Jun-2012 | モデル検査ツールにより出力された反例に基づく誤り特定に関する研究 | 陳, 適; ちん, てき |
| Mar-2009 | モデル検査技術によるセキュリティ検証へのアスペクト指向技術の適用 | 小坂, 浩之; こさか, ひろゆき |
| Mar-2009 | モデル検査用記述に基づいたテストケースの生成法 | グェン, タムティミン; ぐぇん, たむてぃみん |
| Mar-2009 | モデル検査記述のリファクタリングに関する研究 | 張, 巍; ちょう, ぎ |
| Sep-2004 | モデル駆動アプローチにおける経営管理システムの開発とモデル駆動型アーキテクチャの開発環境の構築 | 黄, 明仁; こう, めいにん |
| Mar-2021 | モデル駆動開発における例外発生に伴う複雑度の抑制に関する研究 | 阿部, 航; あべ, わたる |
| Jun-2016 | モデル駆動開発における適応保守の際の 複雑度を軽減する複数のメトリクスに 基づく開発手法に関する研究 | 米山, 哲平; よねやま, てつへい |
| Mar-2000 | モバイルエージェントの動的部品交換方式の実験的検証 | 松原, 剛; まつばら, ごう |
| Mar-2003 | モバイルエージェントを用いたサーバ環境監視方式に関する研究 | 清水, 雅司; しみず, まさし |
| Mar-2001 | モバイルエージェントを用いた情報共有システムの設計と構築 | 小林, 一樹; こばやし, かずしげ |
| Mar-2007 | モバイルエージェントセキュリティに関する研究 | 長谷川, 亙; はせがわ, わたる |
| Mar-2001 | モバイルエージェント・マネジメントシステムに関する研究 | 越原, 智弘; こしはら, ともひろ |
| Mar-2004 | モバイルエージェント間の柔軟な情報交換を可能にするフレームワークの設計と実装 | 及部, 佳代子; およべ, かよこ |
| Mar-2010 | モバイルセンサネットワークのための合意プロトコル | 金谷, 佳洋; かねたに, よしひろ |
| Mar-2005 | モバイル・エージェントの保護手法の研究 | 森, 正行; もり, まさゆき |
| Mar-2000 | モバイル環境に適応できるサービス利用形態の提供 | 稲村, 勝樹; いなむら, かつき |
|
