«前の日記(2006-05-20) 最新 次の日記(2006-05-29)» 編集

netail.net

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

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


2006-05-27 [長年日記]

_ [ツール] bddbddbの使い方

Java コードを joeq/bddbddb で解析したいーという人向けに,how to use bddbddb for java software analysisというメモ書きを作ってみました.日本語・英語両方あります.

急いで書いたんで間違いがなければいいですが.何か発見されたら,ご連絡ください.

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