Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-04-01
著者
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
阿草 清滋
名古屋大学工学部電気工学第二
-
Saeki Motoshi
東工大
-
Yamamoto Shinichiro
Department Of Information Systems Aichi Prefectural University
-
Agusa Kiyoshi
Graduate School Of Information Science Nagoya University
-
Saeki Motoshi
The Department Of Computer Science Graduate School Of Information Science And Engineering Tokyo Institute Of Technology
-
Agusa Kiyoshi
The Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
Kobayashi Takashi
The Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
NODA Kunihiro
the Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
YAMAMOTO Shinichiro
the Faculty of Information Science and Technology, Aichi Prefectural University
-
Noda Kunihiro
The Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
Yamamoto Shinichiro
The Faculty Of Information Science And Technology Aichi Prefectural University
-
阿草 清滋
名古屋大学情報科学研究科
関連論文
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
- Recognizability of Redexes for Higher-Order Rewrite Systems
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- バリエーション並行開発のための版管理ツールと統合開発環境
- Primary adrenal leiomyosarcoma with inferior vena cava thrombosis
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- Deriving Framework Usages Based on Behavioral Models
- Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
- A Tool Platform Using an XML Representation of Source Code Information(Software Engineering)
- "正しい"ソフトウェアの開発を
- 上流 CASE とソフトウェア開発の効率化
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- Supporting Application Framework Selection Based on Labeled Transition Systems(Knowledge-Based Software Engineering)
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- Web オートマトン: MVC モデルに基づくWebアプリケーションの動作モデル
- 変更支援のための成果物アクセス履歴マイニング
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
- Implementing OCL evaluators based on structural similarities of programming languages (ソフトウエア工学)
- Preliminary Assessment of Software Metrics based on Coding Standards Violations
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- IT好き放題:面白さは突然に
- Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
- Impact Analysis on an Attributed Goal Graph
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- A Session Type System with Subject Reduction
- ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
- データ依存の伝播確率に基づく欠陥箇所特定支援
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析(プログラム解析と開発支援)
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
- データ依存の伝播確率に基づく欠陥箇所特定支援
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル