netail.net
自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．
最近のお知らせ (古いものはこちら)
2004-09-07 古い日記からの変換データ [長年日記] ▲
_ [論文] IWPSE ▲
IWPSE2004 が無事終了．
今回の収穫（？）というか好感を持った論文は，以下の２本．
Vibha Sazawal, Miryung Kim, and David Notkin:A Study of Evolution in the Presence of Source-Derived Partial Design Representations.Proceedings of IWPSE2004, pp.21-30, Kyoto, Japan, September, 2004.
注目したソースファイルに対して，そこから抽出できる低レベルの（具体的な）情報が変更支援に役立ちます，という話．どんな型を使っているか，インスタンス化しているか，戻り値として受け取ったオブジェクトをどうキャストしているか，といった情報を抽出して提示する話．
Giuliano Antoniol, Massimiliano Di Penta, and Ettore Merlo:An Automatic Approach to identify Class Evolution Discontinuities.Proceedings of IWPSE2004, pp.31-40, Kyoto, Japan, September, 2004.
プロジェクトの履歴において，途中で現れたクラスや消えたクラスが，他のどのクラスから分割されたのか，あるいはどのクラスへ吸収されたのか，同じ実装のクラスの名前が変わったのか，といった情報をソースコードのベクトル表現から角度を求めて推定するという話．
_ それから，引用するかも（？）文献として１本． ▲
Nguyen Truong Thang, Takuya Katayama:Handling Consistency of Software Evolution in an Efficient Way.Proceedings of IWPSE2004, pp.121-130, Kyoto, Japan, September, 2004.
基本はソフトウェアの変更に対してP で成立する性質 p が，変更を加えた P+E でも成り立つかCTL logic を使って調べよう，というもの．
変更として，feature-based software に注目していて，いくつかのプロダクトファミリで同じ性質が保持され続けるか，といった検査に使うのかな，というところ．アスペクトによってプログラムが壊れないかの検査にも使えそう．
