名古屋Alloy(モデル検査の方) #1

名古屋のみんなでAlloyの勉強をします。

• 進め方
  書籍「抽象によるソフトウェア設計 - Alloy ではじめる形式手法 -」[http://www.amazon.co.jp/dp/4274068587] の練習問題を各自で解きながら、分からないところを詳しい人に教えてもらう形を考えています。
  Alloyって何か知らない人や本は買ったけど早々に諦めた人も歓迎です。親切に教えてくれる人がいます。

• 場所
  会場は参加人数によりますが、ITプランニング様を予定しています。でも、どこかでご飯食べながらになるかもしれません。希望があれば教えてください。

• 日付
  とりあえず8/6(火)にしましたが、別の日がいい人はお知らせください。