|
|
JAIST Repository >
一覧: タイトル
検索結果: 8717-8737 / 18593.
| 発行日 | タイトル |
著者 |
|---|
| Aug-2013 | メールサーバ移行の準備作業 | 須藤, 千恵 |
| Mar-1999 | モジュールシステムの設計と検証に関する研究 | 五百蔵, 重典; いおろい, しげのり |
| 10-Oct-2015 | モジュール化の進展と自動車部品メーカーの行動分析 | 加藤, 敦宣 |
| 22-Oct-2005 | モジュール融合 : 製品アーキテクチャの解体と再編((ホットイシュー) オープン・イノベーション (1), 第20回年次学術大会講演要旨集I) | 柴田, 友厚; 児玉, 文雄 |
| Mar-2014 | モデルの動的な切り替え機能を持つ 人間行動シミュレータに関する研究 | 青戸, 渉; あおと, わたる |
| 19-Oct-2001 | モデルを用いた技術変化と情報収集が競争に及ぼす影響の分析 | 勝本, 雅和 |
| Mar-2010 | モデルベースによる体系的テスト駆動開発環境の研究 | 北, 篤; きた, あつし |
| 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 | モデル検査を用いたフォールトアナリシス手法の提案 | 野口, 秀人; のぐち, ひでと |
|
