What is software?:
This paper is an updating of a paper previously published in Automated Software Engineering, entitled “What is Software?” [Osterweil 2008]. That previous paper, written over five years ago, made a case for the importance of understanding the essence of what “software” is, noting that computer software is one of a number of different kinds of intellectual products that can and should be considered to be closely related to each other. The paper noted that laws, processes, and recipes all seem to be closely related in fundamental ways to computer software, and suggested that all might be considered to be subtypes of a type of intellectual product that might be called “software”. That being the case, the earlier paper suggested that studying any of these might well produce results of interest and value to the others, and studying the relations among these types of artifacts might ultimately provide insight into the fundamental nature of the type of thing of which all might be considered to be subtypes.
- [Breaux and Anton 2008]T. D. Breaux and A.I. Anton, “Analyzing Regulatory Rules for Privacy and Security Requirements,” IEEE Trans. on Software Engineering, v. 34, #1, 2008, pp. 5-20.Google Scholar
- [Chen et.al 2008]B. Chen, L.A. Clarke, G.S. Avrunin, L.J. Osterweil, E.A. Henneman, and P.L. Henneman, “Analyzing Medical Processes”, ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 623-632.Google Scholar
- [Clarke et.al 2008]L.A. Clarke, G.S. Avrunin, and L.J. Osterweil, “Using Software Engineering Technology to Improve the Quality of Medical Processes”, ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 889-898Google Scholar
- [Georgakopoulos et.al. 1995]D. Georgakopoulos, M. F. Hornick, and A. P. Sheth, “An overview of workflow management: From process modeling to workflow automation infrastructure”, Distributed and Parallel Databases, v.3, # 2, 1995, pp. 119-153.Google Scholar
- [Naur and Randell 1968]P. Naur and B. Randell, eds., Software Engineering, Report on a conference sponsored by the NATO SCIENCE COMMITTEE, Garmisch, Germany, 7-11 October 1968. Scientific Affairs Division NATO, Brussels, Belgium. Also available at http://homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1968.PDF.
- [Osterweil 1987]Leon J. Osterweil, “Software Processes are Software Too”, ACM SIGSOFT/IEEE 9th International Conference on Software Engineering (ICSE 1987), Monterey, CA, March 1987, pp. 2-13.Google Scholar
- [Osterweil 1997]Leon J. Osterweil, “Software Processes Are Software Too, Revisited”, ACM SIGSOFT/IEEE 19th International Conference on Software Engineering (ICSE 1997), Boston, MA, May 1997, pp. 540-548.Google Scholar
- [Osterweil 2008]Leon J. Osterweil, “What is Software?”. Automated Software Engineering 15 (3-4), pp. 261-273 (2008).Google Scholar
- [Parnas 1997]D.L. Parnas, “Software Engineering: An Unconsummated Marriage”, Communication of the ACM, v.40, #9, 1997, p. 128.Google Scholar
- [Sergot et.al. 1986]Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., and Cory, T., "The British Nationality Act as a Logic Program", in Communications of the ACM, v. 29, #5, 1986, pp. 370-386.Google Scholar
- [Simidchieva et.al. 2008]B.L. Simidchieva, M.S. Marzilli, L.A. Clarke, and L.J. Osterweil, “Specifying and Verifying Requirements for Election Processes”, in dg.o 2008: Proceedings of the 9th Annual International Conference on Digital Government Research (2008), S. A. Chun, M. Janssen, and J. R. Gil-Garcia, (eds.), Digital Government Society of North America, pp. 63-72.Google Scholar
<SimplePara><Emphasis Type="Bold">Open Access</Emphasis> This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.</SimplePara> <SimplePara>The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.</SimplePara>