Doorkeeper

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

2013-08-06(火)19:00 - 21:00 JST

ITプランニング様

愛知県名古屋市昭和区福江2丁目9番33号nabi/白金244号室

詳細

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

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

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

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

コミュニティについて

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

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

書籍「抽象によるソフトウェア設計 - Alloy ではじめる形式手法 -」を中心にして、Alloyによるモデル検査をみんなで勉強します。 ちなみにこのコミュニティのロゴは下記のAlloyのコードの5番目のインスタンスです。 sig Person{ liveIn: Place, love: some Language } abstract sig Place {} one...

メンバーになる