|
|
JAIST Repository >
一覧: タイトル
検索結果: 8724-8744 / 18596.
| 発行日 | タイトル |
著者 |
|---|
| 31-Oct-2020 | モデルベース開発（MBD）の戦略的価値とマネジメント要因の分析 : 自動車部品メーカーアンケート調査による実証研究 | 加藤, 敦宣 |
| 21-Oct-2000 | モデル分析に基づくプロジェクト選定方法の検討 | 勝本, 雅和 |
| Sep-2014 | モデル検査におけるゴール指向分析を用いた外部入力値の時系列変化の制約による状態削減手法 | 乾, 道孝; いぬい, みちたか |
| Mar-2012 | モデル検査における多視点環境モデリング手法に関する研究 | 久井, 翔大; ひさい, しょうた |
| Sep-2018 | モデル検査における様々なスケジューラの取り扱いに関する研究 | Tran, Hoa Nhat; とらん, ほあ にゃっと |
| Mar-2014 | モデル検査における誤り原因の特定に関する研究 | 小川, 直哉; おがわ, なおや |
| 28-Nov-2006 | モデル検査によるアーキテクチャ設計検証 | 岸, 知二 |
| Sep-2006 | モデル検査によるコンポーネントベースシステム検証へのアプローチ | Pham, Ngoc Hung |
| Mar-2010 | モデル検査による大規模な計算機環境での検証手法 | 戸川, 博貴; とがわ, ひろたか |
| Mar-2008 | モデル検査のためのアスペクト指向でのモデル記述支援環境に関する研究 | 大野, 真一朗; おおの, しんいちろう |
| Mar-2008 | モデル検査のためのメカニズム制御システムのモデル化 | 清水, 浩二; しみず, こうじ |
| Mar-2009 | モデル検査のための環境モデリング手法に関する研究 | 西端, 浩和; にしばた, ひろかず |
| Mar-2003 | モデル検査を用いたシステム検証の支援に関する研究 | 中野, 昌弘; なかの, まさひろ |
| Sep-2015 | モデル検査を用いたフォールトアナリシス手法の提案 | 野口, 秀人; のぐち, ひでと |
| Jun-2012 | モデル検査ツールにより出力された反例に基づく誤り特定に関する研究 | 陳, 適; ちん, てき |
| 6-Sep-2007 | モデル検査手法1の普及に関する取り組み | 青木, 利晃 |
| Mar-2009 | モデル検査技術によるセキュリティ検証へのアスペクト指向技術の適用 | 小坂, 浩之; こさか, ひろゆき |
| 15-Oct-2003 | モデル検査技術を利用したプログラム解析器の生成ツール | 山岡, 裕司; 胡, 振江; 武市, 正人; 小川, 瑞史; YAMAOKA, Yuji; HU, Zhenjiang; TAKEICHI, Masato; OGAWA, Mizuhito |
| Mar-2010 | モデル検査技術を活用した検証指向ソフトウェア設計手法の研究 | 金井, 勇人; かない, はやと |
| Mar-2009 | モデル検査用記述に基づいたテストケースの生成法 | グェン, タムティミン; ぐぇん, たむてぃみん |
| Mar-2009 | モデル検査記述のリファクタリングに関する研究 | 張, 巍; ちょう, ぎ |
|
