Practice of various design patterns and design choice. Each Lab follows priciple of Design by Contract and all the contracts are inside doc folder of each lab
The programming language used to achive this task is Eiffel (https://en.wikipedia.org/wiki/Eiffel_(programming_language)) and all documentation regarding it can be found at (http://eiffel-guide.com/).