PatrickShaw

A weather app :sunny: :umbrella: :cloud: for an object oriented architecture and design university assignment.

A repository that contains some of the code written for university exercises.

A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.

A streamlined prototype solution for Allocate+ class clashes/swapping.

Violence Reporting App