During this module, we examine specifications engineering as well as the procedures by which necessities are elicited and outlined formally through a system named elaboration (which requires derivation and decomposition https://www.rotate4all.com/ptp/promote-128469