|
|
JAIST Repository >
一覧: タイトル
検索結果: 8737-8757 / 18593.
| 発行日 | タイトル |
著者 |
|---|
| 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 | モデル検査記述のリファクタリングに関する研究 | 張, 巍; ちょう, ぎ |
| 28-May-2014 | モデル膜による分子ストレスセンシング | VESTERGAARD, Catherine |
| Mar-2008 | モデル非依存BVHトラバースアルゴリズムの考案 | 瀬井, 大志; せい, たいし |
| Sep-2004 | モデル駆動アプローチにおける経営管理システムの開発とモデル駆動型アーキテクチャの開発環境の構築 | 黄, 明仁; こう, めいにん |
| Mar-2021 | モデル駆動開発における例外発生に伴う複雑度の抑制に関する研究 | 阿部, 航; あべ, わたる |
| Jun-2016 | モデル駆動開発における適応保守の際の 複雑度を軽減する複数のメトリクスに 基づく開発手法に関する研究 | 米山, 哲平; よねやま, てつへい |
| Mar-2001 | モノ-, ジ-オレフィンのストップフロー重合とin situ固体NMR観察を組み合わせたオレフィン重合触媒の研究 | 河野, 浩之; こうの, ひろゆき |
| 28-Oct-2023 | モノからコトへの転換は単位系による価値創造 | 若林, 秀樹; 服部, 将志 |
| 10-Oct-2015 | モノとサービスの3つの関係・7つのモデル : 「製造業のサービス化」に関する一考察 | 妹尾, 堅一郎 |
| 31-Oct-2020 | モノとサービスの相乗効果による競争力強化 : H. U.グループの臨床検査ビジネスに関する一考察 | 伊澤, 久美; 妹尾, 堅一郎; 宮本, 聡治 |
| 28-Oct-2023 | 「モノなくしのためのモノづくり」とは何か : サーキュラーエコノミーにおけるモノづくりに関する一考察 | 村松, 竜弥; 妹尾, 堅一郎 |
| 28-Oct-2023 | モノの使い続けを支えるコーティング : サーキュラーエコノミーへの貢献に関する一考察 | 中村, 直道; 妹尾, 堅一郎 |
| 28-Oct-2023 | モノをとるか、エネルギーをとるか : サーキュラーエコノミー時代の食品に関する一考察 | 米本, 友華; 妹尾, 堅一郎 |
| Mar-2000 | モバイルエージェントの動的部品交換方式の実験的検証 | 松原, 剛; まつばら, ごう |
|
