SE450
:
Analysis Phase
[4/76]
Functional Specification
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
