142
Voted
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...