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)

Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons (...) drawn from the ontology of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

This paper argues that the difference between contemporary software intensive scientific practice and more traditional non-software intensive varieties results from the characteristically high conditionality of software. We explain why the path complexity of programs with high conditionality imposes limits on standard error correction techniques and why this matters. While it is possible, in general, to characterize the error distribution in inquiry that does not involve high conditionality, we cannot characterize the error distribution in inquiry that depends on (...) software. Software intensive science presents distinctive error and uncertainty modalities that pose new challenges for the epistemology of science. (shrink)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these (...) interactions as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (shrink)

Free and open source software is taking an increasingly significant role in our software infrastructure. Yet many questions still exist about whether a software economy based on FOSS would be viable. We argue that contemporary trends definitively demonstrate this viability. Claiming that an economy must be evaluated as much by the ends it brings about as by its size or vigor, we draw on widely accepted notions of redistributive justice to show the ethical superiority of a (...) class='Hi'>software economy based on FOSS. (shrink)

This paper contributes to the computer ethics debate on software ownership protection by examining the ontological, methodological, and ethical problems related to property right infringement that should come prior to any legal discussion. The ontological problem consists in determining precisely what it is for a computer program to be a copy of another one, a largely neglected problem in computer ethics. The methodological problem is defined as the difficulty of deciding whether a given software system is a copy (...) of another system. And the ethical problem corresponds to establishing when a copy constitutes, or does not constitute, a property right infringement. The ontological problem is solved on the logical analysis of abstract machines, and the latter are argued to be the appropriate level of abstraction for software at which the methodological and the ethical problems can be successfully addressed. (shrink)

Researchers in virtually every discipline rely on sophisticated proprietary software for their work. However, some researchers are unable to afford the licenses and instead procure the software illegally. We discuss the prohibition of software piracy by intellectual property laws, and argue that the moral basis for the copyright law offers the possibility of cases where software piracy may be morally justified. The ethics codes that scientific institutions abide by are informed by a rule-consequentialist logic: by preserving (...) personal rights to authored works, people able to do so will be incentivized to create. By showing that the law has this rule-consequentialist grounding, we suggest that scientists who blindly adopt their institutional ethics codes will commit themselves to accepting that software piracy could be morally justified, in some cases. We hope that this conclusion will spark debate over important tensions between ethics codes, copyright law, and the underlying moral basis for these regulations. We conclude by offering practical solutions for researchers. (shrink)

O artigo tenta compreender como o software livre tornou-se vetor de um movimento social militante para criação e difusão de bens comuns. Como, para além de suas características de “meio” esses softwares foram transformados em questões de política, economia, sociedade, cultura e ética? São emergência, os modos de organização e as ideologias desse movimento que o artigo se propõe a analisar.

Conceptual models are descriptions of our ideas about a problem, used to shape the implementation of a solution to it. Everyone who builds complex information systems uses such models - be they requirements analysts, knowledge modellers or software designers - but understanding of the pragmatics of model design tends to be informal and parochial. Lightweight uses of logic can add precision without destroying the intuitions we use to interpret our descriptions. Computing with logic allows us to make use of (...) this precision in providing automated support tools. Modern information scientists need to know what these methods are for and may need to build their own. This book gives you a place to begin. Where do you start when building models in a precise language like logic? One way is by following standard paradigms for design and adapting these to your needs. Some of these come from an analysis of existing informal notations. Others are from within logic itself. We take you through a sample of these, from more commonplace styles of formal modelling to non-standard methods such as techniques editing and argumentation. Each of these provides a window onto broader areas of applied logic and gives you a basis for adapting the method to your own needs. (shrink)

Digital artifacts often fail to perform as expected. It has recently been argued that this should not be analyzed as software malfunctioning. Rather, every case that is not the result of hardware failures would be due to design errors. This claim, which hinges on the notion of ‘implementation’, highlights a potential fundamental difference between software and other technical artifacts. It also implies that software engineers have more extensive responsibilities than creators of other artifacts. After reconstructing the argument, (...) we show that it rests on two presuppositions regarding the nature of software and the activities of its creators, which we call ‘complete control’ and ‘self-containedness’. Software is taken to be a self-contained unit through which the software engineer exerts complete control over a machine’s behavior. These two presuppositions as well as the usage of implementation and strong claims regarding responsibility can be found throughout the literature on software engineering. Still, we argue that the presuppositions are untenable in light of current practices. For one thing, software engineers cannot exert complete control because software has become too complex for any technique to reliably locate every fault in it. For another, the creation and running of software are nowadays heavily mediated processes involving many agential activities. As a result, the performance of digital artifacts may vary, often in undesirable ways, without either hardware failures or design errors. This undermines the conclusion that software cannot malfunction, while also revealing the complications in developing a metaphysical account of software that fits contemporary practices. (shrink)

We suggest that the issue of constructing andverifying social procedures, which we suggestively call socialsoftware, be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise withsocial software which do not arise with computer software, but thesimilarities are nonetheless strong, and tools already exist which wouldenable us to start work on this important project. We give a variety ofsuggestive examples and indicate some theoretical work which alreadyexists.

This paper identifies that Information and Communication Technology (ICT) has a negative effect on software piracy rates in addition to consolidating prior research that economic development and the cultural dimension of individualism also negatively affect piracy rates. Using data for 59 countries from 2000 to 2005, the findings show that economic well-being, individualism and technology development as measured by ICT expenditures explain between 70% and 82% of the variation in software piracy rates during this period. The research results (...) provide important implications for policy makers and business practitioners to help reduce software piracy. (shrink)

The possible relationship between widespread unauthorized copying of microcomputer software (also known as software piracy) and level of moral judgment is examined through analysis of over 350 survey questionnaires that included the Defining Issues Test as a measure of moral development. It is hypothesized that the higher one''s level of moral judgment, the less likely that one will approve of or engage in unauthorized copying. Analysis of the data indicate a high level of tolerance toward unauthorized copying and (...) limited support for the hypothesis. The most plausible explanation for these findings is that software copying is perceived as an issue of low moral intensity. This study calls into question the software industry''s strategy of concentrating exclusively on institutional compliance with copyright rules, rather than working to raise the perceived moral intensity about software piracy at the individual level. As long as the issue remains low in moral intensity, the industry cannot expect significant shifts in copying behaviors. Individuals must become more aware of and concerned about the nature and magnitude of harm to society and to the rightful copyright owners from unauthorized copying before their attitudes and behaviors come to reflect higher levels of moral judgment. (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)

Software piracy is older than the PC and has been the subject of several studies, which have found it to be a widespread phenomenon in general, and among university students in particular. An earlier study by Cohen and Cornwell from a decade ago is replicated, adding questions about downloading music from the Internet. The survey includes responses from 224 students in entry-level courses at two schools, a nondenominational suburban university and a Catholic urban college with similar student profiles. The (...) study found that there has been few if any changes in student opinions regarding the unauthorized duplication of copy- righted materials. Students generally felt that copying commercial software and downloading music from the Internet was acceptable and found that there was no significant correlation between student attitudes and their school’s religious affiliation or lack thereof. Additionally, the study found that a small but significant percentage of respondents considered the other questionable behaviors as ethically acceptable. Finally, the reasons for these attitudes are discussed as well as what colleges can do to correct the situation. (shrink)

This paper analyzes both philosophical and practical assumptions underlying claims for the dual nature of software, including software as a machine made of text, and software as a concrete abstraction. A related view of computer science as a branch of pure mathematics is analyzed through a comparative examination of the nature of abstraction in mathematics and computer science. The relationship between the concrete and the abstract in computer programs is then described by exploring a taxonomy of approaches (...) borrowed from philosophy of mind. (shrink)

Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A (...) negative malfunction, or dysfunction, occurs when an artefact token either does not or cannot do what it is supposed to. A positive malfunction, or misfunction, occurs when an artefact token may do what is supposed to but, at least occasionally, it also yields some unintended and undesirable effects. We argue that software, understood as type, may misfunction in some limited sense, but cannot dysfunction. Accordingly, one should distinguish software from other technical artefacts, in view of their design that makes dysfunction impossible for the former, while possible for the latter. (shrink)

Within artificial intelligence and the philosophy of mind,there is considerable disagreement over the relationship between anagent's body and its capacity for intelligent behavior. Some treatthe body as peripheral and tangential to intelligence; others arguethat embodiment and intelligence are inextricably linked. Softwareagents–-computer programs that interact with software environmentssuch as the Internet–-provide an ideal context in which to studythis tension. I develop a computational framework for analyzingembodiment. The framework generalizes the notion of a body beyondmerely having a physical presence. My analysis (...) sheds light oncertain claims made about the relevance of the body to intelligence,as well as on embodiment in software worlds. (shrink)

This study examines the efficiency of tools for fighting software piracy in the conditional distributions of software piracy. Our paper examines software piracy in 99 countries over the period 1994–2010, using contemporary and non-contemporary quantile regressions. The intuition for modelling distributions contingent on existing levels of software piracy is that the effectiveness of tools against piracy may consistently decrease or increase simultaneously with the increasing levels of software piracy. Hence, blanket policies against software piracy (...) are unlikely to succeed unless they are contingent on initial levels of software piracy and tailored differently across countries with low, medium and high levels of software piracy. Our findings indicate that GDP per capita, research and development expenditure, main intellectual property laws, multilateral treaties, bilateral treaties, World Intellectual Property Organisation treaties, money supply and respect for the rule of law have negative effects on software piracy. Equitably distributed wealth reduces software piracy, and the tendency not to indulge in software piracy because of equitably distributed wealth increases with the increasing software piracy levels. Hence, the negative degree of responsiveness of software piracy to changes in income levels is an increasing function of software piracy. Moreover, the relationships between policy instruments and software piracy display various patterns: U-shape, Kuznets-shape, S-shape and negative thresholds. A negative threshold represents negative estimates with the increasing negative magnitude throughout the conditional distributions of software piracy. We also discuss the policy implications of our study. (shrink)

Finite agents must build rule-governed processes of some kind in order to extend the reach of inquiry beyond their limitations in a non-arbitrary manner. The clearest and most pervasive example of a rule-governed process that can be deployed in inquiry is a piece of scientific software. In general, the error distribution of all but the smallest or most trivial software systems cannot be characterized using conventional statistical inference theory, even if those systems are not subject to the halting (...) problem. In this paper we examine the implications of this fact for the conditions governing inquiry generally. Scientific inquiry involves trade-offs. We show how increasing use of software (or any other rule-governed procedure for that matter) leads to a decreased ability to control for error in inquiry. We regard this as a fundamental constraint for any finite agent. (shrink)

Our freedoms in cyberspace are those granted by code and the protocols it implements. When man and machine interact, co-exist, and intermingle, cyberspace comes to interpenetrate the real world fully. In this cyborg world, software retains its regulatory role, becoming a language of interaction with our extended cyborg selves. The mediation of our extended selves by closed software threatens individual autonomy. We define a notion of freedom for software that does justice to our conception of it as (...) language, sketching the outlines of a social and political philosophy for a cyborg world. In a cyberspace underwritten by free software, political structures become contingent and flexible: the polity can choose to change the extent and character of its participation. The rejection of opaque power is an old anarchist ideal: free software, by making power transparent, carries the potential to place substantive restrictions on the regulatory power of cyborg government. (shrink)

Claims about the potential of free software to reform the production and distribution of software are routinely countered by skepticism that the free software community fails to engage the pragmatic and economic ‘realities’ of a software industry. We argue to the contrary that contemporary business and economic trends definitively demonstrate the financial viability of an economy based on free software. But the argument for free software derives its true normative weight from social justice considerations: (...) the evaluation of the basis for a software economy should be guided by consideration of the social and cultural states which are the ultimate goals of any economic arrangement. That is, the software economy should be evaluated in light of its ability to provide justice. We conclude with a discussion of possible avenues for reform. (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)

There are many tangled normative and technical questions involved in evaluating the quality of software used in epidemiological simulations. In this paper we answer some of these questions and offer practical guidance to practitioners, funders, scientific journals, and consumers of epidemiological research. The heart of our paper is a case study of the Imperial College London covid-19 simulator, set in the context of recent work in epistemology of simulation and philosophy of epidemiology.

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)

This book is a critical introduction to code and software that develops an understanding of its social and philosophical implications in the digital age. Written specifically for people interested in the subject from a non-technical background, the book provides a lively and interesting analysis of these new media forms.

Software systems give computer science its practical potency. Physical library systems, banking systems, and management systems and structures existed before the advent of the computer. Libraries have always issued books, and banks have always taken our money. But, with the advent of the computer, these systems have been modeled in software. Indeed, the latter models are not just computational models of existing physical systems, but have been digitally enhanced and enriched.

Consumers of software often face an acquisition-mode decision, namely whether to purchase or pirate that software. In terms of consumer welfare, consumers who pirate software may stand in opposition to those who purchase it. Marketers also face a decision whether to attempt to thwart that piracy or to ignore, if not encourage it as an aid to their software's diffusion, and policymakers face the decision whether to adopt interventionist policies, which are government-centric, or laissez faire policies, (...) which are marketer-centric. Here in order to assess the decision-making of all three of these stakeholders, we focus on the consumer's point-of-view as central and examine it by considering on a comparative basis the ethical dimension versus other dimensions, including economic, legal, and other salient consumer behavior considerations. Based on a survey of 689 software consumers conducted over the Internet, the results indicate that ethics as a factor is embedded in a multidimensional set of determinant factors influencing software piracy, including attitudes, legal aspects, social support, perceptions of economic loss and age. Policy and research implications, based on these findings, are provided. (shrink)

Building upon the recently proposed metric of Machine Decision-Making Ability (MDMA), this paper introduces Software Layer Abstraction (SLA) as a multiplier that extends a machine’s apparent intelligence beyond the raw capabilities of its hardware. SLA quantifies how software layers—through reuse, caching, and prediction—amplify decision-making capacity. Tracing the progression from mechanical systems to electrical and quantum technologies, we argue that while hardware MDMA defines a system’s physical baseline, SLA explains why modern systems often appear to exceed hardware limits. Case (...) studies include stored programs, predictive execution, and Large Language Models (LLMs), which distill years of high-MDMA training into portable predictive engines that run on modest devices. We outline five stages of abstraction—Binding, Notation, Escape, Dominion, and Singularity—and highlight the emerging threshold where software begins to design hardware autonomously. SLA is positioned as a complement to MDMA, clarifying the “illusion of spirit” and the risks of runaway abstraction. (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)

Push: Software Design and the Cultural Politics of Music Production shows how changes in the design of music software in the first decades of the twenty-first century shaped the production techniques and performance practices of artists working across media, from hip-hop and electronic dance music to video games and mobile apps. Emerging alongside developments in digital music distribution such as peer-to-peer file sharing and the MP3 format, digital audio workstations like FL Studio and Ableton Live introduced design affordances (...) that encouraged rapid music creation workflows through flashy, "user-friendly" interfaces. Meanwhile, software such as Avid's Pro Tools attempted to protect its status as the "industry standard," "professional" DAW of choice by incorporating design elements from pre-digital music technologies. Other software, like Cycling 74's Max, asserted its alterity to "commercial" DAWs by presenting users with nothing but a blank screen. These are more than just aesthetic design choices. Push examines the social, cultural, and political values designed into music software, and how those values become embodied by musical communities through production and performance. It reveals ties between the maximalist design of FL Studio, skeuomorphic design in Pro Tools, and gender inequity in the music products industry. It connects the computational thinking required by Max, as well as iZotope's innovations in artificial intelligence, with the cultural politics of Silicon Valley's "design thinking." Finally, it thinks through what happens when software becomes hardware, and users externalize their screens through the use of MIDI controllers, mobile media, and video game controllers. Amidst the perpetual upgrade culture of music technology, Push provides a model for understanding software as a microcosm for the increasing convergence of globalization, neoliberal capitalism, and techno-utopianism that has come to define our digital lives. (shrink)

The Software Engineering Code of Ethics and Professional Practice, intended as a standard for teaching and practicing software engineering, documents the ethical and professional obligations of software engineers. The code should instruct practitioners about the standards society expects them to meet, about what their peers strive for, and about what to expect of one another. In addition, the code should also inform the public about the responsibilities that are important to the profession. Adopted in 2000 by the (...) IEEE Computer Society and the ACM--two leading international computing societies--the code of ethics is intended as a guide for members of the evolving software engineering profession. The code was developed by a multinational task force with additional input from other professionals from industry, government posts, military installations, and educational professions. (shrink)

Software quality is one of the important elements of project management. Software review is one of the most cost effective techniques for detect and remove defects for improving software quality during software development life cycle. Literature suggests that experience and training have positive effect on software review performance. However, there is no empirical study conducted to analysis the important relationships between, experience, training and performance. A laboratory study was conducted with 192 volunteer university students to (...) examining the above relationships in a software review task. The results suggests that (1) there is positive relationships between role experience and performance, (2) training has no impact on performance, (3) working experience has an positive effect on performance (4) working experience has an impact and (5) role experience has no impact on performance. (shrink)

Context. As software systems become increasingly intertwined with societal infrastructure, the responsibility of software professionals to ensure compliance with non-functional requirements, including but not limited to safety, privacy and non-discrimination, is paramount. Motivation. Ensuring fairness in pricing algorithms allows for fair access to essential services by not discriminating on protected attributes. Method. We replicated a previous empirical study that used black box testing to audit pricing algorithms used by Italian car insurance companies, accessible through a popular online comparator (...) website. In comparison with the aforementioned study, we augmented the number of tests and the number of demographic variables under analysis. Results. The present study corroborates and extends previous findings, highlighting the persistent nature of discrimination across time. Demographic variables significantly impact pricing, with birthplace remaining the primary discriminatory factor against individuals not born in Italian cities. Furthermore, the analysis revealed that driver profiles can determine the number of quotes available to users, thereby denying equal opportunities to all. Conclusion. The study emphasises the significance of incorporating non-discrimination testing into software systems that have a direct impact on individuals’ daily lives. The analysis of algorithms over an extended period facilitates the assessment of their evolution over time. Furthermore, it illustrates the potential of empirical software engineering to enhance the accountability of software systems. (shrink)

The term social software was coined by Rohit Parikh in 2002. Social software can be viewed as a research program which studies the construction and verification of social procedures by using tools in logic and computer science. However, to the best of my knowledge, social software has not been considered from a non-classical logical perspective. In this paper, I argue how non-classical logical approaches can enrich, broaden and support the agenda of social software.

. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess in (...) detail the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)

This article integrates previously missing components of government quality into the governance-piracy nexus in exploring governance mechanisms by which global obligations for the treatment of IPRs are effectively transmitted from international to the national level in the battle against piracy. It assesses the best governance tools in the fight against piracy and upholding of intellectual property rights (IPRs). The instrumentality of IPR laws (treaties) in tackling piracy through good governance mechanisms is also examined. Findings demonstrate that: (1) while all governance (...) tools under consideration significantly decrease the incidence of piracy, corruption-control is the most effective weapon; (2) but for voice and accountability, political stability and democracy, IPR laws (treaties) are instrumental in tackling piracy through government quality dynamics of rule of law, regulation quality, government effectiveness, corruption-control, and press freedom. Hence, the need for a policy approach most conducive to expanding development is to implement an integrated system of both IPRs and corollary good governance policies. Moreover, our findings support the relevance of good governance measures in developing countries wishing to complement their emerging IPR regimes. (shrink)

Software ownership allows the owner to restrict the distribution of software and to prevent others from reading the software’s source code and building upon it. However, free software is released to users under software licenses that give them the right to read the source code, modify it, reuse it, and distribute the software to others. Proponents of free software such as Richard M. Stallman and Eben Moglen argue that the social disutility of (...) class='Hi'>software ownership is a sufficient justification for prohibiting it. This social disutility includes the social instability of disregarding laws and agreements covering software use and distribution, inequality of software access, and the inability to help others by sharing software with them. Here I consider these and other social disutility claims against withholding specific software rights from users, in particular, the rights to read the source code, duplicate, distribute, modify, imitate, and reuse portions of the software within new programs. I find that generally while withholding these rights from software users does cause some degree of social disutility, only the rights to duplicate, modify and imitate cannot legitimately be denied to users on this basis. The social disutility of withholding the rights to distribute the software, read its source code and reuse portions of it in new programs is insufficient to prohibit software owners from denying them to users. A compromise between the software owner and user can minimise the social disutility of withholding these particular rights from users. However, the social disutility caused by software patents is sufficient for rejecting such patents as they restrict the methods of reducing social disutility possible with other forms of software ownership. (shrink)

Software piracy is a serious problem in the software industry. Software authors and publishing companies lose revenue when pirated software rather than legally purchased software is used. Policy developers are forced to invest time and money into restricting software piracy. Much of the published research literature focuses on software piracy by end-users. However, end-users are only able to copy software once the copy protection has been removed by a ‘cracker’. This research aims (...) to explore why, if copy protection is so difficult to remove, do crackers invest their skill and time in this activity instead of more lucrative and legal employment. This study develops a framework of neutralisation, justification and motivation and goes directly to the initial software crackers to determine what motivates their activities. The study first applies this framework in an anonymous online survey of crackers. The study then conducts cognitive interviews with eight crackers to explore and further validate the survey’s findings. The study finds the challenge of removing the copy protection from software as the strongest motivation for the actions of crackers. Desire for social participation, while found to be rewarding, was considered unnecessary for crackers to continue their actions. Higher social status was not a motivational factor but was a perceived by-product of cracking. The study also raises areas for future research. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is designed (...) to comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

Over the past 30 years, computer engineering has developed a lot. Currently, computer and software applications have a central role in business, medicine, security, communications, industry, education, and everyday life. Software developers, peoples who manage computer networks, data security analysts can do well, but they also have the potential to cause suffering and harm to the clients or ordinary peoples, willingly or not. For this reason, IT activities must be regulated by specific laws. From the beginning, we argue (...) that the law is not the same thing as ethics, even if both promote the good. Certain ethical principles can be strengthened by law. In the field of computer science and technology, can exists theft, privacy violations, violence and harassment. To combat and punish such actions and behaviors, law is needed. But is software engineering a profession? If so, are there codes of professional ethics whereby specialists in the field can regulate their professional activity, as is the case, for example, in areas such as justice or medicine? In relation with that, Gibbs and Ford have identified 8 components of a professional infrastructure. Some of that is: initial vocational training, professional accreditation, licensing, continuous vocational training, the existence of code of ethics.. With the fact that software engineering is a profession, in this article we present the main principles of behavior. The principles are not legally binding. This are grouped by interest categories depending on who or what is involved in the interaction with software engineering. (shrink)

Free/libre open-source software (FLOSS) projects are Internet-based initiatives that organize work without any remuneration or task prescription. Although celebrated by some authors and criticized by others, few studies have attempted to understand what alternative form of work organization (AFWO) replaces the contract-based organization in these projects. Some critical authors propose that recognition may constitute a noncontractual form of organization, a perspective that has not generated uniform agreement among scholars. Therefore, we explore the enabling conditions of recognition-based organization in FLOSS (...) projects by studying the cases of Wiktionary, OpenStreetMap, and Debian. First, we show that what we call “recognition-based organizations” manifest themselves in interpersonal practices organizing work quality and utility, and which are the result of a tension between the contributors' need for a sense of pride and meaningfulness, and the absence of remuneration and prescriptive tasks. We then suggest, on the basis of four discussed proposals, that the autonomy and gratuitousness of FLOSS projects must coexist in order to constitute a sustainable AFWO, or else risk giving rise to phenomena of struggle for recognition or isolation. (shrink)

This chapter discusses ethical software engineering and we discuss notable failures such as the space shuttle disaster and the defective Therac-25 radiotherapy machine. We discuss the extraordinary Volkswagen emissions scandal, where engineers designed a “defeat device” that would allow Volkswagen cars to pass emission tests in the United States.

The neural correlates of software programming skills have been the target of an increasing number of studies in the past few years. Those studies focused on error-monitoring during software code inspection. Others have studied task-related cognitive load as measured by distinct neurophysiological measures. Most studies addressed only syntax errors. However, a recent functional MRI study suggested a pivotal role of the insula during error-monitoring when challenging deep-level analysis of code inspection was required. This raised the hypothesis that the (...) insula is causally involved in deep error-monitoring. To confirm this hypothesis, we carried out a new fMRI study where participants performed a deep source-code comprehension task that included error-monitoring to detect bugs in the code. The generality of our paradigm was enhanced by comparison with a variety of tasks related to text reading and bugless source-code understanding. Healthy adult programmers participated in this 3T fMRI experiment. The activation maps evoked by error-related events confirmed significant activations in the insula [p < 0.05]. Importantly, a posterior-to-anterior causality shift was observed concerning the role of the insula: in the absence of error, causal directions were mainly bottom-up, whereas, in their presence, the strong causal top-down effects from frontal regions, in particular, the anterior cingulate cortex was observed. (shrink)

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.

Design and Development of software controlled stand-alone instruments have been identified as the most vital component of national and international programs on earthquake hazard and risk management. For in depth investigation and studies, the development of precise instruments designed around computer is emerging very fast. Interfacing of personal computer with seismic instrument is an important design task. A design technique based on minimum hardware has been worked out around the parallel printer interface of computer. Hardware and Software for (...) this purpose has been designed to make the instrument interact with computer through parallel port interface. Incorporation of software for seismic signal analysis has been considered the extremely powerful tool to view and analyze seismic data collected by seismic instruments. In this paper efforts have been made to describe the various design aspects for interfacing of Seismic Data Recorder and Analyser to computer through parallel printer port and computation steps incorporated in the software tool for seismic data analysis. (shrink)

Should software be sold “as is”, totally guaranteed, or something else? This paper suggests that “informed consent”, used extensively in medical ethics, is an appropriate way to envision the buyer/developer relationship when software is sold. We review why the technical difficulties preclude delivering perfect software, but allow statistical predictions about reliability. Then we borrow principles refined by medical ethics and apply them to computer professionals.

The aim of this paper is to challenge and push back against the view that making and maintaining artefacts should be regarded an action where a maker’s intentions are imposed on matter. It addresses software maintenance and how to best conceptualize it to clarify aspects such as software’s formal nature, how it is conceived and produced, and its relation to users and their expectations. The paper diverges from a tradition in the philosophy of artefacts focused on maker’s intentions (...) to clarify the ontological nature of artefacts and their maintenance. It starts from a conceptual analysis of software maintenance and identifies important differences of software to other artefacts including inherent faultiness and functional change. In discussing the ontology of software, the paper proposes a shift from maker’s intentions to functional and organisational criteria and on development processes involving interactions of users and designers to anticipate users’ future needs. (shrink)