4 ms·
I think it's very insteresting the potential sinergy between DDD and formal modeling languages. Personally I've used TLA+ and PlusCal for modeling complex syste
by trankitron 4y ago
I think it's very insteresting the potential sinergy between DDD and formal modeling languages. Personally I've used TLA+ and PlusCal for modeling complex systems and find difficult issues like concurrency problems.
Do you know how Alloy and TLA+/PlusCal compare?