|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 1111-1131 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Jun-2023 | メモリ空間の再利用に注目した再帰Strassenアルゴリズム | 李, 睿智; り, えいち |
| Mar-2012 | メンタル・スペース理論を用いた法令文における曖昧性の解析 | 酒井, 祐輝; さかい, ゆうき |
| Mar-2008 | メンバの状況を考慮した分散環境下でのコミュニケーション発生支援に関する研究 | 橋田, 真人; はしだ, まさと |
| Mar-2014 | モデルの動的な切り替え機能を持つ 人間行動シミュレータに関する研究 | 青戸, 渉; あおと, わたる |
| Mar-2010 | モデルベースによる体系的テスト駆動開発環境の研究 | 北, 篤; きた, あつし |
| Mar-2012 | モデル検査における多視点環境モデリング手法に関する研究 | 久井, 翔大; ひさい, しょうた |
| Mar-2014 | モデル検査における誤り原因の特定に関する研究 | 小川, 直哉; おがわ, なおや |
| Sep-2006 | モデル検査によるコンポーネントベースシステム検証へのアプローチ | Pham, Ngoc Hung |
| 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 | モバイルエージェントの動的部品交換方式の実験的検証 | 松原, 剛; まつばら, ごう |
|
