Documents include: Formal Business Requirements Document, Functional Design Document, Technical Design Document, Technical Use Cases, User stories, Business Cases, Requirements Traceability Matrix, Test cases