netail.net

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

2003-08-29 古い日記からの変換データ [長年日記] ▲

Java Modeling Language 関連の論文を調べるべく，JML の公式サイトから論文を手当たり次第ダウンロード．出張中に消化できたらいいなぁ，くらいに考えておく．http://www.cs.iastate.edu/~leavens/JML.html