A software requirements specification (SRS) is a detailed description of a software system to be developed with its functional and non-functional requirements. The SRS is developed based the agreement between customer and contractors. It is possible to document requirements using formal methods such as mathematical specifications, graphical notations or modeling languages. However, in most cases more informal or semi-formal languages are used such as natural language and flow diagrams.