Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows. however, that form-based visual program...
详细信息
ISBN:
(纸本)0818683686
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows. however, that form-based visual programs often contain faults. We would like to provide at least some of the benefits of formal testing methodologies to the creators of these programs. This paper presents a testing methodology for form-based visual programs. To accommodate the evaluation model used with these programs, and the interactive process by which they are created. our methodology is validation-driven and incremental. To accommodate the users of these languages, we provide an interface to the methodology that does not require an understanding of testing theory. We discuss our implementation of this methodology and empirical results achieved in its use.
The evolution of Information Technology (IT) and the emergence of the Ambient Intelligence paradigm have drastically affected the way users live and learn. Ambient Intelligence is a vision of the future that offers gr...
详细信息
ISBN:
(纸本)9783319208046;9783319208039
The evolution of Information Technology (IT) and the emergence of the Ambient Intelligence paradigm have drastically affected the way users live and learn. Ambient Intelligence is a vision of the future that offers great opportunities to enrich everyday activities (e.g., on the road, at home, at work, etc.) and has been proven to play an important role in education. In smart learning environments, learning activities are enhanced with the use of pervasive and mobile computing. This paper presents an extensible software infrastructure that empowers teachers to design and program purposeful and engaging learning activities for formal and informal learning environments, by combining and orchestrating cloud-based, ambient and pervasive facilities and services.
Interaction Composer, a visual programming environment designed to enable programmers and non-programmers to collaboratively design social human-robot interactions in the form of state-based flows, has been in use at ...
详细信息
ISBN:
(纸本)9781467383691
Interaction Composer, a visual programming environment designed to enable programmers and non-programmers to collaboratively design social human-robot interactions in the form of state-based flows, has been in use at our laboratory for eight years. The system architecture and the design principles behind the framework have been presented in other work, but in this paper we take a case-study approach, examining several actual examples of the use of this toolkit over an eight-year period. We examine the structure and content of interaction flows, identify common design patterns, and discuss elements of the framework which have proven valuable, features which did not solve their intended purposes, and ways that future systems might better address these issues. It is hoped that the insights gained from this study will contribute to the development of more effective and more usable tools and frameworks for interaction design.
A number of emerging accounts of problem solving behaviour in complex domains have emphasised the role played by the external environment in the mediation of cognitive activity (Latkin, 1989). Theories of display-base...
详细信息
A number of emerging accounts of problem solving behaviour in complex domains have emphasised the role played by the external environment in the mediation of cognitive activity (Latkin, 1989). Theories of display-based problem solving seek to explain certain facets of behaviour by stressing the contribution of external memory sources as repositories for search control knowledge and intermediate state information. The main idea promoted by such models is that display-based strategies can partially supplant a complex goal structure by enabling problem solvers to substitute efficient perceptual operations for unreliable cognitive processes. One area in which the role of display-based problem solving has gained prominence is in the programming domain. This paper presents evidence for differences in the nature of programmers' information externalisation strategies. Two experiments are reported which suggest that experts rely much more upon the use of external memory sources in situations where the device they use to construct the program hinders the utilisation of a display. Experts tend to externalise low level information, mainly to aid simulation, whereas novices develop higher level representations which might be characterised as transformations or re-representations of the program typically of diagrammatic form. Moreover, in the case of experts the nature of externalised information appears to depend upon whether they are generating a program or comprehending it.
Bioimage informatics has emerged as a new interdisciplinary research endeavor for bringing the power of computational and mathematical sciences into the biological imaging arena. We describe an open-source software pl...
详细信息
ISBN:
(纸本)9780992862602
Bioimage informatics has emerged as a new interdisciplinary research endeavor for bringing the power of computational and mathematical sciences into the biological imaging arena. We describe an open-source software platform, Icy, that proposes a comprehensive framework for easy algorithm development and deployment fostering community-oriented efforts. Icy offers a platform to share and publish collaborative algorithm developments, while promoting re-usability and code sharing to ease the development of new algorithms, and simplifying user's feedback and support through a community web site.
We propose a resource-based model of human computer interaction, and discuss how WIP-POG, a rule-based language for multiset transformations, can support such a model. WIPPOG is here adopted as an enactment mechanism,...
详细信息
ISBN:
(纸本)0769524435
We propose a resource-based model of human computer interaction, and discuss how WIP-POG, a rule-based language for multiset transformations, can support such a model. WIPPOG is here adopted as an enactment mechanism, for task models expressed by a visual notation. We exploit this resource-based perspective to model some common interaction errors and suggest possible prevention and mitigation strategies.
This paper presents a teaching methodology mixing elements from the domains of music and informatics as a key enabling to expose primary school pupils to basic aspects of computational thinking This methodology is org...
详细信息
This paper presents a teaching methodology mixing elements from the domains of music and informatics as a key enabling to expose primary school pupils to basic aspects of computational thinking This methodology is organized in two phases exploiting LEGO bricks respectively as a physical tool and as a metaphor in order to let participants discover a simple notation encoding several basic concepts of the classical musical notation. The related activities, grounded on active learning theory, challenge groups of students to solve musical encoding problems of increasing difficulty. (C) 2017 The Authors. Published by Elsevier B.V.
The paper discusses research and development in the field of software visualization based on virtual reality environments. Spatial metaphors play an important role in such systems. A brief overview of the projects of ...
详细信息
ISBN:
(纸本)9783030259655;9783030259648
The paper discusses research and development in the field of software visualization based on virtual reality environments. Spatial metaphors play an important role in such systems. A brief overview of the projects of software visualization systems based on vir- tual reality is provided. Among the systems developed over the past decades, one can find systems both for program visualization and for visual programming. Descriptions of prototypes of software visualization systems, software objects visualization and supercomputer performance data visualization, realized by the authors of the paper, are presented. These prototypes, designed for virtual reality environments, were developed with the use of several versions of a cosmic space metaphor and an extended city metaphor. The paper also discusses psychological aspects of the human factor in developing software visualization systems with the use of virtual reality.
'TaggerVR' is a work-in-progress immersive VR implementation of the 'Tagger' interactive software tool designed to visualize, characterize, sample and tag geoscientific datasets hosted in local and clo...
详细信息
ISBN:
(纸本)9781467373432
'TaggerVR' is a work-in-progress immersive VR implementation of the 'Tagger' interactive software tool designed to visualize, characterize, sample and tag geoscientific datasets hosted in local and cloud-based repositories via a THREDDS Data Server and OPeNDAP. TaggerVR implements a VR GUI using Human Interface Devices (HID), providing data to the user via an animated interface. This enables interesting features that would otherwise be lost in large datasets to be 'Tagged' for subsequent analysis. A key novel enabler is the link between scientific data formats and the high-performance interactive graphics.
The increasing volume of content and actions available on the Web, combined with the growing number of mature digital natives, anticipate a growing desire of controlling theWeb experience. Akin to the Web2.0 movement,...
详细信息
ISBN:
(纸本)9783319117492;9783319117485
The increasing volume of content and actions available on the Web, combined with the growing number of mature digital natives, anticipate a growing desire of controlling theWeb experience. Akin to the Web2.0 movement, webies' desires do not stop at content authoring but look for controlling how content is arranged in websites. By content, we mainly refer to HTML pages, better said, their runtime representation: DOM trees. The vision is for users to "prune" (removing nodes) or "graft" (adding nodes) existing DOM trees to improve their idiosyncratic and situational Web experience. Hence, Web content is no longer consumed as canned by Web masters. Rather, users can remove content of no interest, or place new content from somewhere else. This vision accounts for a post-production user-driven Web customization (referred to as "Web Modding"). Being user driven, appropriate abstractions and tools are needed. The paper introduces a set of abstractions (formalized in terms of a domain-specific language) and an IDE (realized as an add-on from Google Chrome) to empower non-programmers to achieve HTML rearrangement. The paper discusses the technical issues and the results of a first validation.
暂无评论