Explore the pivotal role of a Software Requirements Specification (SRS) document in enhancing communication, ensuring agreement, and minimizing errors in software development. Delve into the complexities of formal modelling versus SRS.