Useful Notes
- Short Introduction to logic (tihis is a quick introduction or maybe better to say review on logic and the terminology used out there!)
- UML 2 State Machine Diagramming Guidelines
- Preorders, Partioal Orders and Equivalence Relation.
- Simulation Preorder and Bisimilarity
- What is a Model from Formal Perspective?
- Categorical Patterns
- Being Abstract is not always being imprecise
- Observer Design Pattern
- Decorator Design Pattern