Automated Software Testing (AST) using Model Checking is in this article epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified behavioural properties. Models algorithmically checked in Model Checking to select executions to be observed in Software Testing are acknowledged as analogical models which (...) establish isomorphic relations with the target system’s data set. Analogical models developed in AST are presented as abductive models providing hypothetical explanations to observed executions. The model assumption—algorithmic check—software testing process is understood as the abduction—deduction—induction process defining the selective abduction and turned to isolate a set of model-based hypotheses concerning the target system behaviours. A manipulative abduction process is finally recognized in the practice of adapting, abstracting and refining models that do not provide successful predictions. (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)

A brain emulation would be a one‐to‐one simulation where every causal process in the brain is represented, behaving in the same way as the original. Opponents of animal testing often argue that much of it is unnecessary and could be replaced with simulations. Personal identity is going to be a major issue with brain emulations, both because of the transition from an original unproblematic single human identity to successor identity/identities that might or might not be the same, and because (...) software minds can potentially have multiple realizability. The process might produce distressed minds that have rights yet have an existence not worth living, or that lack the capacity to form or express their wishes. Emulations will experience and behave on a timescale set by the speed of their software. Brain emulations would not be self‐contained, and their survival would depend upon hardware over which they might not have any control. (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)

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in (...) topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement. (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)

Modern software is infested with flaws having information security aspects. Pervasive computing has made us and our society vulnerable. However, software developers do not fully comprehend what is at stake when faulty software is produced and flaws causing security vulnerabilites are discovered. To address this problem, the main actors involved with software vulnerability processes and the relevant roles inside these groups are identified. This categorisation is illustrated through a fictional case study, which is scrutinised in the (...) light of ethical codes of professional software engineers and common principles of responsibility attribution. The focus of our analysis is on the acute handling of discovered vulnerabilities in software, including reporting, correcting and disclosing these vulnerabilities. We recognise a need for guidelines and mechanisms to facilitate further improvement in resolving processes leading to and in handling software vulnerabilities. In the spirit of disclosive ethics we call for further studies of the complex issues involved. (shrink)

. Software testing is a very important phase in the development of software. Testing includes the generation of test cases which, if done manually, is time consuming. To automate this process and generate optimal test cases, several meta-heuristic techniques have been developed. These approaches include genetic algorithm, cuckoo search, tabu search, intelligent water drop, etc. This paper presents an effective approach for test data generation using the cuckoo search and tabu search algorithms. It combines the cuckoo (...) algorithm's strength of converging to the solution in minimal time along with the tabu mechanism of backtracking from local optima by Lévy flight. The experimental results show that the algorithm is effective in generating test cases optimally and its performance is better than various earlier proposed approaches. (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).

What role can technology play in cultivating a disciplinary stance — raising questions, planning investigations, interpreting data and constructing explanations in a way that reflects disciplinary values and principles? How can overt and tacit expert scientific knowledge be captured, represented and used to design software that enables novices to assume a disciplinary stance in their investigations? We present The Galapagos Finches software designed to foster a biological and evolutionary stance. Our approach, Discipline-Specific Strategic Support , translates the main (...) variable types, comparison types and relationships in a discipline into manipulable objects in the interface. Pre/post-tests show how DSSS helps achieve a balance between content and process goals. A contrastive-case microanalysis of high, medium and low-achieving students' inquiry shows progress toward a disciplinary stance. Our study shows how software representations carry multiple levels of meaning, and that the efficacy of learning technologies hinges on reflection at both the navigation and disciplinary-signification levels. (shrink)

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

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

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)

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)

There are many internationally developed text-matching software systems that help successfully identify potentially plagiarized content in English texts using both their internal databases and web resources. However, many other languages are not so widely spread but they are used daily to communicate, conduct research and acquire education. Each language has its peculiarities, so, in the context of finding content similarities, it is necessary to determine what systems are more suitable for a document set written in a specific language. The (...) research focuses on testing the existent text-matching software systems on a set of documents prepared in the Latvian language. The corpus includes documents containing verbatim plagiarism, paraphrasing, translation plagiarism and original text to test both false positive and false negative cases. In total, 16 different text-matching software systems are compared on the plagiarism coverage using the prepared document corpus. The research presented is a part of an international initiative “Testing of Support Tools for Plagiarism Detection ” established under the European Network for Academic Integrity. (shrink)

To study the static software defect detection system, based on the traditional static software defect detection system design, a new static software defect detection system design based on big data technology is proposed. The proposed method can optimize the distribution of test resources and improve the quality of software products by predicting the potential defect program modules and design the software and hardware of the static software defect detection system of big data technology. It (...) is found that the traditional static software defect detection system design based on code source data takes a long time, averaging 65 h /day. However, the traditional static software defect detection system based on deep learning has a short detection time, averaging 35 h/day. In this article, the detection time of the static software defect detection system based on big data is shorter than that of the other two traditional system designs, with an average of 15 h/day. Because the system design adjusts the operating state of the system, it improves the accuracy of data operation. On the premise of data collection, the system inspection research is completed, which ensures the operational safety of software data, alleviates the contradiction between system and data to a high degree, improves the efficiency of system operation, reduces unnecessary operations, further shortens the time required for inspection, improves the system performance, and has higher research and operation value. (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)

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)

This paper reports on an experimental test of the Principle of Optimality in dynamic decision problems. This Principle, which states that the decision-maker should always choose the optimal decision at each stage of the decision problem, conditional on behaving optimally thereafter, underlies many theories of optimal dynamic decision making, but is normally difficult to test empirically without knowledge of the decision-maker's preference function. In the experiment reported here we use a new experimental procedure to get round this difficulty, which also (...) enables us to shed some light on the decision process that the decision-maker is using if he or she is not using the Principle of Optimality - which appears to be the case in our experiments. (shrink)

The goals of the present study were to test whether (and which) basic numerical abilities can be improved with training and whether training effects transfer to improvement in children’s math achievement. The literature is mixed with evidence that does or does not substantiate the efficacy of training basic numerical ability. In the present study, we developed a child-friendly software named ‘123 Bakery’ which includes four training modules; non-symbolic numerosity comparison, non-symbolic numerosity estimation, approximate arithmetic and symbol-to-numerosity mapping. Fifty-six first (...) graders were randomly assigned to either the training or control group. The training group participated in 6 weeks of training (5 times a week, 30 minutes per day). All participants underwent pre- and post- training assessment of their basic numerical processing ability (including numerosity discrimination acuity, symbolic/non-symbolic magnitude estimation, approximate arithmetic, symbol-to-numerosity mapping), overall math achievement and intelligence, 6 weeks apart. The acuity for numerosity discrimination (approximate number sense acuity; ANS acuity) significantly improved after training, but this training effect did not transfer to improvement in symbolic, exact calculation, or any other math ability. We conclude that basic numerical cognition training leads to improvement in ANS acuity, but whether this effect transfers to symbolic math ability remains to be further tested. (shrink)

Software testing is a very important technique to design the faultless software and takes approximately 60% of resources for the software development. It is the process of executing a program or application to detect the software bugs. In software development life cycle, the testing phase takes around 60% of cost and time. Test case generation is a method to identify the test data and satisfy the software testing criteria. Test case generation (...) is a vital concept used in software testing, that can be derived from the user requirements specification. An automatic test case technique determines automatically where the test cases or test data generates utilizing search based optimization method. In this paper, Cuckoo Search and Bee Colony Algorithm (CSBCA) method is used for optimization of test cases and generation of path convergence within minimal execution time. The performance of the proposed CSBCA was compared with the performance of existing methods such as Particle Swarm Optimization (PSO), Cuckoo Search (CS), Bee Colony Algorithm (BCA), and Firefly Algorithm (FA). (shrink)

Individuals are faced with the many opportunities to pirate. The decision to pirate or not may be related to an individual''s attitudes toward other ethical issues. A person''s ethical and moral predispositions and the judgments that they use to make decisions may be consistent across various ethical dilemmas and may indicate their likelihood to pirate software. This paper investigates the relationship between religion and a theoretical ethical decision making process that an individual uses when evaluating ethical or unethical situations. (...) An ethical decision making model was studied for general unethical scenarios and for the unethical behavior of software piracy. The research model was tested via path analysis using structural equation modeling and was found to be appropriate for the sample data. The results suggest that there is a relationship between religion and the stages of an ethical decision making process regarding general ethical situations and software piracy. (shrink)

Cognitive test batteries are widely used in diverse research fields, such as cognitive training, cognitive disorder assessment, or brain mechanism understanding. Although they need flexibility according to their usage objectives, most test batteries are not available as open-source software and are not be tuned by researchers in detail. The present study introduces an open-source cognitive test battery to assess attention and memory, using a javascript library, p5.js. Because of the ubiquitous nature of dynamic attention in our daily lives, it (...) is crucial to have tools for its assessment or training. For that purpose, our test battery includes seven cognitive tasks, common in cognitive science literature. By using the test battery, we conducted an online experiment to collect the benchmark data. Results conducted on 2 separate days showed the high cross-day reliability. Specifically, the task performance did not largely change with the different days. Besides, our test battery captures diverse individual differences and can evaluate them based on the cognitive factors extracted from latent factor analysis. Since we share our source code as open-source software, users can expand and manipulate experimental conditions flexibly. Our test battery is also flexible in terms of the experimental environment, i.e., it is possible to experiment either online or in a laboratory environment. (shrink)

We explore the nature of forgetting in a corpus of 125,000 students learning Spanish using the Rosetta Stone® foreign-language instruction software across 48 lessons. Students are tested on a lesson after its initial study and are then retested after a variable time lag. We observe forgetting consistent with power function decay at a rate that varies across lessons but not across students. We find that lessons which are better learned initially are forgotten more slowly, a correlation which likely reflects (...) a latent cause such as the quality or difficulty of the lesson. We obtain improved predictive accuracy of the forgetting model by augmenting it with features that encode characteristics of a student's initial study of the lesson and the activities the student engaged in between the initial and delayed tests. The augmented model can predict 23.9% of the variance in an individual's score on the delayed test. We analyze which features best explain individual performance. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about (...) the world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance. In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

Social attachment can explain well the bond between users and social media, but existing research lacks measures of social attachment scales. To this end, this study takes attachment theory as the basis for scale development. On the basis of the development of multidimensional scales for adult, brand, and local attachment, it combines existing relevant studies on social attachment, selects three representative social media such as TikTok, WeChat, and MicroBlog as theoretical samples, explores the concept and structure of social attachment, and (...) develops a social attachment scale through qualitative interviews and open-ended questionnaires. This study applied SPSS 24.0 and Mplus 7.0 to test the social attachment scale. The findings reveal that social attachment consists of three constructs: social connection, social dependence and social identity, and the scale possesses high reliability and validity. This study has developed and validated a social attachment scale in the context of social software use, realizing a quantitative study of social attachment and providing a basis for future empirical research related to social attachment. (shrink)

Objective Gather information from physicians about factors contributing to unnecessary noninvasive imaging and impact of possible solutions. Methods Qualitative study of 14 physicians using a phenomenological approach and the Theoretical Domains Framework. Results Most participants self-reported that >10% of the imaging tests they order are unnecessary. External sources of pressure included: peer-review, patient demands, nursing expectations, specialist requests, as well as prior experience with patient advocates, and the compensation and pension system. Internal sources of pressure included reliance on anecdote, self-doubt (...) about diagnoses, and fear of missing a diagnosis and of professional liability. Participants expressed both optimism and concern about potential solutions, such as adopting decision support software. Conclusion Physicians are under pressure from multiple sources to order unnecessary imaging. Peer review, nursing expectations, and perceptions about Veteran compensation and pension are newly reported contributing factors. (shrink)

This paper provides a review of Raymond Turner’s book Computational Artefacts. Towards a Philosophy of Computer Science. Focus is made on the definition of program correctness as the twofold problem of evaluating whether both the symbolic program and the physical implementation satisfy a set of specifications. The review stresses how these are not two separate problems. First, it is highlighted how formal proofs of correctness need to rely on the analysis of physical computational processes. Secondly, it is underlined how (...) class='Hi'>software testing requires considering the formal relations holding between the specifications and the symbolic program. Such a mutual dependency between formal and empirical program verification methods is finally shown to influence the debate on the epistemological status of computer science. (shrink)

Observations from philosophy and psychology heavily favor the Empiricist tenet that many lexical concepts are learned. However, many observations also heavily favor the Nativist tenet that such concepts are representationally atomic. Fodor Representations: Philosophical essays on the foundations of cognitive science, 1981, LOT2: The language of thought revisited, 2008) has famously argued that representationally atomic concepts cannot be learned, at least not learned by hypothesis formation and testing. Concept theorists who want to preserve observations about concept learning have developed (...) acquisition models on which the acquired concepts are either non-atomic or are acquired by a process that doesn’t involve hypothesis formation and testing. I offer a model, Baptizing Meanings for Concepts, in which representationally atomic concepts are learned by hypothesis formation and testing. The concepts are learned by the agent’s hypothesizing the existence of a latent/hidden/imperceptible property in objects to explain the objects’ perceptible similarities. Once a hidden property is hypothesized, a new atomic mental name is assigned to it, and this atomic name becomes the concept. Any connections between the name and the representations involved in linking the name to its referent are stored as contingent. Further experience may give the agent reason to revise its hypotheses about latent properties as explanations for its observations. I discuss a software robot implementation of the BMC process that uses a Bayesian learning network. The implementation provides an existence proof of the possibility of learning representationally atomic concepts by hypothesis formation and testing. (shrink)

Observations from philosophy and psychology heavily favor the Empiricist tenet that many lexical concepts are learned. However, many observations also heavily favor the Nativist tenet that such concepts are representationally atomic. Fodor Representations: Philosophical essays on the foundations of cognitive science, 1981, LOT2: The language of thought revisited, 2008) has famously argued that representationally atomic concepts cannot be learned, at least not learned by hypothesis formation and testing. Concept theorists who want to preserve observations about concept learning have developed (...) acquisition models on which the acquired concepts are either non-atomic or are acquired by a process that doesn’t involve hypothesis formation and testing. I offer a model, Baptizing Meanings for Concepts, in which representationally atomic concepts are learned by hypothesis formation and testing. The concepts are learned by the agent’s hypothesizing the existence of a latent/hidden/imperceptible property in objects to explain the objects’ perceptible similarities. Once a hidden property is hypothesized, a new atomic mental name is assigned to it, and this atomic name becomes the concept. Any connections between the name and the representations involved in linking the name to its referent are stored as contingent. Further experience may give the agent reason to revise its hypotheses about latent properties as explanations for its observations. I discuss a software robot implementation of the BMC process that uses a Bayesian learning network. The implementation provides an existence proof of the possibility of learning representationally atomic concepts by hypothesis formation and testing. (shrink)

The umbrella-term ‘executive functions’ includes various domain-general, goal-directed cognitive abilities responsible for behavioral self-regulation. The influential unity and diversity model of EF posits the existence of three correlated yet separable executive domains: inhibition, shifting and updating. These domains may be influenced by factors such as socioeconomic status and culture, possibly due to the way EF tasks are devised and to biased choice of stimuli, focusing on first-world testees. Here, we propose a FREE test battery that includes two open-access tasks for (...) each of the three abovementioned executive domains to allow latent variables to be obtained. The tasks were selected from those that have been shown to be representative of each domain, that are not copyrighted and do not require special hardware/software to be administered. These tasks were adapted for use in populations with varying SES/schooling levels by simplifying tasks/instructions and using easily recognized stimuli such as pictures. Items are answered verbally and tasks are self-paced to minimize interference from individual differences in psychomotor and perceptual speed, to better isolate executive from other cognitive abilities. We tested these tasks on 146 early adolescents of both sexes and varying SES, because this is the age group in which the executive domains of interest become distinguishable and in order to confirm that SES effects were minimized. Performance was determined by Rate Correct Scores, which consider speed-accuracy trade-offs. Scores were sensitive to the expected improvement in performance with age and rarely/inconsistently affected by sex and SES, as expected, with no floor or ceiling effects, or skewed distribution, thus suggesting their adequacy for diverse populations in these respects. Using structural equation modeling, evidence based on internal structure was obtained by replicating the three correlated-factor solution proposed by the authors of the model. We conclude that the FREE test battery, which is open access and described in detail, holds promise as a tool for research that can be adapted for a wide range of populations, as well as altered and/or complemented in coming studies. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about (...) the world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance.In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

To be successful, collaboration at work requires its participants to have a common sense about what is happening and where things are heading. But how can collaborators have such a sense in common if what is going on continuously changes? This study investigates the joint communicative work participants in collaborative activity do to remain aligned on how things are going and where things are at for the purpose of maintaining a ground in common. Our test case for illustrating this joint (...) work is the fluid and constantly changing world of software development. Our study uses a transactional approach to show how software developers working together continuously make available what they are attuned to, which constitutes their common ground that allows actions and talk to make sense. The common ground enables a common, inherently shared sense of what is happening and how things are going. Rather than having “meaning” in themselves, signifiers (words, gestures, body movements, cursor movements) create and are part of the common ground against which they make sense. Signifiers are motivated by and produce an accented visible that is available to all group members; and this accented visible (including the signs) makes for the common ground. (shrink)

The World Health Organization (WHO) recommends couple human immunodeficiency virus (HIV) counselling and testing (CHCT) as one of the beneficial and cost-effective means for the prevention of mother-to-child transmission (PMTCT) of HIV within couple’s relationships. However, CHCT within the PMTCT of HIV settings in Zimbabwe remains low. This study explored adult men and women’s views from a rural district of Zimbabwe regarding the possible factors that facilitate or inhibit the uptake of CHCT for the PMTCT of HIV. The study (...) utilised qualitative methods. Data were collected by conducting eight focus group discussions among adult men and women, as well as eight in-depth interviews with pregnant women admitted in antenatal wards in local hospitals. Thematic analysis was used for analysing the data with the aid of NVivo software. The study revealed that CHCT initiatives were hampered by certain patriarchal behaviours and beliefs that make it acceptable for men to have multiple sexual partners, thereby exposing their marriages and relationships to HIV. Social constructions around gender roles tend to prescribe women as the sole custodians of children’s health, and this led to stigmatisation against men who participated in PMTCT programmes. In addition, certain religious practices do not allow the use of medicine, which makes CHCT a nonevent. However, engaging men on platforms that advocate for progressive masculinities and raising awareness of this practice through information dissemination were identified as enablers in increasing CHCT. Contribution: The significant contribution of this study is that it demonstrated the importance of acknowledging the societal, cultural and religious practices inherent in a community, as they are central to their responses to HIV prevention interventions. (shrink)

The World Health Organization (WHO) recommends couple human immunodeficiency virus (HIV) counselling and testing (CHCT) as one of the beneficial and cost-effective means for the prevention of mother-to-child transmission (PMTCT) of HIV within couple’s relationships. However, CHCT within the PMTCT of HIV settings in Zimbabwe remains low. This study explored adult men and women’s views from a rural district of Zimbabwe regarding the possible factors that facilitate or inhibit the uptake of CHCT for the PMTCT of HIV. The study (...) utilised qualitative methods. Data were collected by conducting eight focus group discussions among adult men and women, as well as eight in-depth interviews with pregnant women admitted in antenatal wards in local hospitals. Thematic analysis was used for analysing the data with the aid of NVivo software. The study revealed that CHCT initiatives were hampered by certain patriarchal behaviours and beliefs that make it acceptable for men to have multiple sexual partners, thereby exposing their marriages and relationships to HIV. Social constructions around gender roles tend to prescribe women as the sole custodians of children’s health, and this led to stigmatisation against men who participated in PMTCT programmes. In addition, certain religious practices do not allow the use of medicine, which makes CHCT a nonevent. However, engaging men on platforms that advocate for progressive masculinities and raising awareness of this practice through information dissemination were identified as enablers in increasing CHCT.Contribution: The significant contribution of this study is that it demonstrated the importance of acknowledging the societal, cultural and religious practices inherent in a community, as they are central to their responses to HIV prevention interventions. (shrink)

This paper firstly introduces the basic knowledge of music, proposes the detailed design of a music retrieval system based on the knowledge of music, and analyzes the feature extraction algorithm and matching algorithm by using the features of music. Feature extraction of audio data is the important research of this paper. In this paper, the main melody features, MFCC features, GFCC features, and rhythm features, are extracted from audio data and a feature fusion algorithm is proposed to achieve the fusion (...) of GFCC features and rhythm features to form new features under the processing of principal component analysis dimensionality reduction. After learning the main melody features, MFCC features, GFCC features, and rhythm features, based on the property that PCA dimensionality reduction can effectively reduce noise and improve retrieval efficiency, this paper proposes vector fusion by dimensionality reduction of GFCC features and rhythm features. The matching retrieval of audio features is an important task in music retrieval. In this paper, the DTW algorithm is chosen as the main algorithm for retrieving music. The classification retrieval of music is also achieved by the K-nearest neighbor algorithm. In this paper, after implementing the research and improvement of algorithms, these algorithms are integrated into the system to achieve audio preprocessing, feature extraction, feature postprocessing, and matching retrieval. This article uses 100 different kinds of MP3 format music as the music library and randomly selects 4 pieces each time, and it tests the system under different system parameters, recording duration, and environmental noise. Through the research of this paper, the efficiency of music retrieval is improved and theoretical support is provided for the design of music retrieval software integration system. (shrink)

The ambition and proposal for data modeling of myths presented in this paper is to link contemporary technical affordances to some canonical projects developed in structural anthropology. To articulate the theoretical promise and innovation of this proposal, we present a discrete-event system specification modeling and simulation approach in order to perform a generative analysis and a dynamic visualization of selected narratives, aimed at validating and revitalizing the transformational and morphodynamic theory and methodology proposed by Claude Lévi-Strauss in his structural analysis (...) of myth. After an analysis of Lévi-Strauss’s transformational methodology, we describe in detail how discrete-event system specification models are implemented and developed in the framework of a DEVSimPy software environment. The validation of the method involves a discrete-event system specification simulation based on the extension of discrete-event system specification models dedicated to provide a dynamic Google Earth visualization of the selected myth. Future work around the discrete-event system specification formalism in anthropology is described as well as future applications regarding the impact of computational models to new contemporary anthropological domains. (shrink)

Unmanned aerial vehicles, particularly quadcopters, have several medical, agriculture, surveillance, and security applications. However, the use of this innovative technology for civilian applications is still very limited in low-income countries due to the high cost, whereas low-cost controllers available in the market are often tuned using the hit and trial approach and are limited for specific applications. This paper addresses this issue and presents a novel proof of concept low-cost quadcopter UAV design approach using a systematic Model-Based Design method for (...) mathematical modeling, simulation, real-time testing, and prototyping. The quadcopter dynamic model is developed, and controllers are designed using Proportional Integral, and Derivative, Pole Placement, and Linear Quadratic Regulator control strategies. The stability of the controllers is also checked using Lyapunov stability analysis. For verification and validation of the design, Software-in-the-Loop, Processor-in-the-Loop, Hardware-in-the-loop testing, and Rapid Control Prototyping have been performed. The V&V methods of the MBD approach showed practically valid results with a stable flight of the quadcopter prototype. The proposed low-cost POC quadcopter design approach can be easily modified to have enhanced features, and quadcopters with different design parameters can be assembled using this approach for a diverse range of applications. (shrink)

With the continuous development of software, it is inevitable that there will be various unpredictable problems in computer software or programs that will damage the normal operation of the software. In the paper, static analysis software is taken as the research object, the errors or failures caused by the potential defects of the software modules are analyzed, and a software analysis method based on big data tendency prediction is proposed to use the software (...) defects of the stacked noise reduction sparse analyzer to predict. This method can learn features from original defect data, directly and efficiently extract required features of all levels from software defect data by setting different number of hidden layers, sparse regularization parameters, and noise ratio, and then classify and predict the extracted features by combining with big data. Through experimental tests, the performance of the presented method is better than that of the comparison method in correct rate, accuracy rate, recall rate, F1-measurement, AUC value, and running time, which proves that the research results in this paper have more accurate failure prediction effect and can timely eliminate software failures. (shrink)

The growing availability of computer power and statistical software has greatly increased the ease with which practitioners apply statistical methods, but this has not been accompanied by attention to checking the assumptions on which these methods are based. At the same time, disagreements about inferences based on statistical research frequently revolve around whether the assumptions are actually met in the studies available, e.g., in psychology, ecology, biology, risk assessment. Philosophical scrutiny can help disentangle 'practical' problems of model validation, and (...) conversely, a methodology of statistical model validation can shed light on a number of issues of interest to philosophers of science. (shrink)

Background Noninvasive prenatal testing (NIPT) designed to screen for fetal genetic conditions, is increasingly being implemented as a part of routine prenatal care screening in the United States (US). However, these advances in reproductive genetic technology necessitate empirical research on the ethical and social implications of NIPT among populations underrepresented in genetic research, particularly Black women with sickle cell disease (SCD).Methods Forty (N = 40) semi-structured interviews were conducted virtually with Black women in the US (19 participants with SCD; (...) 21 participants without SCD) from June 2021 to January 2022. We employed a qualitative approach to examine the study participants’ perceptions of the potential advancement of NIPT for screening SCD in the fetus. Data were analyzed using NVivo 12 qualitative software.Results The themes revealed the complexities involving the intersectional lived experiences of SCD, prenatal care, lack of synergy among health providers, and NIPT decision-making. The results further revealed that even when Black women have shared commonalities in their lived experiences while navigating SCD and motherhood, their perceptions of NIPT screening technologies are divergent.Conclusion Expanding the ethical discourse on the social implications of NIPT is critical to fully elucidate how Black women perceive NIPT’s utility, particularly as NIPT advances to screen for SCD in the fetus. Neglecting to include Black women with genetic conditions in empirical studies on NIPT may contribute to ongoing health inequities and limit and constrain reproductive choices among Black women with and without SCD. (shrink)

This paper argues that the Turing test is based on a fixed and de-contextualized view of communicative competence. According to this view, a machine that passes the test will be able to communicate effectively in a variety of other situations. But the de-contextualized view ignores the relationship between language and social context, or, to put it another way, the extent to which speakers respond dynamically to variations in discourse function, formality level, social distance/solidarity among participants, and participants' relative degrees of (...) power and status. In the case of the Loebner Contest, a present day version of the Turing test, the social context of interaction can be interpreted in conflicting ways. For example, Loebner discourse is defined 1) as a friendly, casual conversation between two strangers of equal power, and 2) as a one-way transaction in which judges control the conversational floor in an attempt to expose contestants that are not human. This conflict in discourse function is irrelevant so long as the goal of the contest is to ensure that only thinking, human entities pass the test. But if the function of Loebner discourse is to encourage the production of software that can pass for human on the level of conversational ability, then the contest designers need to resolve this ambiguity in discourse function, and thus also come to terms with the kind of competence they are trying to measure. (shrink)

This study aimed to determine the extent to which the principles of privacy and equality were observed during diagnostic genetic testing according to views held by patients or child patients' parents (n = 106) and by staff (n = 162) from three Finnish university hospitals. The data were collected through a structured questionnaire and analysed using the SAS 8.1 statistical software. In general, the two principles were observed relatively satisfactorily in clinical practice. According to patients/parents, equality in the (...) post-analytic phase and, according to staff, privacy in the pre-analytic phase, involved the greatest ethical problems. The two groups differed in their views concerning pre-analytic privacy. Although there were no major problems regarding the two principles, the differences between the testing phases require further clarification. To enhance privacy protection and equality, professionals need to be given more genetics/ethics training, and patients individual counselling by genetics units staff, giving more consideration to patients' world-view, the purpose of the test and the test result. (shrink)

In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a (...) software implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software. (shrink)

In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a (...) software implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software. (shrink)

This paper addresses the possibility of measuring perceived usability in an absolute way. It studies the impact of the nature of the tasks performed in perceived software usability evaluation, using for this purpose the subjective evaluation of an application’s performance via the Software Usability Measurement Inventory (SUMI). The paper reports on the post-hoc analysis of data from a productivity study for testing the effect of changes in the graphical user interface (GUI) of a market leading drafting application. (...) Even though one would expect similar evaluations of an application’s usability for same releases, the analysis reveals that the output of this subjective appreciation is context sensitive and therefore mediated by the research design. Our study unmasked a significant interaction between the nature of the tasks used for the usability evaluation and how users evaluate the performance of this application. This interaction challenges the concept of absolute benchmarking in subjective usability evaluation, as some software evaluation methods aspire to provide, since subjective measurement of software quality will be affected most likely by the nature of the testing materials used for the evaluation. (shrink)

Large amount of data are exchanged and the internet is turning into twenty-first century Silk Road for data. Machine learning (ML) is the new area for the applications. The artificial intelligence (AI) is the field providing machines with intelligence. In the last decades, more developments have been made in the field of ML and deep learning. The technology and other advanced algorithms are implemented into more computational constrained devices. The online English test system based on ML breaks the shackles of (...) the traditional paper English test and improves the efficiency of the English test. At the same time, it also maintains the fairness of English test and improves the marking speed. In order to realize an online English test system based on ML and facilitate the assessment of students’ college English courses, this paper mainly adopts relevant research and design on the main functional modules, key technologies, and functional realization of the online English test. The brand-new powerful teaching software and the online examination system can help schools to conduct more systematic and scientific management. The conclusion shows that as brand-new and powerful teaching software, the online examination system can help schools to conduct more systematic and scientific management. (shrink)