Recalibration of mental models in Software Engineering.
1 min readMar 6, 2019
I’ve recently tipped my toe on a few topics regarding our conceptual models around the systems we build and have decided to share with you what I’ve learned. I’m going to try and define each one of these tools using my own words. If I can get you to understand the gist of each one, perhaps you’ll be able to identify uses for them in your own projects.
My definitions will by no means be exhaustive as I’m prioritizing simplicity over correctness. Bottom-line: read at your own peril.
This will be a series of six parts.
- Part 1: Property-based Testing (example).
- Part 2: clojure.spec and test.check. (WIP)
- Part 3: Alloy. (WIP)
- Part 4: TLA+. (WIP)
- Part 5. Fuzzying. (WIP)
- Part 6. Chaos Engineering. (WIP)
- Conclusion. (WIP)
