netail.net

_ [論文]表明のOOPでの利用 ▲

M. Satpathy, N.T. Siebel, D. Rodriguez:Assertions in Object Oriented Software Maintenance: Analysis and a Case Study.Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), pp.124-133, Chicago, September 2004.

オブジェクト指向プログラムで，アサーションがどのように使われているかを調査し，またアサーションがソフトウェアの変更のときにどのように変わるか（リファクタリング時にコピーされるなど）を調べた論文．

基本的には，クラス内の特性として，

・クラス不変表明

・メソッドの事前条件としての入力値の範囲，複数の入力の一貫性，オブジェクトの状態の検査

・事後条件としての，戻り値の範囲，戻り値と引数の関係，オブジェクトの状態（副作用の禁止など含む）の検査

クラス間の関係として，

・派生クラスに対する Liskov の置換原則

・オブジェクト間の相互参照関係のチェック

そのほか，

・バグ調査での利用

・システム間のインタフェースでの入出力値が正しいか

・設計と実装の対応が取れているかなど．

これらを踏まえた上で，リファクタリング作業時に（できれば自動で）適切な assert 文のコピーや移動をしたいらしい．

_ [PptWatch] PptWatch 1.0.1 公開 ▲

各スライドごとに消費した時間を解析していたのに加えて，１枚目から累計で消費した時間も表示するように変更しました．修論・卒論の発表練習にどうぞ．

PptWatch公開ページからダウンロード可能になっています．

発表の練習をするとき，発表時間が足りないからといって早口で喋ってしまうと，どこを削っていいか分からなかったりするので，普通のペースで喋ってみて，長くかかってる部分を削るという使い方が推奨です．

_ [OUCC] MAngband 鉄人風サーバ ▲

一部の人の要望を受けて，死んだらキャラクター消滅のサーバを動かしてみた．ネットワークエラーとかで身動き取れないときとか，あるいは階段下りた直後に集中砲火で死んだりした場合は，残念でしたということで．

_ [hyCalendar][お知らせ] hyCalendar 1.5.1 リリース ▲

お待たせしていましたが，1.5.1 をリリースしました．今回は UI 関連の細かい修正を色々と含めているので，変更内容のリストは 1.0 リリース以来の長さになっています．バージョンアップの際はデータのバックアップをお忘れなく．

今回の大きな変更は，タスクトレイのサポートです．最小化でタスクトレイに格納され，アイコンの左クリックで復帰できるようになりました．有効にするためのオプションは設定ダイアログの「システム設定」タブにあります．オプション設定については，いくつかのタブの名前が変わったり，項目の名前や配置順序が変わっています．

また，ポップアップウィンドウの振る舞いを変更しています．子ウィンドウを表示したら親ウィンドウ側を時間経過では閉じないようにするとか，ウィンドウの表示を安定させる方向で修正しています．巨大なポップアップウィンドウに画面を占有されて困った場合は，ESC キーで閉じてやってください．

一方で，hyCalendar では初の(?)機能削除として，日付内にあるURLを，日付枠の下側にラベルとして列挙するオプションがなくなりました．URLにはポップアップウィンドウか，コンテキストメニューからアクセスしてください．