检索结果-内蒙古大学图书馆

18th International Conference on Interfaces and Human Computer Interaction 2024, IHCI 2024, the 17th International Conference on Game and Entertainment Technologies 2024, GET 2024 and the 18th International Conference on Computer Graphics, Visualization, Computer Vision and Image Processing 2024, CGVCVIP 2024, Part of the 18th Multi Conference on Computer Science and Information systems 2024, MCCSIS 2024

作者： Eskandari, Sadjad Valente, Juan P. Department of Languages Information Systems and Software Engineering Universidad Politécnica de Madrid Madrid28660 Spain

ISBN: (纸本)9789898704580

In the present paper, a comprehensive review was performed on the application of technology acceptance models (TAM) in the healthcare sector. The important post-2019 published papers were searched and extracted by the Google Scholar search engine and important papers were taken into consideration for further analysis related to the use of recently utilized models on the final results of TAM based on different case studies. Although TAM has shown to have an outstanding role in predicting clinician acceptance and health information technology (IT) usage, there is still a need for improvement in cases of standardization, further relationship testing, better data reporting, and the exploration of new variables. In this regard, one can prioritize identifying clinicians' specific beliefs about health IT, enhancing the applicability of TAM in healthcare by evaluating contextual factors, barriers, facilitators, and social norms impacting IT adoption. In addition, based on the classification of recent studies into general variables and results, usefulness, ease of use, trust, and privacy concerns were determined as important factors in patients' acceptance of technology in healthcare services, and related recommendations were provided in this work. TAM-based models offer valuable insights into the adoption and acceptance of healthcare technologies and researchers and healthcare organizations should be mindful of their limitations and consider future research directions to enhance their applicability in an ever-evolving healthcare landscape. © 2024 Interfaces and Human Computer Interaction. All Rights Reserved.

关键词： Electronic health record

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Framework for Effective Utilization of Distributed Scrum in software Projects

引用

Computer systems Science & engineering 2023年第1期44卷 407-422页

作者： Basit Shahzad Wardah Naeem Awan Fazal-e-Amin Ahsanullah Abro Muhammad Shoaib Sultan Alyahya Department of Software Engineering National University of Modern LanguagesIslamabad44000Pakistan Department of Software Engineering College of Computer and Information SciencesKing Saud UniversityRiyadh11543Saudi Arabia Department of Computer Science Sukkur IBA UniversitySindh65200Pakistan Department of Information Systems College of Computer and Information SciencesKing Saud UniversityRiyadh11543Saudi Arabia

There is an emerging interest in using agile methodologies in Global software Development(GSD)to get the mutual benefits of both *** is currently admired by many development teams as an agile most known meth-odology and considered adequate for collocated *** the same time,stake-holders in GSD are dispersed by geographical,temporal,and socio-cultural *** to the controversial nature of Scrum and GSD,many significant challenges arise that might restrict the use of Scrum in *** conducted a Sys-tematic Literature Review(SLR)by following Kitchenham guidelines to identify the challenges that limit the use of Scrum in GSD and to explore the mitigation strategies adopted by practitioners to resolve the *** validate our reviewfindings,we conducted an industrial survey of 305 *** results of our study are consolidated into a research *** framework represents current best practices and recommendations to mitigate the identified distributed scrum challenges and is validated byfive experts of distributed *** of the expert review were found supportive,reflecting that the framework will help the stakeholders deliver sustainable products by effectively mitigating the identified challenges.

关键词： Global software development distributed Scrum sustainable development challenges mitigation strategies

来源：评论

学校读者我要写书评

暂无评论

Testing the Techpeoplecare Methodology for Basic Digital Literacy Training: A Case Study with Vulnerable Cohorts in an Urban Area

SSRN

引用

SSRN 2024年

作者： Urbano-Molina, Clara Muñoz-Hernández, Susana Herranz-Nieva, Ángel Benac-Earle, Clara Department of Languages and Systems and Software Engineering Universidad Politécnica de Madrid Madrid Spain

The basic digital literacy methodology ‘TechPeopleCare’ created by the Universidad Politécnica of Madrid addresses the problem of the second-level divide in operational digital skills by offering a solution with the following main characteristics: (i) audio-visual material adapted to the target population, (ii) individual and easy to navigate two-screen infrastructure, and (iii) no teacher. In this article, we present the results obtained from the evaluation of the methodology by 70 people from two Adult Education Centers, one Social Services Center, two Centers for the Psychosocial Recovery of Individuals with Mental Illness, a Female Penitentiary Center, a library and two Spaces for Equality, all in the city of Madrid. The results show that the methodology has been positively evaluated by a variety of profiles who were previously in situations of vulnerability and/or social exclusion, allowing, in the participants' own words, for individual learning at a "truly basic level" with an "accessible and empathetic" tone. © 2024, The Authors. All rights reserved.

关键词： Personnel training

来源：评论

学校读者我要写书评

暂无评论

End-to-end entity extraction from OCRed texts using summarization models

引用

Neural Computing and Applications 2024年第35期36卷 22347-22363页

作者： Villa-García, Pedro A. Alonso-Calvo, Raúl García-Remesal, Miguel Biomedical Informatics Group Department of Artificial Intelligence Universidad Politécnica de Madrid Campus Montegancedo s/n Boadilla del Monte Madrid28660 Spain Biomedical Informatics Group Department of Languages Informatic Systems and Software Engineering Universidad Politécnica de Madrid Campus Montegancedo s/n Boadilla del Monte Madrid28660 Spain

A novel methodology is introduced for extracting entities from noisy scanned documents by using end-to-end data and reformulating the entity extraction task as a text summarization problem. This approach offers two significant advantages over traditional entity extraction methods while maintaining comparable performance. First, it utilizes preexisting data to construct datasets, thereby eliminating the need for labor-intensive annotation procedures. Second, it employs multitask learning, enabling the training of a model via a single dataset. To evaluate our approach against state-of-the-art methods, we adapted three commonly used datasets, namely, Conference on Natural Language Learning (CoNLL++), few-shot named entity recognition (Few-NERD), and WikiNEuRal domain adaptation (WikiNEuRal + DA), to the format required by our methodology. We subsequently fine-tuned four sequence-to-sequence models: text-to-text transfer transformer (T5), fine-tuned language net T5 (FLAN-T5), bidirectional autoregressive transformer (BART), and pretraining with extracted gap sentences for abstractive summarization sequence-to-sequence models (PEGASUS). The results indicate that, in the absence of optical character recognition (OCR) noise, the BART model performs comparably to state-of-the-art methods. Furthermore, the performance degradation was limited to 3.49–5.23% when 39–62% of the sentences contained OCR noise. This performance is significantly superior to that of previous studies, which reported a 10–20% decrease in the F1 score with texts that had a 20% OCR error rate. Our experimental results demonstrate that a single model trained via our methodology can reliably extract entities from noisy OCRed texts, unlike existing state-of-the-art approaches, which require separate models for correcting OCR errors and extracting entities. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Optical character recognition

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+})$ , into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive “failuresy” through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding $\text { TLA }^{+}$ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in $\text { TLA }^{+}$ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudi

关键词： Computer science Open Access Model checking System recovery software Safety Logic Reliability Proposals software engineering

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+

arXiv

引用

arXiv 2024年

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one’s undergraduate studies, (3) demonstrate how to address successive "failures" through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Uvlhub: A Feature Model Data Repository Using Uvl and Open Science Principles

SSRN

引用

SSRN 2023年

作者： Romero-Organvidez, David Galindo, José A. Sundermann, Chico Horcas, Jose-Miguel Benavides, David Department of Computer Languages and Systems University of Seville Spain Institute of Software Engineering and Programming Languages Ulm University Germany CAOSD ITIS Software University of Málaga Spain

Feature models are the de facto standard for modelling variabilities and commonalities. Concrete models in different domains exist;however, many are in private or sparse repositories or belong to discontinued projects. The dispersion of knowledge of feature models hinders the study and reuse of these artefacts in different studies. The Universal Variability Language (UVL) is a community effort textual feature model language that promotes a common way of serialising feature models independently of concrete tools. Open science principles promote transparency, accessibility, and collaboration in scientific research. Although some attempts exist to promote feature model sharing, the existing solutions lack open science principles by design. In addition, existing and public feature models are described using formats not always supported by current tools. This paper presents UVLHUB, a repository of feature models in UVL format. UVLHUB provides a front end that facilitates the search, upload, storage, and management of feature model datasets, improving the capabilities of discontinued proposals. Furthermore, the tool communicates with Zenodo providing a permanent save of datasets and following open science principles. UVLHUB includes existing datasets and is readily available to include new data and functionalities in the future. It is maintained by three active universities in variability modelling. © 2023, The Authors. All rights reserved.

关键词： Concretes

来源：评论

学校读者我要写书评

暂无评论

Learning and Motivational Impact of Game-Based Learning: Comparing Face-To-Face and Online Formats on Computer Science Education

arXiv

引用

arXiv 2024年

作者： López-Fernández, Daniel Gordillo, Aldo Pérez, Jennifer Tovar, Edmundo Computer Science Department Universidad Politécnica de Madrid Madrid Spain Computer Languages and Systems and Software Engineering Department Universidad Politécnica de Madrid Madrid Spain

Contribution: This article analyzes learning and motivational impact of teacher-authored educational video games on computer science education and compares its effectiveness in both face-to-face and online (remote) formats. This work presents comparative data and findings obtained from 217 students who played the game in a face-to-face format (control group) and 104 students who played the game in an online format (experimental group). Background: Serious video games have been proven effective at computer science education, however it is still unknown whether the effectiveness of these games is the same regardless of their format, face-to-face or online. Moreover, the usage of games created through authoring tools has barely been explored. Research questions: Are teacher-authored educational video games effective in terms of learning and motivation for computer science students? Does the effectiveness of teacher-authored educational video games depend on whether they are used in a face-to-face or online format? Methodology: A quasi-experiment has been conducted by using three instruments (pre-test, post-test and questionnaire) with the purpose of comparing the effectiveness of Game-Based Learning in face-to-face and online formats. A total of 321 computer science students played a teacher-authored educational video game aimed to learn about software design. Findings: The results reveal that teacher-authored educational video games are highly effective in terms of knowledge acquisition and motivation both in face-to-face and online formats. The results also show that some students’ perceptions were more positive when a face-to-face format was used. Copyright © 2024, The Authors. All rights reserved.

关键词： Motivation

来源：评论

学校读者我要写书评

暂无评论

Crowdsourced Requirements engineering Challenges and Solutions:A software Industry Perspective

引用

Computer systems Science & engineering 2021年第11期39卷 221-236页

作者： Huma Hayat Khan Muhammad Noman Malik Youseef Alotaibi Abdulmajeed Alsufyani Saleh Alghamdi Department of Software Engineering National University of Modern LanguagesIslamabadPakistan Department of Computer Science National University of Modern LanguagesIslamabadPakistan Department of Computer Science College of Computer and Information SystemsUmm Al-Qura UniversityMakkahSaudi Arabia Department of Computer Science College of Computers and Information TechnologyTaif UniversityPO Box 11099TaifSaudi Arabia Department of Information Technology College of Computers and Information TechnologyTaif UniversityTaifSaudi Arabia

software crowdsourcing(SW CS)is an evolving software development paradigm,in which crowds of people are asked to solve various problems through an open call(with the encouragement of prizes for the top solutions).Because of its dynamic nature,SW CS has been progressively accepted and adopted in the software ***,issues pertinent to the understanding of requirements among crowds of people and requirements engineers are yet to be clarified and *** the requirements are not clear to the development team,it has a significant effect on the quality of the software *** study aims to identify the potential challenges faced by requirements engineers when conducting the SW–CS based requirements engineering(RE)***,solutions to overcome these challenges are also *** data analysis is performed on the interview data collected from software industry ***,20 SW–CS based RE challenges and their subsequent proposed solutions are devised,which are further grouped under seven *** study is beneficial for academicians,researchers and practitioners by providing detailed SW–CS based RE challenges and subsequent solutions that could eventually guide them to understand and effectively implement RE in SW CS.

关键词： software crowdsourced requirements engineering software industry software development survey challenges

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：