In this particular module, we discover requirements engineering as well as procedures by which necessities are elicited and described formally via a system called elaboration (which includes derivation and decomposition https://www.rotate4all.com/ptp/promote-128469