netail.net

_ [授業] ３年のゼミ ▲

資料の作り方が，良い人はだいぶ良くなってきた感じ．本文の不要な冗長な表現も適度にカットできていて，初期の頃よりは発表も聞きやすかった．でも，まだ用語の把握が怪しいけど．configuration management をどう説明するかで悩んだが，とりあえずビルド用のファイル構成の管理あたりについて説明．

余った時間は微妙に雑談．Free BSDか何かの上でちょっとしたGUIをJavaで作ろうとしているらしい．X Window とかのことはまったく知らなかったらしいので，標準でGUIライブラリが付いてるJavaに流れたらしい．標準ライブラリの影響は大きいのかもしれない．

_ [論文][work] 実行時の制約検査 ▲

Marcelo d'Amorim, Klaus Havelund: Event-Based Runtime Verification of Java Programs.

Proceedings of of Workshop on Dynamic Analysis (WODA 2005), St. Louis, MO, USA, May 2005.

実行をイベント列としてとらえたとき，それが制約を満たしているかどうかをチェックする．Always ( b.put(o) Eventually ( b.get() == o ) )といった感じの記述から，それを検査するための監視アスペクトと，状態機械としてイベント発生を記憶するクラスを生成する．JMLのモデル変数などに比べると，イベント列を簡単に書けそうな気はする．

とりあえず表明ネタ用の関連研究として引用リストに入れておく．