A formal study, often taking several months, of the logical and physical design needed to fulfill the business requirements definition. This report often includes a data model diagram, a data flow diagram, input and output screens, and use cases.