Towards a Non-Functional Requirements Discovery Approach for Persuasive Systems

[Abstract] A number of software systems that attempt to help people achieve behavior change have been proposed in various domains such as health and wellness. However, sometimes, such systems have failed to provide a satisfactory or sustainable User Experience (UX), as it is observed when users may be reluctant to respond to the activation of the systems' changing demands. Moreover, a negative User Experience (UX) can be exposed by Behavior Change Support Systems (BCSS) if designers do not have clear understanding of the requirements that factually help changing the user behavior that accomplishes a sustainability goal. We first explored the Persuasive System Design (PSD) model that should be considered in UX assessment of BCSSs. Then, we propose a requirements discovery process that can be considered to redesign a software interactive system based on negative UX.This work has received partial support by the projects FEDER-UE CSI ED431G/01, ED43C 2018/29, accreditation 2016-2019 ED431G/08, KUSISQA supported by N° 014-2019-FONDECYT-BM-INC.INV, NOVA LINCS UID/CEC/04516/2019, MICINN IJC2018-037522-I, RTI2018-099646-B-I00Xunta de Galicia; ED431G/01Xunta de Galicia; ED43C 2018/29Xunta de Galicia; ED431G/08Gobierno de Chile; 014-2019-FONDECYTBM-INC.INVRepública Portuguesa. Fundação para a Ciência e a Tecnologia; UID/CEC/04516/201

Computability on quasi-Polish spaces

International audienceWe investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits several characterizations. We show that some natural effectivizations of quasi-metric spaces are strictly stronger

In Vitro Reassortment between Endemic H1N2 and 2009 H1N1 Pandemic Swine Influenza Viruses Generates Attenuated Viruses

The pandemic H1N1 (pH1N1) influenza virus was first reported in humans in the spring of 2009 and soon thereafter was identified in numerous species, including swine. Reassortant viruses, presumably arising from the co-infection of pH1N1 and endemic swine influenza virus (SIV), were subsequently identified from diagnostic samples collected from swine. In this study, co-infection of swine testicle (ST) cells with swine-derived endemic H1N2 (MN745) and pH1N1 (MN432) yielded two reassortant H1N2 viruses (R1 and R2), both possessing a matrix gene derived from pH1N1. In ST cells, the reassortant viruses had growth kinetics similar to the parental H1N2 virus and reached titers approximately 2 log10 TCID50/mL higher than the pH1N1 virus, while in A549 cells these viruses had similar growth kinetics. Intranasal challenge of pigs with H1N2, pH1N1, R1 or R2 found that all viruses were capable of infecting and transmitting between direct contact pigs as measured by real time reverse transcription PCR of nasal swabs. Lung samples were also PCR-positive for all challenge groups and influenza-associated microscopic lesions were detected by histology. Interestingly, infectious virus was detected in lung samples for pigs challenged with the parental H1N2 and pH1N1 at levels significantly higher than either reassortant virus despite similar levels of viral RNA. Results of our experiment suggested that the reassortant viruses generated through in vitro cell culture system were attenuated without gaining any selective growth advantage in pigs over the parental lineages. Thus, reassortant influenza viruses described in this study may provide a good system to study genetic basis of the attenuation and its mechanism

Automated assistance for human factors analysis in complex systems

A tool and a method for scenario-based workload assessment and performance validation in complex socio-technical systems design, such as command and control rooms of military vessels, are described. We assess workload in terms of communication and the task load that each agent is able to handle. The method employs subjective task and communication estimates used to calculate the workload of human operators, using static and scenario-based analyses. This enables the identification of bottlenecks to be addressed by the designer with the appropriate allocation of function between humans and smart technology. This task is supported by the functional allocation adviser tool. A case study demonstrating the use of the tool for the design of the command and control room of a military vessel is presented

Extending UML with non-functional requirements modelling

Non-Functional Requirements (NFR) have been for too long overlooked during the development of software systems, leading in numerous cases to failure, an over budget or even cancellation of projects. In this paper, we propose a solution to integrate the modelling of NFRs into the UML diagrams. Our framework is inspired by several proposals in this critical area, but it is the first time that a unified process, allowing possible integration of NFRs in necessary UML diagrams, is proposed