«前の日記(2005-06-09) 最新 次の日記(2005-06-11)» 編集

netail.net

自作フリーソフトや,ゲームに関する雑記を公開してます.
日記はソフトウェア工学の論文ネタが中心です.

最近のお知らせ (古いものはこちら)


2005-06-10 [長年日記]

_ [授業] 3年のゼミ

資料の作り方が,良い人はだいぶ良くなってきた感じ.本文の不要な冗長な表現も適度にカットできていて,初期の頃よりは発表も聞きやすかった.でも,まだ用語の把握が怪しいけど.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のモデル変数などに比べると,イベント列を簡単に書けそうな気はする.

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

お名前:
E-mail:
右の画像に書かれている文字列を入力してください:
コメント: