1B-4 状態遷移表モデル検査ツールGarakabu2の設計と開発(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2010-03-08
著者
-
片山 徹郎
宮崎大学工学部情報システム工学科
-
福田 晃
九州大学大学院システム情報科学研究院
-
福田 晃
九州大学大学院システム情報科学府・研究院
-
Fukuda A
Nara Inst. Sci. And Technol.
-
松本 充広
九州大学大学院システム情報科学研究院情報工学部門:福岡県産業・科学技術振興財団福岡知的クラスター研究所
-
白石 知弘
福岡県産業・科学技術振興財団
-
孔 維強
福岡県産業・科学技術振興財団
-
松本 充広
キャッツ株式会社
-
水島 祐紀
福岡県産業・科学技術振興財団
-
片平 典幸
福岡県産業・科学技術振興財団
-
渡辺 政彦
キャッツ株式会社
-
福田 晃
九州大学大学院システム情報学府・研究院
関連論文
- プログラム自動可視化ツールAvisにおける実行パスの3次元表示手法の提案
- 無線可視領域通信を支援する相対位置情報を利用した名前解決ミドルウェア(ネットワークミドルウェア・エミュレータ,ネットワークを支えるソフトウェア技術論文)
- 技術展示 ネットワーク連携コンテキストアウェア日本語入力支援システムの実装 (ユビキタス・センサネットワーク)
- 技術展示 ネットワーク連携コンテキストアウェア日本語入力支援システムの実装 (モバイルマルチメディア通信)
- 物理ネットワーク負荷に適応したP2Pネットワークトポロジー制御(ネットワーク)
- LinuxのUSBデバイスドライバの抽象化に関する考察(OS-1:OS構成法)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- SpecCを用いたUSBデバイスのデバイスドライバとファームウェアの協調設計
- USBデバイスのソフトウェアを対象としたSpecCによる協調設計
- 無線LAN位置推定における誤差補正手法の一検討(Work in Progress,ワイヤレス環境でのアプリケーション品質,P2P/アドホックネットワーク,画像符号化,ストリーム技術,信頼性,一般)
- P-1-556 肝切除術後早期に出現した多発残肝再発に対しTS-1でCRを得た肝細胞癌の一例(肝 悪性2,一般演題(ポスター),第63回日本消化器外科学会総会)
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- Javaを対象としたテスト駆動開発における初回テストパス自動化支援ツールの試作
- 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- V-1-63 全胃幽門輪温存膵頭十二指腸切除術後胃排泄遅延におけるストレート法の有用性の検討(膵1 PPPD,一般演題(ビデオ),第62回日本消化器外科学会定期学術総会)
- VW-2-1 膵頭十二指腸切除における門脈・上腸間膜静脈合併切除再建の工夫(ビデオワークショップ2 消化器外科手術における血行再建の工夫と合併症対策,第62回日本消化器外科学会定期学術総会)
- 膵空腸吻合no stent法の適応と結果 (特集 膵頭十二指腸切除術(PD)をめぐる諸問題) -- (膵空腸吻合)
- 無線LAN環境における主成分分析を用いたハイブリッド位置推定手法(ユビキタス・モバイル,システム開発論文)
- 無線LAN位置推定システムにおける正準相関分析を用いたデバイス適応手法(ユビキタス・モバイル,システム開発論文)
- B-15-9 地理情報システムのためのキャッシュデータの確率的な無効化を実現する放送型プロトコル(B-15.モバイルマルチメディア通信,一般セッション)
- 地理情報のデータ構造を考慮した放送型キャッシュデータ無効化プロトコル(移動通信ワークショップ)
- ユビキタス環境におけるキャッシュ一貫性管理プロトコル(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- ユビキタス環境におけるキャッシュ一貫性管理プロトコル(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 一時的なサービス利用を考慮したUI配布型機器連携アーキテクチャの提案(セッション3:慶應義塾大学)
- Twitterにおけるコンテキストと単語の相関関係分析 (ディペンダブルコンピューティング)
- Twitterにおけるコンテキストと単語の相関関係分析 (コンピュータシステム)
- B-018 MPI-HMMERのグリッド向けスケジューリング(B.ソフトウェア)
- B-006 Grid環境における情報管理サービスの検討(B.ソフトウェア)
- B-002 環境適応型スケジューリング実現方式の検討(B.ソフトウェア)
- Grid環境における適応型スケジューリングの検討(EVA-2 : 性能改善)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- OBIGridにおけるHMMER高速化の検討
- Grid環境における簡易ジョブマネージャの試作と評価
- ゲノムアプリケーションInterProScanのスケジューリング機能の検討(EVA-1:科学技術計算アプリケーションの評価,2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- Grid環境におけるHMMER実行方式の検討(EVA-1:科学技術計算アプリケーションの評価,2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- 相対位置情報を利用した無線可視領域における通信を支援する名前解決ミドルウェアの設計と評価(ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
- WiPS : 無線LAN機器を用いた位置測定システム(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 膵仮性嚢胞消化管吻合 (最新 肝胆膵手術アトラス) -- (膵臓)
- MDAにおけるPIM作成支援を目的としたUMLダイアグラム洗練手法の提案
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- WS-7-05 膵IPMN(Intraductal papillary-mucinous neoplasm)に対する診断と外科治療の適応(ワークショップ7 : 膵のIPMTの診断と手術適応)
- PD-5-02 小膵癌に対する診断と手術成績の検討(パネルディスカッション5 : 小膵癌に対する診断と治療)
- 無線LANを用いた位置推定システムのためのデバイス正規化手法(位置推定)
- ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
- 無線伝送路の可逆性を用いた小型携帯端末のための共有情報生成方式の提案(DPS/MBL合同セッション センサネットワーク)
- 無線メッシュネットワーク上の測位システムにおける観測データ集約による通信量削減手法の提案 (モバイルマルチメディア通信)
- 無線メッシュネットワーク上の測位システムにおける観測データ集約による通信量削減手法の提案(モバイルコンピューティング、モバイルアプリケーション、ユビキタス通信、モバイルマルチメディア通信及び一般)
- ネットワーク連携コンテキストアウェア日本語入力支援システムの実装(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 組込みシステムにおけるリソーススケジューリング設計・検査手法とツール(ソフトウェア工学)
- RASを用いたソフトウェアプロダクトライン開発資産表現
- ネットワークを用いたコンテキストアウェア日本語入力支援システムの提案(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・User Network Interface,Homeネットワーク,一般)
- ホームネットワークのためのセンサ連携を支援するイベント駆動フレームワーク(ネットワーク,システム開発・ソフトウェア開発論文)
- フィーチャモデル自動描画アルゴリズムの提案と実装
- 相対位置情報を利用した名前解決ミドルウェアのための負荷分散手法の評価(モバイルコンピューティング、モバイルアプリケーション、ユビキタス通信、モバイルマルチメディア通信)
- B-15-10 無線LANを用いた位置推定システムにおける推定結果補正手法の評価(B-15.モバイルマルチメディア通信,一般セッション)
- B-15-1 無線可視領域ネットワークのための端末相互認証手法における視覚情報の効果(B-15.モバイルマルチメディア通信,一般セッション)
- 無線可視領域ネットワークにおける端末相互認証手法の評価(移動通信ワークショップ)
- 2.八千代医療センターにおける緩和ケアグループ導入の現状と課題(一般演題,第30回東京女子医科大学在宅医療研究会)
- 消化器病センターの緩和ケアに対する取り組みと大学病院としての緩和ケア(シンポジウム,緩和医療,第72回東京女子医科大学学会総会)
- プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案
- 組込みソフトウェア開発支援のための命令セットシミュレータ(ISS) 作成手法の提案
- クラスタ型NUMAマルチプロセッサにおけるメモリ協調スケジューリング方式
- メモリ管理を考慮したNUMAマルチプロセッサにおける2レベルスケジューリングの評価
- 1B-4 状態遷移表モデル検査ツールGarakabu2の設計と開発(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- プログラミング教育支援のためのプログラム自動可視化ツール Avis における実行パス表示手法の改良
- ライントレースカーの動作を反映するシミュレータの試作
- 5.並列プログラムのテスト(ソフトウェアテストの最新動向)
- シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について
- シーケンス図を用いた実行履歴の可視化によるJavaプログラムの理解支援に関する考察
- Javaプログラム自動可視化ツールAvisにおける大規模プログラム適用のための拡張
- シーケンス図を用いた実行履歴の可視化による Java プログラムの理解支援に関する考察
- JavaCCを利用したJavaプログラムの実行履歴表示について
- UMLからJavaソースコードへの変換規則の抽出と変換ツールの試作
- Javaプログラム自動可視化ツールAvisにおけるクラス構造可視化のための拡張
- Javaプログラムを対象としたオブジェクト間の呼び出し関係情報を含んだコントロールフローグラフの生成について
- JavaParserを利用したプログラム可視化のための静的解析部の作成
- プログラミング支援のためのUMLからJavaソースコードへの変換規則の抽出
- 初心者を対象としたJavaプログラム自動可視化ツールの実現に向けて
- 2000-OS-85-15 組み込み向けOSにおけるデバイスドライバの自動生成について
- UNIX系OSにおけるデバイスドライバの抽象化と生成システムの実現(特集:システムソフトウエアの新しい潮流)
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- OS間の差異を吸収するデバイスドライバ自動生成システムの設計
- OSの自動生成に向けて
- UMLの複数のダイアグラムを用いたJavaプログラムのテスト手法に関する一考察
- デバイスドライバ生成システムにおける入力形式に関する考察
- デバイスドライバの生成支援に関する考察
- 組み込みシステムにおける機器制御ライブラリの生成支援
- 移動計算機のためのWWW情報発信システムの構築 : 高負荷時における複製の利用
- デバイスドライバの自動生成に向けて : プリンタデバイスの生成に関する考察
- デバイスドライバの自動生成に向けて : デバイスドライバの定式化
- デバイスドライバの自動生成に向けて : デバイスドライバの定式化
- LinuxのUSBデバイスドライバのコード分割による抽象化に関する研究
- UMLのクラス図とJavaプログラムとの関係抽出について
- Javaを対象としたプログラムの基本制御構造を受理する構文解析器の作成
- Javaプログラム読解支援のためのプログラム自動可視化ツールAvisの実装と評価(ソフトウェアシステム)
- シミュレータ作成の手間を削減可能な二部構成シミュレータ設計手法の提案
- Javaプログラムを対象とした単体テスト自動実行および可視化ツール"Jvis"の開発
- Java プログラム読解支援のためのプログラム自動可視化ツール Avis の実装と評価
- "Matrix-Based Discrete-Event System Controller" を拡張するためのETSCから時間ペトリネットへの変換手法とその統一的支援システム