This strongly resonates with Naur's brilliant "Programming as Theory Building". Unfortunately what seems to be the main site for it (http://www.zafar.se/bkz/Articles/NaurProgrammingTheory) is down.