第3回ソフトウェア工学勉強会(8/2開催)[終了]

2012年8月2日(水)に開催された第3回ソフトウェア工学勉強会には26名が参加し、活発な議論が行われました。

次回は9月19日(木)19:00からを予定しています。

勉強会概要
日時:
2012年8月2日(水) 18:30~21:30
会場:
国立情報学研究所 20階 ミーティングルーム1・2(2009, 2010)
テーマ:
形式手法の実践
プログラム
[講演1]シンボリック実行ツールKLEEによるC/C++プログラム検証/徳本
[講演2] 実証実験から見る開発現場への形式手法適用/植木
[講演3] 時相論理勉強会~LTLとCTL~/細川

[ライトニングトーク]
SQL Antipatterns 読書会のご案内/新居
いろいろ宣伝&アンケート/石川

※本勉強会は、トップエスイー関係者、およびGRACEセンター関係者向けの勉強会です。