LLMs on the rails: adopting constraints in software design

I show how capturing constraints—preconditions, postconditions, and invariants—in a visual software model makes it easy to see that your design follows your problem's rules. It also helps an AI-augmented coding assistant to generate code, tests, and assertions that ensure your software does the right thing. The design tool in this video is Axminster, which you can find in the Mac App Store: https://apps.apple.com/app/id6793065447