A domain analysis should include: Requirements Machine specifications Domain properties Domain assumptions Definitions of key terms