The following topics are discussed: domain specific visuallanguages; human-centriccomputing; end-user debugging and testing; formal foundations; interaction and user interface design; algorithm visualization and dem...
The following topics are discussed: domain specific visuallanguages; human-centriccomputing; end-user debugging and testing; formal foundations; interaction and user interface design; algorithm visualization and demonstration; software visualization and program comprehension; visual language design, specification, and implementation; animation; and end user development.
The following topics are dealt with: software engineering; program maintenance; teaching and learning; software configuration management system; online learning environment; logic programming; domain specific visual l...
The following topics are dealt with: software engineering; program maintenance; teaching and learning; software configuration management system; online learning environment; logic programming; domain specific visual language meta tool; visual interactive programming; end user programming evaluations; nonhierarchical visualization component; formal method; incremental specification; end-user Web development.
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carr...
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center. The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors or the Institute of Electrical and Electronics Engineers, Inc.
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carr...
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center. The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors or the Institute of Electrical and Electronics Engineers, Inc.
The proceedings contain 35 papers. The special focus in this conference is on Theory and Application of Diagrams. The topics include: On Lambert Quadrilaterals and Why They Cannot Be Diagrams (According to L...
ISBN:
(纸本)9783031151453
The proceedings contain 35 papers. The special focus in this conference is on Theory and Application of Diagrams. The topics include: On Lambert Quadrilaterals and Why They Cannot Be Diagrams (According to Lambert);euler vs Hasse Diagrams for Reasoning About Sets: A Cognitive Approach;evaluating Colour in Concept Diagrams;tables as Powerful Representational Tools;why Scholars Are Diagramming Neural Network Models;a Formal Model of Aspect Shifting: The Case of Dot Diagrams;how to visually Represent Structure;aspect Shifting in Aristotelian Diagrams;on computing Optimal Linear Diagrams;epistemic Roles of Diagrams in Short Proofs;ancillary Diagrams: A Substitute for Text in Multimedia Resources?;diagrams for Learning to Lead in Salsa Dancing;the Use of Diagrams in Planning for Report Writing;from Euler Diagrams to Aristotelian Diagrams;visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic;representing Formulas of Propositional Logic by Cographs, Permutations and Tables;the Notion of Diagrammatic Isomorphism in Venn-Peirce Diagrams;generalizing Aristotelian Relations and Diagrams;john Cook Wilson’s Hanging Plants: A Contribution to the History of Early Logic Trees;visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs?;peirce’s Complex Diagrams;how to Build and Convert Complex Propositions in the Marlo Diagram;perception of Node-Link Diagrams: The Effect of Layout on the Perception of Graph Properties;explaining with Diagrams for Promoting Deeper Learning: School Practice to Integrate Knowledge Across Subjects;visually Analyzing Universal Quantifiers in Photograph Captions;comparison of Diagram Use for visualizing Probability Problems in U.S. and Chinese Textbooks;representational Interpretive Structure: Theory and Notation;mixing Colors, Mixing Logics;normatively Determined Propositions;a Diagram Must Never Be Ten Thousand Words: Text-Based (Sentential) Approaches to Diagrams Accessibility Limit Users’ Potential for Normat
The proceedings contain 61 papers. The topics discussed include: development and evaluation of a model of programming errors;building environments for end-user development and tailoring;additional context for gentle-s...
ISBN:
(纸本)0780382250
The proceedings contain 61 papers. The topics discussed include: development and evaluation of a model of programming errors;building environments for end-user development and tailoring;additional context for gentle-slope systems;approaches to supporting software visual notation exchange;visual composition of web services;a browsing interface for exploring constraints in visualization rules;transparent interface: a seamless media space integrating the real and virtual worlds;graph-based consistency checking in spatial information system;a language and task-based taxonomy of programming environments;deriving workflow enactment rules from UML activity diagrams: a case study;the effects of graphical and textual visualizations in multi-representational debugging environments;integrating software engineering and user-centered design for multimedia software developments;and evaluating the effectiveness of a multimedia advisor tool.
The proceedings contain 46 papers. The topics discussed include: visualization for information exploration and analysis;model driven development with mechatronic UML;exploring and evolution of software quality with an...
ISBN:
(纸本)9781424425280
The proceedings contain 46 papers. The topics discussed include: visualization for information exploration and analysis;model driven development with mechatronic UML;exploring and evolution of software quality with animated visualization;flexible visualization of automatic simulation based on structured graph transformation;end-user programming in the wild:;a field study of coscripter scripts;using scalable game design to promote 3D fluency: assessing the AgentCubes incremental 3D end-user development framework;tool support for working with sets of source code entities;analyzing a socio-technical visualization tool using usability inspection methods;towards the next generation of bug tracking systems;and he design and experimental evaluation of a tool to support the construction and Wizard-of-Oz testing of low fidelity prototypes.
暂无评论