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センター関係者向けの勉強会です。