Filters








6,990 Hits in 7.8 sec

Checklist-Based Techniques with Gamification and Traditional Approaches for Inspection of Interaction Models

Adriana Damian, Anna Beatriz Marques, Williamson Silva, Simone Diniz Junqueira Barbosa, Tayana Conte
2020 IET Software  
In the first and second studies, we evaluated MCards and MCheck in comparison with an ad-hoc technique supported by the conventional inspection approach based on defect types.  ...  MCards employs a gamification mechanism to motivate practitioners during the inspection. MCheck is a simple technique to be used by practitioners in a traditional way.  ...  Acknowledgments We thank the support provided by CAPES/Procad (grant no.  ... 
doi:10.1049/iet-sen.2019.0171 fatcat:s752m2xlyjdinjbdfmj7kqi3fu

Reducing the barriers to writing verified specifications

Todd W. Schiller, Michael D. Ernst
2012 SIGPLAN notices  
First, we show that VeriWeb lowers the time and monetary cost of verification by performing a comparative study of VeriWeb and a traditional tool using 14 paid subjects contracted hourly from Exhedra Solution's  ...  Second, we demonstrate the dearth and insufficiency of current ad-hoc labor marketplaces for verification by recruiting workers from Amazon's Mechanical Turk to perform verification with VeriWeb.  ...  This material is based upon work supported by a National Science Foundation Graduate Research Fellowship under Grant No. DGE-0718124 and DARPA under Grant No. FA8750-11-2-0221.  ... 
doi:10.1145/2398857.2384624 fatcat:476ltmp4y5aqnbz5dj6sa5mo5m

Reducing the barriers to writing verified specifications

Todd W. Schiller, Michael D. Ernst
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
First, we show that VeriWeb lowers the time and monetary cost of verification by performing a comparative study of VeriWeb and a traditional tool using 14 paid subjects contracted hourly from Exhedra Solution's  ...  Second, we demonstrate the dearth and insufficiency of current ad-hoc labor marketplaces for verification by recruiting workers from Amazon's Mechanical Turk to perform verification with VeriWeb.  ...  This material is based upon work supported by a National Science Foundation Graduate Research Fellowship under Grant No. DGE-0718124 and DARPA under Grant No. FA8750-11-2-0221.  ... 
doi:10.1145/2384616.2384624 dblp:conf/oopsla/SchillerE12 fatcat:jltluayp4nc5rmtidva2vanztu

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines [chapter]

Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani
2010 Lecture Notes in Computer Science  
Each approach has its own peculiarities and thus a comparison is necessary.  ...  Moreover, we extend such analysis by considering the tools and the facilities that GLARE and GPROVE provide to support the use of GLs.  ...  This work has been partially supported by the FIRB Project TOCAI.IT.  ... 
doi:10.1007/978-3-642-11808-1_7 fatcat:utstjnau2vgftj5eawfk7m64bi

The Significance of Member Validation in Qualitative Analysis: Experiences from a Longitudinal Case Study

Bendik Bygstad, Bjorn Munkvold
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
The paper discusses methodological and validity aspects of member validation, and illustrates these issues with experiences from member validation in a longitudinal, interpretive case study in an airline  ...  This article explores the concept of member validation and its potential role in the process of constructing case descriptions and interpretations in qualitative research.  ...  and not simply post-hoc rationalization of the data?  ... 
doi:10.1109/hicss.2007.553 dblp:conf/hicss/BygstadM07 fatcat:wfz2htlm6vafxjc3dgb7r5tjau

Model-based requirements verification method: Conclusions from two controlled experiments

Daniel Aceituna, Gursimran Walia, Hyunsook Do, Seok-Won Lee
2014 Information and Software Technology  
The objective of this paper is to propose a method that can address the challenges with NL requirements verification and to evaluate our proposed method through controlled experiments.  ...  Method: We propose a model-based requirements verification method, called NLtoSTD, which transforms NL requirements into a State Transition Diagram (STD) that can help to detect and to eliminate ambiguities  ...  Acknowledgments This work was supported, in part, by NSF Awards CNS-0855106 and CCF-1050343 as well as NSF CAREER Award CCF-1149389 to North Dakota State University.  ... 
doi:10.1016/j.infsof.2013.11.004 fatcat:a2u7m3xvyjgalaremgoq733gha

Traction Awareness Through Haptic Feedback for the Teleoperation of UGVs*

Rute Luz, Jose Corujeira, Jose Luis Silva, Rodrigo Ventura
2018 2018 27th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN)  
ACKNOWLEDGMENT The authors thank the MINT research team, from Inria Lille -Nord Europe for giving us the opportunity to work with the E-vita device, all the participants that volunteered for the user study  ...  and Diogo Serra, Ignacio Caballero and Mithun Kinarullathil for their assistance during preparation and execution of the study.  ...  Comparing these results to the ones obtained on a query-by-query basis, it is observable that there is a difference between the device with greater % of SAGAT Correct Answers (VB) and the qualitatively  ... 
doi:10.1109/roman.2018.8525740 dblp:conf/ro-man/LuzCSV18 fatcat:udw4id5hnvevhoshz54wpwxnga

Differences in the Use of Search Assistance for Tasks of Varying Complexity

Robert Capra, Jaime Arguello, Anita Crescenzi, Emily Vardell
2015 Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval - SIGIR '15  
In this paper, we study how users interact with a search assistance tool while completing tasks of varying complexity.  ...  We report on a laboratory study with 48 participants that investigates different factors that may influence user interaction with the SG and the effects of the SG on different outcome measures.  ...  We report on a user study with 48 participants.  ... 
doi:10.1145/2766462.2767741 dblp:conf/sigir/CapraACV15 fatcat:lonf66y75rdavjhjw3ybcri3le

Learning Post-Hoc Causal Explanations for Recommendation [article]

Shuyuan Xu, Yunqi Li, Shuchang Liu, Zuohui Fu, Xu Chen, Yongfeng Zhang
2021 arXiv   pre-print
In this paper, we propose to extract causal rules from the user interaction history as post-hoc explanations for the black-box sequential recommendation mechanisms, whilst maintain the predictive accuracy  ...  Our approach firstly achieves counterfactual examples with the aid of a perturbation model, and then extracts personalized causal relationships for the recommendation model through a causal rule mining  ...  ACKNOWLEDGEMENT This work was supported in part by NSF IIS-1910154.  ... 
arXiv:2006.16977v2 fatcat:2ngtmfbgzvat7cgvsitm5r25hu

How Architects See Non-Functional Requirements: Beware of Modifiability [chapter]

Eltjo R. Poort, Nick Martens, Inge van de Weerd, Hans van Vliet
2012 Lecture Notes in Computer Science  
This paper presents the analysis and key findings of a survey about dealing with non-functional requirements (NFRs) among architects.  ...  Furthermore, IT projects that applied NFR verification techniques relatively early in development were more successful on average than IT projects that did not apply verification techniques (or applied  ...  applied in an ad-hoc fashion by a single stakeholder; moreover, the approaches are not really orthogonal with respect to the development phases.  ... 
doi:10.1007/978-3-642-28714-5_4 fatcat:3snbegjhubfk3ms7zgym625luy

Computer support for knowledge construction in collaborative learning environments

Pieter J. Beers, Henny P.A. (Els) Boshuizen, Paul A. Kirschner, Wim H. Gijselaers
2005 Computers in Human Behavior  
In this paper an ICT-tool to support complex problem solving is studied. A framework for knowledge construction inspired the design of computer support for knowledge construction.  ...  This may have been caused by some disruption of group processes.  ...  , Wim van der Vegt for his excellent job programming NTool, and Jochem Westendorp for his assistance during the study.  ... 
doi:10.1016/j.chb.2004.10.036 fatcat:f2hyszszn5horezfivrcgfpnvm

The Role of Domain Expertise in User Trust and the Impact of First Impressions with Intelligent Systems [article]

Mahsan Nourani, Joanie T. King, Eric D. Ragan
2020 arXiv   pre-print
In this paper, we present a controlled user study to explore the role of domain knowledge in establishing trust and susceptibility to the influence of first impressions on user trust.  ...  While it is also known that user trust can be influenced by first impressions with intelligent systems, our research explores the relationship between ordering bias and domain expertise when encountering  ...  Vincent Bindschaedler for providing constructive feedback and suggestions on this study, as well as Emma Drobina, Brianna Richardson, and Prashant Singh for their initial efforts on this project.  ... 
arXiv:2008.09100v1 fatcat:fgnvmairpfgptnqufs5u7qx5n4

How does information around acute events come into being on social media?

Jing Zeng
2015 JeDEM - eJournal of eDemocracy & Open Government  
In this digital age, as social media is emerging as a central site where information is shared and interpreted, it is essential to study information construction issues on social media sites in order to  ...  By contrast, this study emphasizes the constructed and interpretive nature of information and explores the processes through which information surrounding acute events comes into being on micro-blogs.  ...  By doing so, users with a similar interpretation can be put in a cluster.  ... 
doi:10.29379/jedem.v7i1.375 fatcat:pp3hys4lbnh3vgw3tapx5mrca4

Does user-centred design affect the efficiency, usability and safety of CPOE order sets?

Julie Chan, Kaveh G Shojania, Anthony C Easty, Edward E Etchells
2011 JAMIA Journal of the American Medical Informatics Association  
Mean task times were: User Centred Design format 273 s, Paper format 293 s (p¼0.73 compared to UCD format), and CPOE Test format 637 s (p<0.0001 compared to UCD format).  ...  Results 27 study participants completed 108 order sets.  ...  Funding This research was funded by Information Services, Sunnybrook Health Sciences Centre.  ... 
doi:10.1136/amiajnl-2010-000026 pmid:21486886 pmcid:PMC3078654 fatcat:vuxwej46t5ephm2y7e77qzi4gm

Evaluating Processes to Certify Mobile Applications during Developer Relations Activities

Awdren Fontao, Pedro Paes, Oswald Ekwoge, Rodrigo Pereira dos Santos, Arilo Claudio Dias-Neto
2020 IEEE Access  
We describe two empirical studies: feasibility and observational. MSECO-CERT produced a growth coefficient of downloads (363%) and average user ratings (28%) when compared to an ad hoc approach.  ...  Our studies also helped to evolve MSECO-CERT by refining roles, activities and artifacts. INDEX TERMS Software ecosystem, developer relations, mobile application.  ...  Some empirical studies and industrial reports [30] point out that once a mobile application is available to users in stores, it is very difficult to reduce the impact of ''first impression'' by correcting  ... 
doi:10.1109/access.2020.3009921 fatcat:e4pn5wzpxbai5diwgssm2tqpme
« Previous Showing results 1 — 15 out of 6,990 results