Abstract
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
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
