Refinement
Wednesday, February 03, 2010
12:53 PM
Eclipse is particularly suitable to top-down coding via top-down stepwise refinement. 
Special comment 
// TODO: … 
Puts a task onto your TODO list. 
Eclipse sets up bindings, and then tracks their correctness. 
Example: eclipse knows that every interface that extends RemoteServer needs a corresponding Async interface!