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

IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)

作者： Srinivasan, Ramya M. Jetcheva, Jorjeta G. Chander, Ajay Fujitsu Labs Amer Sunnyvale CA 94085 USA

ISBN: (纸本)9781538615898

In this paper, we set out to explore the level of programming experience present among the masses (the last mile end-user programmers), the influence of various factors such as early exposure to software, as well as age, on programming experience, their effects on the types of software people might want to create, and the software development approaches they prefer.

关键词： end user programming software experiences

来源：评论

学校读者我要写书评

暂无评论

A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems

引用

BUILDING AND ENVIRONMENT 2020年 181卷 106983-106983页

作者： Ibrhim, Hamada Khattab, Sherif Elsayed, Khaled Badr, Amr Nabil, Emad Menia Univ Fac Comp & Informat Al Minya Egypt Cairo Univ Fac Comp & Artificial Intelligence Giza Egypt Cairo Univ Fac Engn Giza Egypt Islamic Univ Madinah Fac Comp & Informat Syst Madinah Saudi Arabia Univ Pittsburgh Dept Comp Sci Pittsburgh PA 15260 USA

Building Automation Systems have recently exposed programming interfaces for occupants to dynamically control and personalize indoor workplace environments. To this end, the If-This-Then-That paradigm has been proposed as a user-friendly programming approach. However, conflicts, both within the occupant comfort rules and between the rules in open environment and the overall system policy, often result in reduced energy efficiency and other undesired outcomes. In this paper, we propose a software framework based on formal methods to detect and resolve rule conflicts called Rule Verification Framework. The proposed framework builds upon state-of-the-art Satisfiability Modulo Theories and utilizes a suite of algorithms to ensure system correctness and safety. The proposed framework was experimentally evaluated using a prototype implementation developed using Java and the Web Services technology. The proposed framework detected more conflicts and was faster than the previous solutions. Conflict detection algorithms had to work iteratively because conflict resolution resulted in new conflicts.

关键词： end user programming Event-condition-action programming Occupant centric control Conflict resolution Correctness and safety Energy saving Satisfiability Modulo Theories

来源：评论

学校读者我要写书评

暂无评论

Engaging end users in Real Smart Space programming 12

Engaging End Users in Real Smart Space Programming

引用

14th ACM International Conference on Ubiquitous Computing (UbiComp)

作者： Litvinova, Evgenia Vuorimaa, Petri Aalto Univ Dept Media Technol POB 15500 FI-00076 Aalto Finland

ISBN: (纸本)9781450312240

Smart spaces, either public or private, has been a hot topic for more than a decade. They are claimed to bring various advantages for their users. However, only few people are actually using smart spaces. One of the reasons for that is the lack of attention paid to user interfaces used to control the space. Both industrial and academic research is often focused on hardware and device interoperability issues. There is not enough studies about end-user mental models, how and why people want to control and program smart spaces. In this position paper, we propose a strategy of how to bring end-user programming in smart spaces into real life. Our idea is three-fold: 1) concentrate on users' mental models, 2) create intuitive ubiquitous user interface, which combines the direct interaction pattern and the magnetic poetry interface metaphor, and 3) install a control system in a public smart space, where a lot of people can use it on daily basis. We aim to conduct a long term user study, from which we are planning to get unique data about evolution of people's expectations and mental models in the context of smart space control.

关键词： end user programming Smart Space Ubiquitous Computing Rule Magnetic Poetry

来源：评论

学校读者我要写书评

暂无评论

MashReDroid: enabling end-user creation of Android mashups based on record and replay

引用

Science China(Information Sciences) 2020年第10期63卷 54-73页

作者： Jiahuan ZHENG Liwei SHEN Xin PENG Hongchi ZENG Wenyun ZHAO School of Computer Science Fudan University Shanghai Key Laboratory of Data Science Fudan University

To allow end users to combine different apps for accomplishing various goals, it is desired that they can create mashups of mobile apps in an on-demand fashion. The end user creation of mobile mashups,however, is complicated by the fact that many apps do not expose interfaces for mashup and the lack of user friendly interfaces for end user programming. In this paper, we propose MashReDroid, an end user programming approach for the creation of Android mashups that incorporates the behaviors of backend apps into the execution of a host app. MashReDroid automatically transforms Android apps into mashup enabled apps. It then allows end users to create mashups by recording the interactions between host apps and backend apps and run mashups by replaying the interactions. Our evaluation shows that MashReDroid supports a variety of real scenarios and users can easily create and use mashups with a very low overhead.

关键词： end user programming human computer interaction Android mashup app transformation

来源：评论

学校读者我要写书评

暂无评论

Leaders of Tomorrow on the Future of Software Engineering A Roundtable

引用

IEEE SOFTWARE 2016年第2期33卷 99-100页

作者： Siegmund, Janet Univ Passau Passau Germany

Nine rising stars in software engineering shared their perspectives on the future of software engineering at the Leaders of Tomorrow Symposium at the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering. Here they describe how software engineering research will evolve, highlighting emerging opportunities and groundbreaking solutions. They predict the rise of end-user programming, the monitoring of developers through neuroimaging and biometrics sensors, analysis of data from unstructured documents, the mining of mobile marketplaces, and changes to how we create and release software.

关键词： Software Development end user programming Neuroimaging Biometrics Unstructured Documents Mobile Marketplaces Software Engineering

来源：评论

学校读者我要写书评

暂无评论

AN EMPIRICAL-STUDY OF userS AS APPLICATION DEVELOPERS

引用

INFORMATION & MANAGEMENT 1985年第2期8卷 89-102页

作者： RIVARD, S HUFF, SL UNIV WESTERN ONTARIO SCH BUSINESS ADMLONDON N6A 3K7ONTARIOCANADA

The results of an empirical study of user developed applications (UDA) are reported. A sample of 272 professionals in 10 organizations who had developed UDAs were surveyed. None of these individuals were data processing (DP) professionals. UDA developers were classified as those who performed a micro-DP function in developing UDAs for others, and those who were staff analysts and developed UDAs for personal use, and those who were opportunity seekers and actively pursued new and creative application opportunities. users most commonly developed applications for modeling, transaction processing, data analysis, simple querying, report preparation, and graphic displays. Development time for UDAs ranged from less than one day to over 3 months, with report generation applications requiring the greatest amount of time. UDAs were developed to improve productivity. The most frequently mentioned advantage of UDAs was the timeliness of application development. Major problems with UDA development and use included user lack of expertise in using development tools, lack of DP department support, and poor response time.

关键词： user developed applications user programming end user programming fourth generation languages

来源：评论

学校读者我要写书评

暂无评论

THE FLEXIBLITY OF LOGIC PROGRAMING Parametrically regenerating the Sagrada Familia

THE FLEXIBLITY OF LOGIC PROGRAMING <i>Parametrically regener...

引用

16th International Conference on Computer-Aided Architectural Design Research in Asia (CAADRIA)

作者： Davis, Daniel Burry, Jane Burry, Mark RMIT Univ Melbourne Vic Australia

ISBN: (纸本)9789881902627

Flexibility is a major attribute of parametric modelling, however designers find it hard to maintain flexibility throughout their projects. One cause may be the programming paradigm of the parametric model. Currently this is dataflow programming, which makes it easy to create and flex parameters, but difficult to modify relationships. This paper investigates the implications of changing the programming paradigm in a parametric model to logic programming. A qualitative account is given of using dataflow programming and logic programming to generate a portion of the Sagrada Familia church. It finds logic programming adept at translating explicit models into parametric models, but lacking continuous flexibility. This research demonstrates there are different types of flexibility within the model and architects can privilege certain flexibility types by selecting the programming paradigm of the model.

关键词： Logic programming parametric modelling end user programming practice based research

来源：评论

学校读者我要写书评

暂无评论

Toward a cooperative programming framework for context-aware applications

引用

PERSONAL AND UBIQUITOUS COMPUTING 2011年第3期15卷 221-233页

作者： Guo, Bin Zhang, Daqing Imai, Michita Inst TELECOM SudParis Telecommun Network & Serv Dept F-91011 Evry France Keio Univ Kohoku Ku Yokohama Kanagawa 2230061 Japan

OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming support for single group of users, OPEN provides different programming support for users with diverse technical skills. According to the programming requirements of different users, several cooperation patterns are identified, and the mechanisms to facilitate resource sharing and reuse are built into the framework. Three corresponding programming modes are elaborated by showing how a context-aware game has been developed with the support of the OPEN framework, and the usability of our system is validated through an initial user study.

关键词： Context-aware computing Cooperation end user programming Semantic web

来源：评论

学校读者我要写书评

暂无评论

Solution Authoring via Demonstration and Annotation: An Empirical Study 16

Solution Authoring via Demonstration and Annotation: An Empi...

引用

16th IEEE International Conference on Advanced Learning Technologies (ICALT)

作者： Myers, Karen Gervasio, Melinda SRI Int Ctr Artificial Intelligence Menlo Pk CA 94025 USA

ISBN: (纸本)9781467390415

A major impediment to the widespread deployment of intelligent training systems is the high cost of developing the content that drives their operation. Techniques grounded in end-user programming have shown great promise for reducing the burden of content creation. With these approaches, a domain expert demonstrates a solution to a task, which is then generalized to a broader model. This paper reports on a concept validation study that provides an empirical basis for the design of solution authoring frameworks based on end-user programming techniques. The study shows that non-expert users are comfortable with the approach and are capable of applying it to generate quality solution models. It also identifies constructs that, while important for accurate solution characterization, can lead to confusion and so warrant special care in tool design. Based on these results, we make recommendations for the design of solution-authoring tools in support of automated assessment for tutoring systems.

关键词： automated assessment end user programming programming by demonstration intelligent training systems

来源：评论

学校读者我要写书评

暂无评论

A Model-Driven Visualization System Based on DVDL 19th

A Model-Driven Visualization System Based on DVDL

引用

19th Monterey Workshop on Challenges and Opportunity with Big Data

作者： Du, Yi Ren, Lei Zhou, Yuanchun Li, Jianhui Chinese Acad Sci Comp Network Informat Ctr Dept Big Data Technol & Applicat Dev Beijing Peoples R China Beihang Univ Sch Automat Sci & Elect Engn Beijing Peoples R China

ISBN: (纸本)9783319619941;9783319619934

Though model-driven engineering (MDE) methodology has made significant improvements in terms of efficiency and effectiveness in many areas of software development, the same cannot be said in the development of data visualization systems. With this challenge in mind, this paper introduces DVDL, a modular and hierarchical visualization description language that take advantage of the model-based design of MDE to describe visualization development at an abstract level. This paper also presents DVIZ, a visualization system based on DVDL. With a growing popularity and demand for data visualization technology, a number of visualization tools have emerged in recent years, though few would be considered as adaptable and scalable as DVIZ. Some of its key features include the ability for users to select data source, configure properties of visual elements, publish and share result. The system also supports real-time result generation and multi-visuals interaction. Lastly, since DVIZ is web-based, it supports distribution of result across various social media.

关键词： Visualization system user interface description language Model-driven development methodology end user programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：