IEEE Xplore - Login

Cart | Sitemap | Help

Login


	BROWSE	SEARCH	IEEE XPLORE GUIDE	SUPPORT


Article Information

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



IEEE Members

Log in by entering your IEEE Web Account Username and Password. IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.



Users at Subscribing Institutions

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.



Already Purchased This Article?

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.



Guests

• Search and access Abstract records free of charge • Register for table of contents alerts • Purchase Full Text PDF documents » Learn more about subscription options or how to become an IEEE Member.

You are not logged in.

Username

Password

» Forgot your password?

Please remember to log out when you have finished your session.

You must log in to access:
• Advanced or Author Search
• CrossRef Search
• AbstractPlus Records
• Full Text PDF
• Full Text HTML

Access this document

» Buy this document now

» Learn more about

subscription options

» Learn more about

purchasing articles

and standards

Learn more about IEEE Subscriptions

Help Contact Us Privacy & Security IEEE.org