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

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

作者： Beckmann, Tom Krebs, Eva Rein, Patrick Ramson, Stefan Hirschfeld, Robert Univ Potsdam Hasso Platter Inst Potsdam Germany

ISBN: (纸本)9781665445924

Game development benefits from short iterations, as it is often concerned with how a game will feel like;something that is hard to anticipate. live programming aims at reducing the length of iterations during software development to allow for faster exploration and improve program comprehension. We propose a live game development environment providing a more general live programming workflow in game prototyping. The environment supports developers in two aspects: how will a code change affect the look and feel of the game and how does the behavior of the game relate to its code? The proof-of-concept environment ensures short feedback cycles by always keeping the game running while it is being developed. We propose several mechanisms to work with the running game, for example, programmers can automatically replay situations in the game by using an explicit notion of snapshots. We tentatively demonstrate the effectiveness of the live programming features in the context of the development of game prototypes of different genres.

关键词： game development game tools live programming exploratory programming

来源：评论

学校读者我要写书评

暂无评论

Filling Typed Holes with live GUIs 2021

Filling Typed Holes with Live GUIs

引用

42nd ACM SIGPLAN International Conference on programming Language Design and Implementation (PLDI)

作者： Omar, Cyrus Moon, David Blinn, Andrew Voysey, Ian Collins, Nick Chugh, Ravi Univ Michigan Ann Arbor MI 48109 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Chicago Chicago IL 60637 USA

ISBN: (纸本)9781450383912

Text editing is powerful, but some types of expressions are more naturally represented and manipulated graphically. Examples include expressions that compute colors, music, animations, tabular data, plots, diagrams, and other domain-specific data structures. This paper introduces live literals, or livelits, which allow clients to fill holes of types like these by directly manipulating a user-defined GUI embedded persistently into code. Uniquely, livelits are compositional: a livelit GUI can itself embed spliced expressions, which are typed, lexically scoped, and can in turn embed other livelits. livelits are also uniquely live: a livelit can provide continuous feedback about the run-time implications of the client's choices even when splices mention bound variables, because the system continuously gathers closures associated with the hole that the livelit is filling. We integrate livelits into Hazel, a live hole-driven programming environment, and describe case studies that exercise these novel capabilities. We then define a simply typed livelit calculus, which specifies how livelits operate as live graphical macros. The metatheory of macro expansion has been mechanized in Agda.

关键词： live programming macros typed holes GUIs

来源：评论

学校读者我要写书评

暂无评论

live, Synchronized, and Mental Map Preserving Visualization for Data Structure programming

Live, Synchronized, and Mental Map Preserving Visualization ...

引用

ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)

作者： Oka, Akio Masuhara, Hidehiko Aotani, Tomoyuki Tokyo Inst Technol Sch Comp Tokyo Japan

ISBN: (纸本)9781450360319

live programming is an activity in which the programmer edits code while observing the result of the program. It has been exercised mainly for pedagogical and artistic purposes, where outputs of a program are not straightforwardly imagined. While most live programming environments so far target programs that explicitly generate visual or acoustic outputs, we believe that live programming is also useful for data structure programming, where the programmer often has a hard time to grasp a behavior of programs. However, it is not clear what features a live programming environment should provide for such kind of programs. In this paper, we present a design of live programming environment for data structure programming, identify the problems of synchronization and mental map preservation, and propose solutions based on a calling-context sensitive identification technique. We implemented a live programming environment called Kanon, and tested with 13 programmers.

关键词： live programming data structures object graph

来源：评论

学校读者我要写书评

暂无评论

A Perspective on the Evolution of live programming

A Perspective on the Evolution of Live Programming

引用

1st International Workshop on live programming (live)

作者： Tanimoto, Steven L. Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

ISBN: (纸本)9781467362658

liveness in programming environments generally refers to the ability to modify a running program. liveness is one form of a more general class of behaviors by a programming environment that provide information to programmers about what they are constructing. This paper gives a brief historical perspective on liveness and proposes an extension of a hierarchy given in 1990, to now account for even more powerful execution-oriented tools for programmers. In addition, while liveness concerns the timeliness of execution feedback, considering a broader array of forms of feedback is helpful both in better understanding liveness and in designing ever more powerful development tools.

关键词： liveness live programming live coding debugging software development tools liveness levels integrated development environment software engineering code completion program inference tactical prediction strategic prediction

来源：评论

学校读者我要写书评

暂无评论

Experimenting with liveness in Cloud Infrastructure Management 1

引用

14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Lourenco, Pedro Dias, Joao Pedro Aguiar, Ademar Ferreira, Hugo Sereno Restivo, Andre Univ Porto Fac Engn DEI Porto Portugal INESC TEC Porto Portugal LIACC Porto Portugal

ISBN: (数字)9783030402235

ISBN: (纸本)9783030402235;9783030402228

Cloud computing has been playing a significant role in the provisioning of services over the Internet since its birth. However, developers still face several challenges limiting its full potential. The difficulties are mostly due to the large, ever-growing, and ever-changing catalog of services offered by cloud providers. As a consequence, developers must deal with different cloud services in their systems;each managed almost individually and continually growing in complexity. This heterogeneity may limit the view developers have over their system architectures and make the task of managing these resources more complex. This work explores the use of liveness as a way to shorten the feedback loop between developers and their systems in an interactive and immersive way, as they develop and integrate cloud-based systems. The designed approach allows real-time visualization of cloud infrastructures using a visual city metaphor. To assert the viability of this approach, the authors conceived a proof-of-concept and carried on experiments with developers to assess its feasibility.

关键词： Cloud computing Internet-of-things software engineering live programming

来源：评论

学校读者我要写书评

暂无评论

live Software Development Environment Using Virtual Reality: A Prototype and Experiment 1

引用

14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Amaral, Diogo Domingues, Gil Dias, Joao Pedro Ferreira, Hugo Sereno Aguiar, Ademar Nobrega, Rui Correia, Filipe Figueiredo Univ Porto Fac Engn Porto Portugal INESC TEC Porto Portugal

ISBN: (数字)9783030402235

ISBN: (纸本)9783030402235;9783030402228

Successful software systems tend to grow considerably, ending up suffering from essential complexity, and very hard to understand as a whole. Software visualization techniques have been explored as one approach to ease software understanding. This work presents a novel approach and environment for software development that explores the use of liveness and virtual reality (VR) as a way to shorten the feedback loop between developers and their software systems in an interactive and immersive way. As a proof-of-concept, the authors developed a prototype that uses a visual city metaphor and allows developers to visit and dive into the system, in a live way. To assess the usability and viability of the approach, the authors carried on experiments to evaluate the effectiveness of the approach, and how to best support a live approach for software development.

关键词： Software engineering Virtual reality live Software Development live programming Software visualization

来源：评论

学校读者我要写书评

暂无评论

Integrated Development Environment with Interactive Scatter Plot for Examining Statistical Modeling 20

Integrated Development Environment with Interactive Scatter ...

引用

CHI Conference on Human Factors in Computing Systems (CHI)

作者： Asai, Kentaro Fukusato, Tsukasa Igarashi, Takeo Univ Tokyo Tokyo Japan

ISBN: (纸本)9781450367080

The development of a statistical modeling program requires example data to observe and verify the behavior of the program. Such example data are either taken from an existing dataset or synthesized using commands. Programmers may want to directly design an arbitrary dataset or modify it interactively, but it is difficult to do so in current development environments. We therefore propose combining a code editor with an interactive scatter plot editor to efficiently understand the behavior of statistical modeling algorithms. The user interactively creates and modifies the dataset on the scatter plot editor, while the system continuously executes the code in the editor, taking the data as input, and shows the result in the editor. This paper presents the design rationale behind the system and introduces several usage scenarios.

关键词： Interactive data design and editing Statistical modeling live programming

来源：评论

学校读者我要写书评

暂无评论

Rethinking programming "Environment" Technical and Social Environment Design toward Convivial Computing 20

Rethinking Programming "Environment" Technical and Social En...

引用

4th International Conference on the Art Science and Engineering of programming

作者： Kato, Jun Shimakage, Keisuke Natl Inst Adv Ind Sci & Technol Tokyo Japan OTON GLASS Inc Towada Aomori Japan

ISBN: (纸本)9781450375078

Computers have become ubiquitous in our life and work, and the way that they are built and used needs to be fundamentally improved. Most of the prior effort has been aimed at improving the programming experience for people with specific technical backgrounds (e.g., programmers, end-users, data scientists). In contrast, throughout this paper, we discuss how to make programming activities more inclusive and collaborative, involving people with diverse technical backgrounds. We rethink the programming environment from both technical and social perspectives. First, we briefly introduce our previous technical effort in which the programming environment is shared between the developers and users of programs, eliminating the distinction between programming and runtime environments and fostering communication between them. Second, we introduce our social effort to support people who are visually impaired in implementing customized smart glasses that read words with a camera and speakers. We design their programming environment to consist of a software/ hardware toolkit and engineers with domain expertise called "evangelists." Learning from these experiences, we discuss several perspectives on convivial computing. To conclude, we argue that both technical innovations made on user interfaces for programming and understanding on the socio-technical aspect of domain-specific applications are critical for the future of programming environments, and accordingly, convivial computing.

关键词： convivial computing programming environments programming experience live programming social coding

来源：评论

学校读者我要写书评

暂无评论

Toward live domain-specific languages From text differencing to adapting models at run time

引用

SOFTWARE AND SYSTEMS MODELING 2019年第1期18卷 195-212页

作者： van Rozen, Riemer van der Storm, Tijs Amsterdam Univ Appl Sci POB 1025 NL-1000 BA Amsterdam Netherlands Ctr Wiskunde & Informat POB 94079 NL-1090 GB Amsterdam Netherlands Univ Groningen Johann Bernoulli Inst Nijenborgh 9 NL-9747 AG Groningen Netherlands

live programming is a style of development characterized by incremental change and immediate feedback. Instead of long edit-compile cycles, developers modify a running program by changing its source code, receiving immediate feedback as it instantly adapts in response. In this paper, we propose an approach to bridge the gap between running programs and textual domain-specific languages (DSLs). The first step of our approach consists of applying a novel model differencing algorithm, TMDIFF, to the textual DSL code. By leveraging ordinary text differencing and origin tracking, TMDIFF produces deltas defined in terms of the metamodel of a language. In the second step of our approach, the model deltas are applied at run time to update a running system, without having to restart it. Since the model deltas are derived from the static source code of the program, they are unaware of any run-time state maintained during model execution. We therefore propose a generic, dynamic patch architecture, RMPATCH, which can be customized to cater for domain-specific state migration. We illustrate RMPATCH in a case study of a live programming environment for a simple DSL implemented in RASCAL for simultaneously defining and executing state machines.

关键词： live programming Domain-specific languages Text differencing Model patching Adapting models Models at run time

来源：评论

学校读者我要写书评

暂无评论

A Multi-Paradigm Modelling approach to live modelling

引用

SOFTWARE AND SYSTEMS MODELING 2019年第5期18卷 2821-2842页

作者： Van Tendeloo, Yentl Van Mierlo, Simon Vangheluwe, Hans Univ Antwerp Antwerp Belgium Univ Antwerp Modelling Simulat & Design MSDL Res Lab Antwerp Belgium Flanders Make Vzw Lommel Belgium McGill Univ Montreal PQ Canada

To develop complex systems and tackle their inherent complexity, (executable) modelling takes a prominent role in the development cycle. But whereas good tool support exists for programming, tools for executable modelling have not yet reached the same level of functionality and maturity. In particular, live programming is seeing increasing support in programming tools, allowing users to dynamically change the source code of a running application. This significantly reduces the edit-compile-debug cycle and grants the ability to gauge the effect of code changes instantly, aiding in debugging and code comprehension in general. In the modelling domain, however, live modelling only has limited support for a few formalisms. In this paper, we propose a Multi-Paradigm Modelling approach to add liveness to modelling languages in a generic way, which is reusable across multiple formalisms. live programming concepts and techniques are transposed to (domain-specific) executable modelling languages, clearly distinguishing between generic and language-specific concepts. To evaluate our approach, live modelling is implemented for three modelling languages, for which the implementation of liveness substantially differs. For all three cases, the exact same structured process was used to enable live modelling, which only required a sanitization operation to be defined.

关键词： live programming live modelling Debugging Multi-Paradigm Modelling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：