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.)
Updates
- 2023
- 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
- 2022
- Alloy, December 12, 2022