netail.net [論文 (2005年 第2四半期)]

2005-06-23#p01 Prospector
2005-06-16#p03 シーケンス図生成向け，静的解析でのインスタンスの区別
2005-06-14#p02 実行履歴のベクトル類似度に基づくフェイズ認識
2005-06-13#p02 コンポーネントに対するアサーション検査
2005-06-13#p03 時相論理で記述した表明のチェック
2005-06-11#p03 アサーションの式に出る未定義の値の処理
2005-06-11#p04 設計・実装レベルの表明の扱いの統一
2005-06-11#p05 ラッパーオブジェクトによるアサーションのチェック
2005-06-10#p02 実行時の制約検査
2005-06-09#p02 メンテナンス作業の観測
2005-06-06#p03 実行時にテスト用コードを付けたり外したり
2005-06-02#p02 動的影響波及解析
2005-06-02#p03 クラスとアスペクトを１つにしたclasspects
2005-06-01#p01 静的解析でテストケースを生成
2005-05-31#p02 差分デバッグでのエラー波及の分析
2005-05-26#p02 APIの更新に対応したリファクタリング操作の自動生成
2005-05-24#p02 コードの使い方の例を見つける
2005-05-24#p03 動的なロールのバインディング
2005-05-23#p02 Modular Reasoning な話
2005-05-23#p03 仮定の記述をアーキテクチャの図に含める
2005-05-20#p03 デザインパターンを使っても欠陥が入りにくくなったりはしないみたい
2005-05-19#p03 リファクタリング効果のCOCOMO IIでの予測
2005-05-19#p04 Fragile Base Class Problem
2005-05-19#p05 Sublclassing Contract
2005-05-16#p02 引数を実際に使ってるかどうかの分析
2005-05-04#p02 単体テストの労力とOOPのメトリクスとの相関
2005-05-04#p03 実行履歴からの Role/Collaboration の復元
2005-04-21#p02 Early Aspect アプローチの分類
2005-04-14#p02 関数の呼び出し関係の類似性を使ったコード位置の移動等の認識
2005-04-14#p03 効率的なグラフ解析ツール
2005-04-07#p03 アスペクトの状態遷移モデル
2005-04-07#p04 Join Point 情報をUMLに持たせる
2005-04-04#p04 AspectJのバイトコードをスライスする
2005-04-04#p05 未来を含むイベント列にマッチするポイントカット
2005-04-04#p06 Aspectual Caml
2005-04-04#p07 AspectJのモデル記法
2005-04-03#p02 属性ベースの(AspectJの)Join Pointで指定すると問題が起きる例
2005-04-03#p03 Pointcut記述のマッチ可能性の計算量