Analysis Phase

• Completely defines tasks to be solved
• Free from internal contradictions
• Readable both by domain experts and software developers
• Reviewable by diverse interested parties
• Testable against reality