The following are selected specifications documents from a real world project for a high performance genomic search tool. They are examples of reasonable quality documents.
Non-functional specifications
Specification
of part of the system to read the data before the main processing starts.
Specification of inputs to the system
Specification
of how errors are to be handled.
Use cases.