learning Alloy

I've been an on-and-off user of Alloy for several years now, but after switching teams at NoRedInk I decided to start modeling all our new projects in it and teaching my colleagues how to as well. This has been really interesting work! Modeling with Alloy has frequently meant finding out about edge cases in our thinking (or in some cases, finding out we were totally wrong.)


What does expect 1 mean in Alloy?, January 30, 2023
The Value of a Model is More Making than Having, January 9, 2023
Modeling Database Tables in Alloy, January 2, 2023
Alloy, December 12, 2022