This book engages directly in close readings of technical texts and computer code in order to show how software works. It offers an analysis of the cultural, political, and philosophical implications of software technologies that demonstrates the significance of software for the relationship between technology, philosophy, culture, and society.

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices (...) which correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision (...) of human epistemic states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

Software piracy, the illegal and unauthorized duplication, sale, or distribution of software, is a widespread and costly phenomenon. According to Business Software Alliance, over 41% of the PC software packages installed worldwide were unauthorized copies. Software piracy behavior has been investigated for more than 30 years. However, after a review of the relevant literature, there appears to be two voids in this literature: a lack of studies in non-Western countries and a scarcity of process studies. (...) This study contributes to literature by developing a software piracy model to better understand the decision-making process that underlies this unethical behavior. The model was tested using data collected from a sample of 323 undergraduate business students. Consistent with the Theory of Reasoned Action, attitudes toward software piracy and subjective norms were significant predictors of intention to pirate software. Also, the results suggested that ethical ideology, public self-consciousness, and low self-control moderated the effect of these variables on intention to pirate software. The results have important practical implications for the software industry and governments hoping to curtail software piracy. Limitations of the study and recommendations for future studies are discussed as well. (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)

The significance of the study is contingent upon two criteria. All objects in the actual world that can capture a researcher’s attention are inherently complicated. Furthermore, every commodity that an individual manufactures and every work of art that an individual develops are intricate in nature. The entirety of the processes that an individual perceives and instigates are intricate. Although many professions have established techniques for constructing intricate entities, there currently exists no universally applicable concepts or methodologies for comprehensively studying, designing, (...) producing, or generating complicated items.The objective of this work is two-fold: firstly, to develop a comprehensive methodology for analysing complex synthetic processes, and secondly, to propose universal models or synthesis mechanisms that can be used to systematically derive specific process synthesis algorithms for various practical applications. The ability to utilize generalized models and synthesis techniques is highly advantageous when designing realistic computer programming.The authors introduced a comprehensive process model and enumerated its characteristics. Using this concept, techniques for creating and suggesting processes have been formulated and put forward. The concept of a decomposition diagram enables the systematic design of intricate multi-level hierarchical processes. The multitude of processes and the intricacy of their combination give rise to the notion of formulating a synthesis theory. The acquired results can be regarded as the initial stage in the construction of such a theory. The authors’ proposed methods of process synthesis enable the deductive derivation of useful algorithms for application software. Although the concept of the breakdown scheme and synthesis procedures is relatively straightforward, this advancement has been suggested for the first time.In order to further this project, it is necessary to augment the generalized process model with supplementary traits and properties, as well as to further refine the synthesis procedures. A proposal is being made to initiate the development of a theory for synthesizing a comprehensive plan using the decomposition scheme and methods of synthesis and decomposition. (shrink)

Accompanying the explosive growth of information technology is the increasing frequency of antisocial and criminal behavior on the Internet. Online software piracy is one such behavior, and this study approaches the phenomenon through the theoretical framework of neutralization theory. The suitability and applicability of nine techniques of neutralization in determining the act is tested via logistic regression analyses on cross-sectional data collected from a sample of university students in the United States. Generally speaking, neutralization was found to be (...) weakly related to experience with online software piracy; other elements which appear more salient are suggested and discussed in conclusion. (shrink)

As software piracy continues to be a threat to the growth of national and global economies, understanding why people continue to use pirated software and learning how to discourage the use of pirated software are urgent and important issues. In addition to applying the theory of planned behavior (TPB) perspective to capture behavioral intention to use pirated software, this paper considers perceived risk as a salient belief influencing attitude and intention toward using pirated software. (...) Four perceived risk components related to the use of pirated software (performance, social, prosecution and psychological risks) have been identified, measured and tested. Data were collected through an online survey of 305 participants. The results indicate that perceived prosecution risk has an impact on intention to use pirated software, and perceived psychological risk is a strong predictor of attitude toward using pirated software. In addition, attitude and perceived behavior control contribute significantly to the intended use of pirated software. However, the proposed direct relationship between subjective norm and intention to use pirated software is not supported. Implications for research and practice are discussed. (shrink)

Software piracy has become recognized as a major problem for the software industry and for business. One research approach that has provided a theoretical framework for studying software piracy has been to place the illegal copying of software within the domain of ethical decision making assumes that a person must be able to recognize software piracy as a moral issue. A person who fails to recognize a moral issue will fail to employ moral decision making (...) schemata. There is substantial evidence that many individuals do not perceive software piracy to be an ethical problem. This paper applies social exchange theory, in particular equity theory, to predict the influence of situational factors on subjects' intentions to participate in software piracy. Consistent with the predictions of equity theory this study found that input and outcome situational variables significantly effect a person's intentions to commit software piracy. (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 studies the structure of semantic theories over modular computational systems and applies the algebraic Theory of Institutions to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of ∑‐models mapped from the category (...) Th of ∑‐theories and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions INS, where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in INS at any level occurs iff the same morphism occurs at the lower level alongside the Th hierarchy. (shrink)

For successful project outcomes to organizations and clients alike, project managers (PMs) need to make ethical decisions and yet balance the interests of all stakeholders involved. Hence, honest communication among project stakeholders is essential as a countermeasure to this paradox. Honesty is one of the core ethical values propagated by the Project Management Institute (PMI), USA. Our study aimed to gain an endogenous perspective on honesty vis-à-vis its reification by PMI in its effect on software project performance. Empirical data (...) were collected through in-depth interviews from 83 Indian PMs in one of the prominent Indian software consulting organizations. Grounded theory was utilized to analyze the data obtained. Our results validate the importance of honesty on software project performance, the need for trust among stakeholders in maintaining honesty, importance of Indian culture in understanding honesty and ensuing ethical challenges faced by PMs. Our results bear implications to extant research on honesty in projects with specific reference to the Indian software context. They are important for PMI professionals as they provide a culture-specific perspective to honesty and the scope for ideation on how to inculcate and sustain honesty in project management in India. (shrink)

Baars (1988, 1997) has proposed a psychological theory of consciousness, called global workspace theory. The present study describes a software agent implementation of that theory, called ''Conscious'' Mattie (CMattie). CMattie operates in a clerical domain from within a UNIX operating system, sending messages and interpreting messages in natural language that organize seminars at a university. CMattie fleshes out global workspace theory with a detailed computational model that integrates contemporary architectures in cognitive science and artificial intelligence. (...) Baars (1997) lists the psychological ''facts that any complete theory of consciousness must explain'' in his appendix to In the Theater of Consciousness; global workspace theory was designed to explain these ''facts.'' The present article discusses how the design of CMattie accounts for these facts and thereby the extent to which it implements global workspace theory. (shrink)

Free software introduces a challenge to the classical conception of individual rights. The model of software licensing given by the General Public License generates the question whether it constitutes an exercise or a wavering of copyright. It is argued in this paper that the later alternative is entrenched in the classical concept of freedom as autonomy, which, by its turn, is reflected in a classical conception of individual rights based on the model of propriety as a dominion over (...) an exclusive object (res). We provide grounds for a concept of non-exclusive individual rights, based on the notion of freedom as reciprocity, in order to obtain more solid legal foundations for the free licensing of software. The concept of freedom as reciprocity and the corresponding reconstruction of non-exclusive subjective rights achieved in this paper is an exercise in general theory of law and thus may be applied to other legal fields where the classical notion of freedom and the property of exclusivity do not fit properly. (shrink)

The proliferation of information and communication technologies (ICTs) into all aspects of life poses unique ethical challenges as our modern societies become increasingly dependent on the flawless operation of these technologies. As we increasingly entrust our privacy, our well-being and our lives to an ever greater number of computers we need to look more closely at the risks and ethical implications of these developments. By emphasising the vulnerability of software and the practice of professional software developers, we want (...) to make clear the ethical aspects of producing potentially flawed software. This paper outlines some of the vulnerabilities associated with software systems and identifies a number of social and organisational factors affecting software developers and contributing to these vulnerabilities. Scott A. Snook’s theory of practical drift is used as the basis for our analysis. We show that this theory, originally developed to explain the failure of a military organisation, can be used to understand how professional software developers “drift away” from procedures and processes designed to ensure quality and prevent software vulnerability. Based on interviews with software developers in two Norwegian companies we identify two areas where social factors compel software developers to drift away from a global set of rules constituting software development processes and methods. Issues of pleasure and control and difference in mental models contribute to an uncoupling from established practices designed to guarantee the reliability of software and thus diminish its vulnerability. (shrink)

Using intelligent software agents in the world of e-commerce may give rise to many difficulties especially with regard to the validity of agent-based contracts and the attribution of liability for the actions of such agents. This paper thus critically examines the main approaches that have been advanced to deal with software agents, and proposes the gradual approach as a way of overcoming the difficulties of such agents by adopting different standards of responsibility depending whether the action is done (...) autonomously by an unattended software, or whether it is done automatically by an attended software. Throughout this paper, it is argued that the introduction of “one size” regulation without sufficient consideration of the nature of software agents or the environments in which they communicate might lead to a divorce between the legal theory and technological practice. It is also concluded that it is incorrect to deal with software agents as if they were either legal persons or nothing without in any way accounting for the fact that there are various kinds of such agents endowed with different levels of autonomy, mobility, intelligence, and sophistication. However, this paper is not intended to provide the final answer to all problematic questions posed by the emergence of intelligent software agents, but is designed to provide some kind of temporary relief until such agents reach a more reliable and autonomous level whereby law begins to regard them, rather than their users, as the source of the relevant action. (shrink)

Software development is an iterative process from designing to implementation, and to testing, in which product development staff should be closely integrated with users. Satisfying user needs effectively is often the pain point for developers. In order to alleviate this, this paper manages to establish the quantitative connection between users' online reviews and APP downloads. By analyzing user online comments, companies can dig out user needs and preferences. This could benefit them by making accurate market positioning of their APP (...) products, and therefore iteratively innovating products based on user needs, which hopefully will increase the volume of APP downloads. This paper regards WeChat APP during 47 updates periods as the research object. Based on Grounded Theory, user needs are extracted after data cleaning. Next, by using semantic analysis and word frequency analysis, we are able to obtain the implicit feedbacks such as emotion tendency, satisfaction and requirements lie under online reviews. Then, we construct a quantile regression model to study the impact of users' online reviews on downloads based on the influencing factors we extracted so as to provide a decision basis for enterprises to iteratively update their products. Results show that: Generally speaking, needs of WeChat users mainly focus on performance, reliability, usability, functional deficiency, functional insufficiency, and system adaptability; For those APP versions with relatively fewer downloads, user needs are mostly about functional deficiency, followed by functional insufficiency, performance, usability, and system adaptability. At this stage, it is found out that users' emotion tendency and user satisfaction significantly affect the volume of downloads; When the volume of APP downloads is moderate, the user needs are functional deficiency, functional insufficiency, and system adaptability. While under this circumstances, users' star ratings have a significant impact on downloads; In addition, when the volume of App downloads is high, user needs are performance, usability, and system adaptability. Our methods effectively extract users' requirements from online reviews and then successfully build up the quantitative connection between the implicit feedbacks from those requirements and APP downloads. (shrink)

Computer users copy computer software - this is well-known. However, less well-known are the reasons why some computer users choose to make unauthorized copies of computer software. Furthermore, the relationship linking the theory and the practice is unknown, i.e., how the attitudes of ordinary end-users correspond with the theoretical views of computer ethics scholars. In order to fill this gap in the literature, we investigated the moral attitudes of 249 Finnish computing students towards the unauthorized copying of (...) computer software, and we then asked how these results compared with the theoretical reasons offered by computer ethics scholars. The results shed a new light on students' moral attitudes with respect to the unauthorized copying of software. In particular, this new knowledge is useful for computer ethics teachers, and for organizations seeking to combat this practice. (shrink)

According to the early futurist Julian Huxley, human life as we know it is ‘a wretched makeshift, rooted in ignorance’. With modern science, however, ‘the present limitations and miserable frustrations of our existence could be in large measure surmounted’ and human life could be ‘transcended by a state of existence based on the illumination of knowledge’ (1957b, p. 16).

This paper examines the impact of neoreactionary (NRx) thinking – that of Curtis Yarvin, Nick Land, Peter Thiel and Patri Friedman in particular – on contemporary political debates manifest in ‘architectures of exit’. We specifically focus on Urbit, as an NRx digital architecture that captures how post-neoliberal politics imagines notions of freedom and sovereignty through a micro-fracturing of nation-states into ‘gov-corps’. We trace the development of NRx philosophy – and situate this within contemporary political and technological change to theorize the (...) significance of exit manifest within the notion of ‘dynamic geographies’. While technological programmes such as Urbit may never ultimately succeed, we argue that these, and other speculative investments such as ‘seasteading’, reflect broader post-neoliberal NRx imaginaries that were, perhaps, prefigured a quarter of a century ago in The Sovereign Individual. (shrink)

In free and open source software (FOSS), computer code is made freely accessible and can be modified by anyone. It is a creative domain with many unique features; the FOSS mode of creativity has also influenced many aspects of contemporary cultural production. In this article we identify a number of fundamental but unresolved general issues in the study of creativity, then examine the potential for the study of FOSS to inform these topics. Archival studies of the genesis of FOSS (...) projects, coupled with laboratory studies detailing the psychological processes involved in software creation, can provide converging evidence on the nature of creativity in software design. Such a research program has broad implications both for theories of creativity and for real-world innovation in software and other forms of digital cultural production. (shrink)

As multinational firms explore new and promising national markets two of the most crucial elements in the strategic decision regarding market-entry are the level of corruption and existing trade barriers. One form of corruption that is crucially important to firms is the theft of intellectual property. In particular, software piracy has become a hotly debated topic due to the deep costs and vast levels of piracy around the world. The purpose of this paper is to assess how laissez-faire trade (...) policies and corruption affect national software piracy rates. Using invisible hand theory, as well as literature from the fields of international strategy and ethics, formal research hypotheses are posited and tested. Results suggest that corruption mediates the relationship between economic freedom and software piracy. Implications for multinational managers and researchers are also addressed. (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 article inquires whether and to which degree some fundamental traits of the World Wide Web may encourage us to revise traditional conceptions of what constitutes scientific information and knowledge. Turning to arguments for `open access' in scientific publishing and its derivatives (open content, open archives, etc.), contemporary tendencies in `social software' and knowledge sharing, the authors project a new look on knowledge, dissociated with linear notions of cumulation, progression, and hierarchy (e.g. of scientific argument), but related to circularity, (...) heterarchy, and evolution. Arguing from a medium theoretical perspective, they illustrate their ideas with developments in library science, current debates in epistemology and theories about information architecture, with a particular focus on `unsystematic' folksonomies. (shrink)

Although reducing the costs of software maintenance has long been held as an important goal, few researchers have studied software maintenance — except in the context of software design. However, thinking in software design is itself muddled by the frequent confusion over the term ‘software’ and ‘programs’. In this paper we argue for a re-examination of the underlying philosophical foundations of programs, in order to establish software as a phenomenon in its own right. Once (...) we understand the basic structure of software theories, we will be in a better position to understand how theories of software relate to theories of programs. This might finally provide the insight needed to achieve the long awaited reduction in the cost of software maintenance. (shrink)

This study focuses on one of the newer forms of software piracy, known as digital piracy, and uses the Theory of Planned Behavior (TPB) as a framework to attempt to determine factors that influence digital piracy (the illegal copying/downloading of copyrighted software and media files). This study examines factors, which could determine an individual’s intention to pirate digital material (software, media, etc.). Past piracy behavior and moral obligation, in addition to the prevailing theories of behavior ( (...) class='Hi'>Theory of Planned Behavior), were studied to determine the influence on digital piracy intention. Based on the results of this study, planned behavioral factors in addition to past piracy behavior and moral obligation were found to influence an individual’s intention to pirate digital material. Attitude, past piracy behavior, perceived behavior control, and moral obligation explained 71 percent of the intention to pirate variance. Using these results, a better understanding of why individuals pirate is presented and can be used to help combat digital piracy. (shrink)

‘Over a ten year period starting in the mid 90’s I became convinced that all these topics –game theory, economic design, voting theory –belonged to a common area which I called Social Software.’ — Rohit Parikh, [Parikh 05]: p. 252..

The comprehensive nature of information and insight available in the Upanishads, the Indian philosophical systems like the Advaita Philosophy, Sabdabrahma Siddhanta, Sphota Vaada and the Shaddarsanas, in relation to the idea of human consciousness, mind and its functions, cognitive science and scheme of human cognition and communication are presented. All this is highlighted with vivid classification of conscious-, cognitive-, functional- states of mind; by differentiating cognition as a combination of cognitive agent, cognizing element, cognized element; formation; form and structure of (...) cognition, instruments and means of cognition, validity of cognition and the nature of energy/matter which facilitates and also is the medium of cognition- cognizing process; and also as the container and content of cognition. The human communication process which is just the reverse of cognizing process is also presented with necessary description and detail. The sameness of cognitive / communicative process during language acquisition and communication processes and the modes of language acquisition and communication are also given. The hardware and software of human cognition, language acquisition and communication as envisaged in Indian spiritual and philosophical expressions are given. In the light of the information and insight obtained as above, the axioms for human cognition / communication are formed, framed and presented. A brain-wave frequency modulation / demodulation model of human cognition, communication and language acquisition and communication process based on Upanishadic expressions, Shaddarsanas and Sabdabrahma Siddhhanta is defined and discussed here. The use of these theories and models and axioms in mind-machine modelling and natural language comprehension branch of artificial intelligence will be put forward and highlighted. (shrink)

This chapter discusses the nature of software maintenance in light of software’s ontological status. A realist view of software need not commit us to the otiose position that software maintenance is impossible. Many philosophers and computer scientists have been concerned with drawing attention to software’s dual nature, its being both symbolic and physical, abstract and concrete. There are strong connections to be found between this topic and recent investigations in the philosophy of linguistics, particularly the (...) metaphysics of words. It is shown, contra Irmak, that software can be best understood through a realist type-token distinction employing an ontology of composite objects that was put forward by Katz. This approach employs both non-spatiotemporal abstract types and tokens of those types. Further developing Katz’s realist approach can help to make better sense of the dual nature of computational artefacts and their maintenance than the alternatives outlined. Young claims that a prevalent imbalanced view of maintenance as solely conservative is due to a misunderstanding of the nature of artefacts as being realisations of their producers’ intentions. This is a problem for theories of artefacts that employ intentions, such as the one involved with the realist view of software and software maintenance. Software maintenance on this view is not solely conservative but also adaptive and enhancive, constituting a source of counterexamples to Young’s claim. An alternative explanation of the imbalanced view is provided, based on observations by software engineers, especially Sommerville. (shrink)

Software piracy is an instance of unauthorized duplication of information goods where laws and norms are not agreed-upon. This article presents a content analysis of articles from the five highest circulating U.S. newspapers 1989-2004 as evidence of the prevailing social environment surrounding software piracy. The rationales in the news articles are analyzed as evidence of the social and psychological underpinnings of attitudes toward software piracy. An expanded version of Sykes and Matza's (American Sociological Review 22, 664-670, 1957); (...) Zamoon and Curley (Working paper, Kuwait University, Kuwait, 2007) neutralization framework is applied to analyze the content of the articles. We found that rationales condoning piracy showed a more balanced use of neutralization approaches, and less moral intensity toward the behavior. In contrast, rationales condemning piracy mostly promoted the injury aspect of software piracy, and suggested higher moral intensity. The discrepancies have practical implications as a barrier to the ability to connect the two sides of the debate concerning software piracy. (shrink)

The purpose of this study is to investigate the salient factors influencing consumers’ attitudes and usage intentions towards pirated software. Using the Theory of Planned Behaviour, this study investigates the relationships between three sets of factors, i.e. personal, social and perceived behavioural control onto attitudes towards pirated software. Through a multiple regression, only personal factors have shown significant relationship with attitudes towards software piracy. Further results from this study have supported that favourable attitudes towards pirated (...) class='Hi'>software is likely to result in stronger intentions to use pirated software. It was found that computer proficiency acts as a predictor for intentions towards pirated software, rather than a moderator as originally postulated. (shrink)

This article reveals that explanatory practice in software engineering is in accordance with pragmatic explanatory pluralism, which states that explanations should at least partially be evaluated by their practical use. More specifically, I offer a defense of the idea that several explanation-types are legitimate in software engineering, and that the appropriateness of an explanation-type depends on (a) the engineer’s interests, and (b) the format of the explanation-seeking question he asks, with this format depending on his interests. This idea (...) is defended by considering examples that are representative for explanatory practice in software engineering. Different kinds of technological explanation are spelled out, and the dependence of their appropriateness on interests and question-formats is extensively illustrated. (shrink)

Moral issues have been included in the studies of consumer misbehavior research, but little is known about the joint moderating effect of moral intensity and moral judgment on the consumer’s use intention of pirated software. This study aims to understand the consumer’s use intention of pirated software in Taiwan based on the theory of planned behavior (TPB) proposed by Ajzen (Organizational Behavior and Human Decision Processes, 50, 179, 1991). In addition, moral intensity and moral judgment are adopted (...) as a joint moderator to examine their combined influence on the proposed research framework. The results obtained from this Taiwan case reveal that the antecedent constructs proposed in the TPB model–an individual’s attitude and subjective norms toward using pirated software, and perceived behavioral control to use pirated software–indeed have positive impacts on the consumer’s use intention of pirated software. In addition, the joint moderating effect of moral intensity and moral judgment is manifested in the consumer’s use intention of pirated software. The results of this study not only could substantiate the results of consumer misbehavior research, but also could provide some managerial suggestions for Taiwanese government authorities concerned and the related software industries devoted to fighting pirated software. (shrink)

Sabdabrahma Siddhanta, popularized by Patanjali and Bhartruhari will be scientifically analyzed. Sphota Vada, proposed and nurtured by the Sanskrit grammarians will be interpreted from modern physics and communication engineering points of view. Insight about the theory of language and modes of language acquisition and communication available in the Brahma Kanda of Vakyapadeeyam will be translated into modern computational terms. A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension and communication process (...) forming the basis to develop software for relevant mind-machine modeling will be presented. The implications of such a model to artificial intelligence and cognitive sciences will be discussed. The essentiality and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of Sanskrit language is put forward. Natural language comprehension as distinct and different from natural language processing is pointed out. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such (...) navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The purpose of this study is to investigate the salient factors that influence accounting students to engage in software and music piracy. This study uses the theory of reasoned action and the theory of planned behavior, and extends these models to incorporate other variables to predict individuals’ behavioral intentions. Specifically, we hypothesize that attitudes toward the behavior, subjective norms, perceived behavioral control, moral obligation and perceived prosecution risk influence intentions to engage in software and music piracy. (...) Data were obtained from 237 university accounting students in a Caribbean university to assess the influence of the components of the theories and other modified and extended models. Findings reveal that attitudes, subjective norms, perceived behavioral control, moral obligation and perceived prosecution risk significantly influence intentions to engage in software and music piracy. These findings lend full support to the hypothesized relationships in our extended theory of planned behavior. (shrink)

In this essay, I intend to focus on De Certeau’s ideas of use as consumption, as well as his theory of play, and then to place them both in conversation with Agamben’s conception of the ‘ assolutamente improfanabile’ – the absolute impossibility of profaning. I intend to apply De Certeau’s and Agamben’s ideas to an exploration of some recent trends in the high tech market regarding the creation of goods to which the notion of ‘AI’ may be particularly salient. (...) I hope to show, in contrast to Agamben’s overall deeply disillusioned analyses of late capitalism, that in such a market populated by various forms of ‘AI’ there are indeed new resources for resistance and nodes of creativity, as high tech consumers play with, and thus reconceptualize, both products and their use in terms helpfully articulated by De Certeau. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between (...) these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large, highly interconnected corpora: “MKM in the large”. We contend that advances in two areas are needed to reach this goal. We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on large knowledge bases. We present (...) instances of both in this paper: the MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDOC version; and TNTBase, a versioned storage system for XML- based document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT. (shrink)

Program comprehension is an essential part of software engineering. The paper describes the constructivist theory of comprehension, a process based on assimilation and accommodation of knowledge. Assimilation means that the new facts are either added to the existing knowledge or rejected. Accommodation means that the existing knowledge is reorganized in order to absorb new facts. These processes are illustrated by case studies of knowledge-level reengineering of a legacy program and of incremental change. In both cases, we constructed preliminary (...) knowledge from the program documentation, and then adjusted it by comprehending the actual code. The case studies supported constructivism as a suitable theory of program comprehension. (shrink)

This paper provides an explorative investigation into how the development of software (front- and backends) is framed by reflexive assumptions, ascriptions, and expectations as to how software should be ‘designed’ to provide the user with ‘good’, ‘transparent’ and ‘controllable’ handling of applications or software environments. Drawing on metapragmatic theory, the notions of ideologies of communication, ideologies of communification, and particularly ideologies of design, the paper unfolds how software designers draw on, and struggle upon, specific notions (...) of graphic transparency, simplicity, and elegance which are densely linked with language and media ideologies about ‘effective communication’ as well as with specific ideas and ideals of community building and maintenance (e.g., drawing on ‘empowerment’ and ‘inclusiveness’) that are envisioned to be bound to specific forms of (‘open’, ‘inviting’, and fully user- ‘controllable’) design and communication. The case in point is a major free and open-source software project that aims to provide a comprehensive free desktop environment including software libraries and a comprehensive software ecosystem, the GNOME project that is currently among the most prominent desktop environments on the Linux operation system. In theoretical terms, the paper contributes to the current discussion in sociolinguistics, linguistic anthropology, and media studies about design as a social value and semiotic device and the opening of metapragmatics towards non-linguistic semiotic resources. (shrink)

Although there are various ways to express actions and behaviors in natural languages, it is found in cognitive informatics that human and system behaviors may be classified into three basic categories: to be, to have, and to do. All mathematical means and forms, in general, are an abstract description of these three categories of system behaviors and their common rules. Taking this view, mathematical logic may be perceived as the abstract means for describing ‘to be,’ set theory for describing (...) 'to have,' and algebras, particularly the process algebra, for describing ‘to do.’ This is a fundamental view toward the formal description and modeling of human and system behaviors in general, and software behaviors in particular, because a software system can be perceived as a virtual agent of human beings, and it is created to do something repeatable, to extend human capability, reachability, and/or memory capacity. The author found that both human and software behaviors can be described by a three-dimensional representative model comprising action, time, and space. For software system behaviors, the three dimensions are known as mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra that serves as an expressive notation system for describing thoughts and notions of dynamic software behaviors. Experimental case studies on applications of RTPA in describing the equivalent software and human behaviors as a series of actions and cognitive processes are demonstrated with real-world examples. (shrink)

Drawing upon the theory of virtue ethics, this study builds a decision tree predictive model to explore the anticipated impact of good traits on socially responsible consumption. Using R statistical software, we generate a classification tree and cross-validate the model on two independent datasets. The results indicate that the virtuous traits of self-efficacy, courage, and self-control, as well as the personality traits of openness and conscientiousness, predict socially responsible purchase and disposal behavior. Remarkably, the largest segment of socially (...) responsible consumers in the study scored high in self-efficacy and openness. This result suggests that marketers should focus on these good traits when creating advertisements to encourage sustainable consumption. Our study contributes to enhancing knowledge about the social and psychological aspects of the sustainability movement and provides a new analytical approach to predicting socially responsible consumption. (shrink)