The business analyst (BA) at Universal Containers is meeting with business leaders to elicit and document functional requirements specifications related to its new Salesforce implementation. The BA will also document the functionality this system should provide so it can be developed into a work item. What is the name of this documentation type?