-
Notifications
You must be signed in to change notification settings - Fork 0
All Models
Nuno Macedo edited this page Sep 22, 2019
·
3 revisions
- Company human resources synchronization (minimal)
- Elevator system SPL
- Expand/collapse hierarchical state machines
- Fox, goose and bag of beans puzzle
- Heavy chair problem
- Hotel room locking system (fixed configurations)
- Hotel room locking system (free configurations)
- Hybrid ERTMS/ETCS Level 3
- I am my own grandpa (Alloy)
- Least-change lenses specification
- OLAP Cube usage preferences
- Object-relational mapping (with associations/keys)
- Object-relational mapping (without associations/keys)
- PTCRISync synchronization framework
- Peterson's mutual exclusion algorithm
- Ring leader election algorithm
- SPL development (minimal)
- Slowly changing dimension ETL pattern
- Spanning tree algorithm