During this module, we explore prerequisites engineering as well as procedures by which necessities are elicited and described formally by way of a procedure known as elaboration (which will involve derivation and decomposition of decreased-level specifications from their mum or dad prerequisites). We also glance During this module at some simple p