Programming as Theory Building

Building models and solutions in software is not just about programming. We will review Peter Naur's classic paper. This classic article from 1985 anticipated many of the concepts that are in common use in the industry today. There are other interest...