Planning for software manufacturing

It is argued that software is actually a hybrid at the intersection of two fundamentally different domains: the purely concrete plane of everyday physical, tangible experience and the purely abstract plane of intangible thought. The concrete plane is governed by well-understood laws of physics, and the abstract domain by its own laws of mathematics and logic. However, since software is a hybrid, the intersection of these two radically different domains, it does not fully abide by either set of laws. A high-level plan for winning the software industrial revolution is proposed. It is argued that it is necessary to deploy explicit specification tools, and new and largely unexplored kinds of tools. Their function is to gauge compliance between a given implementation of some part and the abstract specification of that part