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

The impact of gamification on students' learning, engagement and behavior based on their personality traits

SMART LEARNING environmentS 2020年第1期7卷 1-11页

作者： Smiderle, Rodrigo Rigo, Sandro Jose Marques, Leonardo B. Pecanha de Miranda Coelho, Jorge Arthur Jaques, Patricia A. Univ Fed Alagoas Ctr Educ Maceio Alagoas Brazil Univ Fed Alagoas Nucleo Excelencia Tecnol Sociais NEES Maceio Alagoas Brazil Univ Fed Alagoas Fac Med Famed Maceio Alagoas Brazil Univ Fed Alagoas Lab Comp Cient & Anal Numer LaCCAN Maceio Alagoas Brazil Univ Vale Rio dos Sinos UNISINOS Programa Posgrad Comp Aplicada PPGCA Sao Leopoldo Brazil

The gamification of education can enhance levels of students' engagement similar to what games can do, to improve their particular skills and optimize their learning. On the other hand, scientific studies have shown adverse outcomes based on the user's preferences. The link among the user's characteristics, executed actions, and the game elements is still an open question. Aiming to find some insights for this issue, we have investigated the effects of gamification on students' learning, behavior, and engagement based on their personality traits in a web-based programming learning environment. We have conducted an experiment for four months with 40 undergraduate students of first-year courses on programming. Students were randomly assigned to one of the two versions of the programming learning environment: a gamified version composed of ranking, points, and badges and the original non-gamified version. We have found evidence that gamification affected users in distinct ways based on their personality traits. Our results indicate that the effect of gamification depends on the specific characteristics of users. First part title: Studying the impact of gamification on learning and engagement based on the personality traits of students

关键词： Gamification Personality programming environment

来源：评论

学校读者我要写书评

暂无评论

Smart Home Cards: Tangible programming with Paper Cards 16

Smart Home Cards: Tangible Programming with Paper Cards

引用

ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp) / 20th ACM International Symposium on Wearable Computers (ISWC)

作者： Tada, Kazuki Takahashi, Shin Shizuki, Buntarou Univ Tsukuba Dept Comp Sci 1-1-1 Tennodai Tsukuba Ibaraki Japan Univ Tsukuba Fac Engn Informat & Syst 1-1-1 Tennodai Tsukuba Ibaraki Japan

ISBN: (纸本)9781450344623

In this study, a smart home control programming environment is designed that combines trigger-action programming with a tangible programming environment that uses paper cards. The user can define the programs for controlling smart devices by simply placing paper cards on a rule board. In addition, it is possible to specify the parameters of rules by filling in or drawing on the cards and to also save function macros.

关键词： Smart devices Tangible User Interface programming environment

来源：评论

学校读者我要写书评

暂无评论

An Application Router for SIP servlet application composition

An Application Router for SIP servlet application compositio...

引用

IEEE International Conference on Communications (ICC 2008)

作者： Cheung, Eric Purdy, K. Hal AT&T Labs Res Florham Pk NJ 07932 USA

ISBN: (纸本)9781424420742

The SIP servlet standard offers a familiar Java application programming interface (API) for developing Session Initiation Protocol (SIP) applications, and the upcoming version 1.1 specification standardizes how multiple SIP servlet applications are composed and invoked to service a communication episode. Such disciplined composition promotes software modularity and reuse, and also helps manage feature interactions. At the core of the application composition framework in the SIP servlet API 1.1 is the Application Router that performs the task of selecting an application to service a SIP request. In this paper, the authors describe an application router implementation based on the Distributed Feature Composition (DFC) architecture routing algorithm (DFC-AR). While the DFC-AR is designed to be simple so it can serve as a sample implementation, it is also sufficiently powerful for real-world VoIP service deployments. The DFC-AR has been proposed to be the default AR in the reference implementation of the 1.1 specification.

关键词： communication system software feature interaction programming environment voice over IP IMS

来源：评论

学校读者我要写书评

暂无评论

Less is sometimes more in the automation of software evolution tasks

Less is sometimes more in the automation of software evoluti...

引用

作者： Vakilian, Mohsen University of Illinois – Urbana-Champaign

学位级别：doctor

Software rapidly evolves. A refactoring is a code change that preserves the behavior of the *** has been much interest in automation to make refactoring more efficient and reliable. Althoughmodern Integrated Development environments (IDEs) provide many automated refactorings, studiessuggest that programmers underuse automated refactorings. Based on our studies of programmers’refactoring practices, we argue that usability problems are the common reasons of underusing automatedrefactorings. We introduce compositional refactoring, a new paradigm of automating refactorings. In thisparadigm, the tool designer decomposes the large refactorings into a set of smaller, primitive changesand automates the primitive changes. Then, programmers compose the primitive changes to makelarger changes. We have used the compositional paradigm to automate two classes of refactorings: therefactorings supported by modern IDEs and type qualifier inference. Type qualifiers augment a typesystem to check more properties of the software. Automated inference of type qualifiers can reduce thecost of using type qualifiers. The compositional paradigm enabled us to build the first universal typequalifier inference system. The system takes an existing type qualifier checker as an input and uses itto assist programmers in inserting type qualifiers. Our studies show that compositional refactoring isnatural to programmers, gives programmers more control, and makes the automation more predictableand usable than the existing wizard-based and batch paradigms. The compositional paradigm achieveshigher usability by automating less. Although this phenomenon may seem counterintuitive, it is notuncommon in automation design. The promising results of the compositional paradigm suggest thatother software development automation technologies may also achieve a wider adoption by reducingthe level of automation

关键词： Software Engineering Human-Computer Interaction programming Languages Empirical Refactoring Program Transformation Type Qualifier Inference Type System Type Inference Compositional Critical Incident Technique Usability Evaluation Methodology Software Evolution programming environment

来源：评论

学校读者我要写书评

暂无评论

Guided Optimization for Image Processing Pipelines

Guided Optimization for Image Processing Pipelines

引用

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

作者： Ikarashi, Yuka Ragan-Kelley, Jonathan Fukusato, Tsukasa Kato, Jun Igarashi, Takeo MIT CSAIL Cambridge MA 02139 USA Univ Tokyo Tokyo Japan AIST Warrendale PA USA

ISBN: (纸本)9781665445924

Writing high-performance image processing code is challenging and labor-intensive. To address this, we propose a programming support method called "guided optimization." Guided optimization provides programmers a set of valid optimization options and interactive feedback about their current choices, which enables them to comprehend and efficiently optimize image processing code without the time-consuming trial-and-error process of traditional text editors. We implemented a proof-of-concept system, Roly-poly, which integrates guided optimization, program visualization, and schedule cost estimation to support the comprehension and development of efficient image processing code. We conducted a user study with novice Halide programmers and confirmed that Roly-poly and its guided optimization was informative, increased productivity, and resulted in higher-performing schedules in less time.

关键词： Guided optimization interactive scheduling Halide programming environment program visualization

来源：评论

学校读者我要写书评

暂无评论

Proposed environment to Support Development and Experiment in RoboCupRescue Simulation 21st

Proposed Environment to Support Development and Experiment i...

引用

21st International Symposium on Robot World Cup (RoboCup)

作者： Takami, Shunki Takayanagi, Kazuo Jaishy, Shivashish Ito, Nobuhiro Iwata, Kazunori Murase, Yohsuke Uchitane, Takeshi Aichi Inst Technol Grad Sch Business Adm & Comp Sci Toyota Japan Aichi Inst Technol Dept Informat Sci Toyota Japan Aichi Univ Dept Business Adm Nagoya Aichi Japan RIKEN Adv Inst Computat Sci Kobe Hyogo Japan Kobe Univ Res Inst Econ & Business Adm Kobe Hyogo Japan

ISBN: (纸本)9783030003081;9783030003074

The RoboCupRescue Simulation project is a test bed for multi-agent systems research for disaster relief. However, researchers have to implement many types of algorithm and require a complicated procedure for experiments, which places a heavy burden on them. Therefore, we propose an environment that integrates an agent-development framework and an experiment-management system to support researchers.

关键词： programming environment Experiment management Rescue Simulation

来源：评论

学校读者我要写书评

暂无评论

Robot programming at Different Abstraction Levels 16

Robot Programming at Different Abstraction Levels

引用

16th Latin American Robotics Symposium (LARS) / 7th Brazilian Symposium on Robotics (SBR) / 10th Workshop on Robotics in Education (WRE)

作者： Fernandes, Carla C. Barros, Renata P. Albuquerque, Erika A. Goncalves, Luiz M. G. Sa, Sarah T. L. Univ Fed Rio Grande do Norte Natalnet Associate Labs LPR Natal RN Brazil Inst Fed Rio Grande do Norte Natalnet Associate Labs LAICA Natal RN Brazil

ISBN: (纸本)9781728142685

The teaching of programming is an important issue related to Educational Robotics whereas in many cases students have different levels of knowledge in programming. Since several robots have a specific programming language, some students are excluded from the class due to their poor knowledge in the area. This paper presents the possibility of abstraction in the programming complexity by making use of the web environment multi-platform W-Educ. The presented approach allows different groups of users to perform the same activity making use of different resources.

关键词： Educational Robotics programming environment Language Abstraction Levels

来源：评论

学校读者我要写书评

暂无评论

Research on Cluster of Workstations 3

Research on Cluster of Workstations

引用

3rd International Symposium on Parallel Architectures, Algorithms, and Networks (I-Span 97)

作者： Wang, DX Zheng, WM Xiong, JX Tsing Hua Univ Dept Comp Sci & Technol Beijing 100084 Peoples R China

ISBN: (纸本)0818682596

Cluster of Workstations is becoming an important kind of parallel computing platform. Two issues are essential for promoting the popularization of COW: high-performance communication mechanism and powerful programming environment. In this paper Mie present our research work on COW, which aims at giving a practical solution to the above issues. In order to build a high performance communication system, we design a reduced communication protocol in addition to making use of high-speed network hardware. Based on PVM, we implement a practical programming environment which include parallel compiling systems, parallel debugger, load balancing tool and execution fault recovery tool. Some performance results are given in this paper.

关键词： parallel programming parallel architectures programming environments cluster of workstations COW high-performance communication programming environment reduced communication protocol PVM parallel compiling systems parallel debugger load balancing execution fault recovery tool

来源：评论

学校读者我要写书评

暂无评论

Information systems development: a rule-based approach

引用

Knowledge-Based Systems 1988年第4期1卷 227-234页

作者： Van Assche, F. Layzell, P. Loucopoulos, P. Speltincx, G. James Martin Associates Evere 1140 Rue de Geneve 10 Belgium Department of Computation University of Manchester Institute of Science and Technology Manchester PO Box 88 United Kingdom

This paper seeks to demonstrate an approach to software engineering for information systems that will lead not only to good information system creation, but will also explicitly maintain the representation of the business knowledge so as to allow for more effective system evolution and its active exploitation at run time. A rule-based development environment, known as RUBRIC, is described, which serves as the means of achieving these objectives. © 1988.

关键词： information systems programming environment RUBRIC software engineering software tools

来源：评论

学校读者我要写书评

暂无评论

An Argument in Favor of Mechanized Software Production

引用

IEEE Transactions on Software Engineering 1977年第6期SE-3卷 406-415页

作者： Roman, Gruia-Catalin Department of Computer Science Washington University St. Louis MO 63130 United States

A new software engineering methodology called program control structuring is proposed. Its development is justified by the need to offer the designer the capability to improve the productivity and quality of software development in the conditions of a “highly imperfect” environment. Such an environment is shown to involve the use of transient and inexperienced programmers, frequent alterations to the design specifications, and continuous development. The philosophy behind program control structuring is that of minimizing the probability of error in the design and implementation of large programs by means of language-and problem-dependent standardization. The particular standardization approach used by program control structuring is shown to provide 1) a program structure that is simple and flexible, readily understood, easily developed, and inexpensively maintained, and 2) a high-quality and partially mechanizable structure-oriented documentation scheme. Subsequently, it is suggested that many of the standards are mechanizable in the immediate future as a necessary condition for achieving higher productivity and improved program quality. Finally, the mechanization of software production is proposed as a step needed to precede the development of automatic program generation systems. Copyright © 1977 by The Institute of Electrical and Electronics Engineers, Inc.

关键词： Standardization Control Structure Mechanization Methodology Productivity programming environment Program Structure Transformational Components

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：