2012-06-23から1日間の記事一覧
どう応用していいのか分からなかったので、次のサンプルを探してみる。http://www.slideshare.net/konn/alloy-analyzer-9379488 enum Boolean { true, false } enum KnightOrCrank { knight, crank } abstract sig Talk { bool: one Boolean } abstract sig …
仕様をモデル化してその関係性を洗うツールだそうで。勉強元はこれ http://thinkit.co.jp/story/2010/09/22/1766?page=0,1とりあえずチュートリアルを流そう sig User { roles:set Role } sig Role { permissions: set Permission } sig Permission {} run{}…