AlloyAlloy Analyzer チートシート（論理式の文法編）
Alloy Analyzer を使ってみようと思ってはや数ヶ月，いくつか文献を見たけど無定義で記号が使われたりしていたりでぶん投げ続けていますが，もう日本語で文献を調べるのはやめました． 初歩の初歩は でググるのが一番ですね． ということ...
Alloy
AlloyAlloyAlloy の公式ページの Tutorial やってみる 2
前回の続き． Chapter. 2 ファイルシステムを記述した例をもとに説明を行う． // A file system object in the file system sig FSObject { parent: lone Dir }...
AlloyAlloy の公式ページの Tutorial やってみる 1
Tutorial for Alloy Analyzer 4.0 和訳というほどではないですが，簡単にまとめます．元の Tutorial は こちら． いろいろ端折ったり意訳したりしてるので，参考程度で～． Chapter. 0 Approa...