技術をかじる猫

適当に気になった技術や言語、思ったこと考えた事など。

2012-06-23から1日間の記事一覧

AlloyAnalizer の基礎構文を見たところで

どう応用していいのか分からなかったので、次のサンプルを探してみる。http://www.slideshare.net/konn/alloy-analyzer-9379488 enum Boolean { true, false } enum KnightOrCrank { knight, crank } abstract sig Talk { bool: one Boolean } abstract sig …

AlloyAnalizer をちまちま使ってみる

仕様をモデル化してその関係性を洗うツールだそうで。勉強元はこれ 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{}…