Code is only half the System

Chris's talk has been out there for quite a bit, but I'm clearing out my Instapaper and rediscovered it. He argues that our rigor and formal methods must extend beyond the code and into the human systems that the code models: Software is both the artifact that produces the program and the running program in the real world. If we miss either of those, we will end up in a really confused place. And…