ISO/IEC/IEEE 42010:2011
https://www.sebokwiki.org/wiki/Guide_to_the_Systems_Engineering_Body_of_Knowledge_(SEBoK) https://www.omgwiki.org/MBSE/doku.php
User needs analysis defines why.
Requirements state what the system must do.
Specifications detail how this is done.