「メモ/イベント駆動」の編集履歴(バックアップ)一覧はこちら
「メモ/イベント駆動」(2009/05/30 (土) 11:00:29) の最新版変更点
追加された行は緑色になります。
削除された行は赤色になります。
*文献
-[[Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems>http://eprints.eemcs.utwente.nl/15346/]], Empirical Software Engineering 2009