Planning for software manufacturing
Cox, B.J.
Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International
Volume , Issue , 20-22 Sep 1989 Page(s):331 - 332
Digital Object Identifier 10.1109/CMPSAC.1989.65103
Summary: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
View citation and abstract |