|
|
JAIST Repository >
一覧: タイトル
検索結果: 12280-12300 / 18593.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1997 | 形式仕様の記述スタイルに関する研究 | 杉山, 智倫; すぎやま, とものり |
| Mar-2008 | 形式仕様記述を用いたテキストファイルの図式化の研究 | 手塚, 隆之; てづか, たかゆき |
| Mar-2010 | 形式仕様記述言語を用いた要求仕様書の形式化と検証仕様書の獲得手法に関する研究 | 吹田, 有行; ふきた, ありゆき |
| Mar-2014 | 形式意味論に基づく短編推理小説の犯人推論 | 池ノ上, 杏奈; いけのうえ, あんな |
| Mar-2008 | 形式手法による短距離無線通信規格の検証に関する研究 | 高村, 純平; たかむら, じゅんぺい |
| Mar-2011 | 形式手法に基づくビジネスプロセスのリスクリカバリー手法 | 大井, 聡史; おおい, さとし |
| 6-Sep-2007 | 形式手法の新展開 : 離散と連続の融合 | 平石, 邦彦 |
| 1-Jun-2015 | 形式手法の統合によるシームレスなソフトウェア開発手法の提案 | 青木, 利晃; Aoki, Toshiaki |
| Mar-2013 | 形式手法を用いた手順書の解析 | 穐山, 周平; あきやま, しゅうへい |
| Sep-2022 | 形式検証ツールの並列化 | DO, Minh Canh; ど, みん かん |
| Mar-1998 | 形式的オブジェクト指向分析モデルＦＯ∀Ｍの構築法とその支援環境 | 古川, 順一; ふるかわ, じゅんいち |
| Mar-2003 | 形式的オブジェクト指向方法論を用いた携帯情報端末の開発実験 | 濱崎, 章光; はまさき, あきみつ |
| 14-Jun-2011 | 形式的検証とウェブオントロジーの融合による大規模情報システム設計支援 | 高木, 理; Takaki, Osamu |
| 28-Oct-2017 | 形式的評価から実質評価への移行が必要な研究政策 | 大岩, 元 |
| 3-Jun-2016 | 形式証明の理論依存性解析とその計算可能証明発見への応用 | 小川, 瑞史; Ogawa, Mizuhito |
| 20-May-2011 | 形態が異なるコミュニケーションの反復による議論の活性化と多視点化の可能性に関する検討 | 千葉, 慶人; 西本, 一志; Chiba, Yoshihito; Nishimoto, Kazushi |
| Mar-2012 | 形態学的計測に基づく発話機構モデルの個人化 | 西村, 奈々; にしむら, なな |
| Mar-2022 | 形態的なアプローチによるソフトロボットの構造的なダメージへの補償：ウィスカーセンサーの場合 | Nguyen, Huu Nhan; ぐえん, ふー なん |
| Mar-2002 | 形状特徴SIMSに基づく3次元画像の角構造解析 | 入山, 彰夫; いりやま, あきお |
| 5-Sep-2013 | 役に立つオントロジー工学 | 溝口, 理一郎 |
| Mar-2006 | 待ち時間でのアンケートを利用した初期段階コミュニケーションの促進 | 笹岡, 保紀; ささおか, やすのり |
|
