Software

We understand software innovation as concerned with introducing innovation into the development of _software intensive systems_, i.e. systems in which software development and/or integration are dominant considerations. Innovation is key in almost any strategy for competitiveness in existing markets, for creating new markets, or for curbing rising public expenses, and software intensive systems are core elements in most such strategies. Software innovation therefore is vital for about every sector of the economy. Changes in software technologies over the last decades have (...) opened up for experimentation, learning, and flexibility in ongoing software projects, but how can this change be used to facilitate software innovation? How can a team systematically identify and pursue opportunities to create added value in ongoing projects? In this paper, we describe Deweyan pragmatism as the philosophical foundation for _Essence _– a software innovation methodology – where unknown options and needs emerge as part of the development process itself. The foundation is illustrated via a simple example. (shrink)

We propose using random walks in software space as abstract formal models of biological evolution. The goal is to shed light on biological creativity using toy models of evolution that are simple enough to prove theorems about them. We consider two models: a single mutating piece of software, and a population of mutating software. The fitness function is taken from a well known problem in computability theory that requires an unlimited amount of creativity, the Busy Beaver problem. (Talk given Friday (...) October 10, 2008 at the IBM Watson Research Center in Yorktown Heights, NY. The author wishes to thank his colleagues Charles Bennett and David DiVincenzo for their helpful comments.). (shrink)

The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.

A new form of software piracy known as digital piracy has taken the spotlight. Lost revenues due to digital piracy could reach $5 billion by the end of 2005.Preventives and deterrents do not seem to be working – losses are increasing. This study examines factors that influence an individual’s attitude toward pirating digital material. The results of this study suggest that attitude toward digital pirating is influenced by beliefs about the outcome of behavior (cognitive beliefs), happiness and excitement (affective beliefs), (...) age, the perceived importance of the issue, the influence of significant others (subjective norms), and machiavellianism. Given these results, measures can be developed which could alter attitudes toward digital piracy. (shrink)

This commentary on John Symons’ and Jack Horner’s paper, besides sharing its main argument, challenges the authors’ statement that there is no effective method to evaluate software-intensive systems as a distinguishing feature of software intensive science. It is underlined here how analogous methodological limitations characterise the evaluations of empirical systems in non-software intensive sciences. The authors’ claim that formal methods establish the correctness of computational models rather than of the represented programme is here compared with the empirical adequacy problem typifying (...) the model-based reasoning approach in physics, and the remark that testing all the paths of a software-intensive system is unfeasible is related to the enumerative induction problem in the justification of empirical law-like hypotheses in non-software intensive sciences. (shrink)

This paper takes part in the methodological debate concerning the nature and the justification of hypotheses about computational systems in software engineering by providing an epistemological analysis of Software Testing, the practice of observing the programs’ executions to examine whether they fulfil software requirements. Property specifications articulating such requirements are shown to involve falsifiable hypotheses about software systems that are evaluated by means of tests which are likely to falsify those hypotheses. Software Reliability metrics, used to measure the growth of (...) probability that given failures will occur at specified times as new executions are observed, is shown to involve a Bayesian confirmation of falsifiable hypotheses on programs. Coverage criteria, used to select those input values with which the system under test is to be launched, are understood as theory-laden principles guiding software tests, here compared to scientific experiments. Redundant computations, fault seeding models and formal methods used in software engineering to evaluate test results are taken to be instantiations of some epistemological strategies used in scientific experiments to distinguish between valid and non-valid experimental outcomes. The final part of the paper explores the problem, advanced in the context of the philosophy of technology, of defining the epistemological status of software engineering by conceiving it as a scientifically attested technology. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

In this paper, we will address anonymity, privacy and trust issues that arise during the research on a communication platform for multi-modal transport. Though most logistic information is currently available in electronic form, it is not widely accessible yet to all the parties concerned with transport. The major goal of a communication platform is to improve the conditions for exchanging information, which should lead to better organisation/collaboration within the transport sector. We need to merit credibility by faithfully modelling all the (...) relevant real world interactions. Therefore, we opted for a connectivity solution in which software agents act as representatives of the parties involved. All agents can be equipped with human-like skills and qualities such as intelligence, autonomy, and the ability to cooperate, coordinate and negotiate. We will demonstrate how cooperation between different transport parties can be achieved without necessarily putting all the sensitive information on the web. (shrink)

A mass balance based model has been derived to represent the dynamical behavior of the ecosystem contained in an anaerobic digester. The model considers two bacterial populations: acidogenic and methanogenic bacteria. It forms the basis for the design of a software sensor considering both a model of the biological system and on-line gaseous measurements. The software sensor computes the concentration of inorganic carbon and volatile fatty acids (VFA) in the digester. Another software sensor is dedicated to the estimation of the (...) bacterial biomasses. The predictions of the software sensors for a real experiment are very close to the actual off-line measurements. The software sensors monitor the accumulation of VFA and thus very early detect a destabilization of the digester due to overloading. The presented methodology demonstrates the usefulness of advanced monitoring techniques for an improved understanding of the internal working of a biological system. (shrink)

This paper explores the specific questions raised for social epistemology encountered in code and software. It does so because these technologies increasingly make up an important part of our urban environment, and stretch across all aspects of our lives. The paper introduces and explores the way in which code and software become the conditions of possibility for human knowledge, crucially becoming computational epistemes, which we share with non-human but crucially knowledge-producing actors. As such, we need to take account of this (...) new computational world and think about how we live today in a highly mediated code-based world. Nonetheless, here I want to understand software epistemes as a broad concept related to the knowledge generated by both human and non-human actors. The aim is to explore changes that are made possible by the installation of code/software via computational devices, streams, clouds or networks. This is what Mitcham calls a ?new ecology of artifice?. By exploring two case studies, the paper attempts to materialise the practice of software epistemologies through a detailed analysis. This analysis is then drawn together with a notion of compactants to explore how studying tracking software and streams is a useful means of uncovering the agency of software and code for producing these new knowledges. (shrink)

-/- In this article I deal with the question “How could we renew and enrich computer technology with Kant's help?”. By this I would like to invite computer scientists and engineers to initiate or intensify their cooperation with Kant experts. -/- What I am looking for is a better “method of definition” for software systems, particularly for the development of object-oriented and knowledge-based systems. -/- After a description of the “software crisis”, I deal first with the question why this crisis (...) could not yet be overcome. A way out of this software crisis can be expected from systems which are adapted to the human faculty of thinking. I show which foundation is in my opinion necessary and sketch the principles according to which a “human-centred” method of definition for sych systems could be developed on that foundation with Kant's help. (shrink)

The article reports findings of a study conducted to explore the cognitive moral logics used for considering software piracy as ethical or unethical. Since the objective was to elicit the moral logics from the respondents, semi-structured in-depth interviews of 38 software professionals of India were conducted. The content of the interviews was analyzed using the grounded theory framework which does not begin with constructs and their interlinkages and then seek proof instead it begins with an area of study and allows (...) them to emerge from that area of study. Given the objective of exploring moral logics, grounded theory seemed an appropriate choice. Results revealed that 21 respondents considered software piracy unethical whereas 17 did not. Though economic reasons formed the most fundamental logic in both the cases, an overall analysis revealed that the respondents mostly used moral justification (neutralization) for not considering software piracy unethical whereas those considering it unethical used normative (principled) logics. The interconnections among logics are analyzed and results are discussed along with the limitations of the study. (shrink)

This paper shows the relevance of hermeneutic philosophy to understand how info­communication technologies frame our contemporary lifeworld. It demonstrates that the programming languages are the result of collective interpretations of the general lifeworld of programmers, management and political decision-makers. By having been inscribed into the processes of language use, this general interpretation permeates the particular practices of understanding that are possible within the language framework.

In this section, we will start with an influential attempt to define `intelligence', and then we will move to a consideration of how human intelligence is to be investigated on the machine model. The last part of the section will discuss the relation between the mental and the biological.

Software agents that play a role in E-commerce and E-government applications involving the Internet often contain information about the identity of their human user such as credit cards and bank accounts. This paper discusses whether this is necessary: whether human users and software agents are allowed to be anonymous under the relevant legal regimes and whether an adequate interaction and balance between law and anonymity can be realised from both the perspective of Computer Systems and the perspective of Law.

Approximately 48 hours ago, knowing that I would, Lord willing, be stand- ing here on this podium two days hence, I tapped http://www.fsf.org into Safari in order to begin learning at least something about the Free Software Movement (FSM). My online education has been augmented by many propo- nents of FSM in attendance at this conference, including Richard Stallman. What I have learned is that this movement is populated by a lot of seem- ingly well-intentioned people who are, at least (...) for the time being, utterly irrational, or worse. In wanting to point out why logic has heretofore been lost on the folks in question, I find within my command an embarrassment of riches. The five minutes at my disposal here is slim indeed, but nonetheless sufficient to reveal the untenability of FSM to those not gripped by an ide- ology: I shall mention here just a needle of fatal truth from the vast supply before me. (shrink)

The emerging concern about software piracy and illegal or unauthorized use of information technology and software has been evident in the media and open literature for the last few years. In the course of conducting their academic assignments, the authors began to compare observations from classroom experiences related to ethics in the use of software and information technology and systems. Qualitatively and anecdotally, it appeared that many if not most, students had misconceptions about what represented ethical and unethical behaviors in (...) these realms. Clearly, one can argue that if college students are uncertain about what constitutes appropriate and inappropriate behavior then this uncertainty will be carried forward into their workplaces upon graduation. Furthermore, if their workplaces don't provide ethics training as a component of a new employee orientation program, one can project a potential for unintentional violations and infringements of copyrights and law in the field. This study was conducted among graduate and undergraduate students to gain insight into their attitudes, perceptions and understanding of some of the relevant ethics issues. A questionnaire of 11 statements was employed that described ubiquitous but most likely unethical (or surely dubious) behaviors in the prevailing business and academic environments. Each respondent was asked to evaluate each statement twice (once for “self” and once for “colleague”) on a five-option highly ethical (5) to neutral (3) to highly unethical (1) scale. The statements were worded such that lower instrument score was associated with higher ethical responses. The questionnaire's two-part structure was designed to solicit honest answers. The encouraging learning from this study was that the overall sample and its various sub-samples did not consider any of the eleven behaviors to be “ethical” or “highly ethical.” It was also encouraging to note that the overall sample and all sub-samples considered “highly unethical” those behaviors associated with personal privacy or property or outright theft. This indicated that moral judgment and probity prevail. The discouraging learning was that behaviors associated with the use of enterprise property were viewed as “neutral” i.e., neither “ethical” nor “unethical.” These findings suggested confusion and lack of clarity and definition around workplace deportment as it regards ethics in software and information technology use. The current study suggests that additional research needs to be conducted to define and clarify the issues, which in turn can form the basis for programs to rectify or at least ameliorate the situation. (shrink)

The purpose of this paper is to address the question of whethercomputer source code is speech protected by the First Amendmentto the United States Constitution or whether it is merelyfunctional, a ``machine'', designed to fulfill a set task andtherefore bereft of protection. The answer to this question is acomplex one. Unlike all other forms of ``speech'' computer sourcecode holds a unique place in the law: it can be copyrighted, likea book and it can be patented like a machine or process.Case (...) law, intellectual property law and encryption exportregulations all reflect this contradictory dichotomy. (shrink)

Scholar X, who would recoil at the thought of shoplifting a ballpoint pen from the campus bookstore, does not hesitate to copy software sold for thousands of dollars--without paying for it. Is there something morally wrong with X's action? If so, what is wrong, and why? This microcosmic moral problem has its counterparts on the level of billion-dollar industries, national defense, and international commerce. At stake is access to crucial information and technology, on the one hand, counterpoised against whatever incentives (...) are optimal for stimulating the work of authors and developers, on the other. On the principle that the ethics of property becomes determinate only in the context of a specific legal system, I approach these issues by examining current U.S. legal practice in the protection of software ownership. At present in the United States there are chiefly three relevant legal mechanisms: copyright, trade secrecy, and patent. Two of these are given a clear rationale by the Constitution: "to promote the progress of science and useful arts, by securing for limited times to authors and inventors the exclusive rights to their respective writings and discoveries" . Accordingly, we may understand the U.S. intellectual property system as rule-utilitarian in its ethical basis. That is, to maximize utility in the form of scientific and technological progress, the system offers temporary monopoly to "authors and inventors" as an incentive toward such progress. As an exemplar of the issues, I examine in detail the Supreme Court decision Gottschalk v. Benson, which concludes that algorithms are not patentable. I then discuss Deborah Johnson's argument for modest policy of no-ownership of algorithms. I conclude that neither has made a convincing case and that there is no good reason to exclude algorithms as a class from patent protection and accordingly, from ethical prohibitions against theft. I relate this particular controversy to the larger issue of property rights in scientific discovery as this issue emerges out of the rise of modern science in the seventeenth century, and becomes problematic in a new way with contemporary technological developments. (shrink)