Btw Peter Nair's "programming as theory building" is the best description of this approach I know of.