The proceedings contain 8 papers. The topics discussed include: a sequent based logic for coincidence grids;visual reasoning by generalized interval-values and interval temporal logic;spider diagrams of order;fast zon...
The proceedings contain 8 papers. The topics discussed include: a sequent based logic for coincidence grids;visual reasoning by generalized interval-values and interval temporal logic;spider diagrams of order;fast zone discrimination;a peirce style calculus for ALC;a PROLOG-based approach to representing and querying software engineering models;visuallanguages: a matter of style;and visualising a logic of dependability arguments.
The proceedings contain 56 papers. The topics discussed include: how live coding affects developers' coding behavior;towards aiding within-patch information foraging by end-user programmers;get your directories ri...
ISBN:
(纸本)9781479940356
The proceedings contain 56 papers. The topics discussed include: how live coding affects developers' coding behavior;towards aiding within-patch information foraging by end-user programmers;get your directories right: from hierarchy visualization to hierarchy manipulation;automatic layout in the face of unattached comments;a direct manipulation language for explaining algorithms;real time assessment of computational thinking;teach and try: a simple interaction technique for exploratory data modelling by end users;principles of a debugging-first puzzle game for computing education;codegraffiti: using hand-drawn sketches connected to code bases in navigation tasks;how developers use multi-recommendation system in local code search;code you can use: searching for web automation scripts based on reusability;on older adults in free/open source software: reflections of contributors and community leaders;and real-time continuous gesture recognition for natural human computer interaction.
The proceedings contain 54 papers. The topics discussed include: label management: keeping complex diagrams usable;who changed my annotation? an investigation into refitting freeform ink annotation;an evolutionary app...
ISBN:
(纸本)9781509002528
The proceedings contain 54 papers. The topics discussed include: label management: keeping complex diagrams usable;who changed my annotation? an investigation into refitting freeform ink annotation;an evolutionary approach to determining hidden lines from a natural sketch;measuring perceived clutter in concept diagrams;evaluation of a modelling language for customer journeys;an empirical study of user perceived usefulness and preference of open learner model visualisations;learning programming from tutorials and code puzzles: children�s perceptions of value;coding, reading, and writing: integrated instruction in written language;visual discovery and model-driven explanation of time series patterns;diagnostic visualization for non-expert machine learning practitioners: a design study;supporting end-users in defining complex queries on evolving and domain-specific data models;Yestercode: improving code-change support in visual dataflow programming environments;declarative setup-free web application prototyping combining local and cloud datastores;a domain-specific visual modeling language for testing environment emulation;and trials and tribulations of developers of intelligent systems: a field study.
暂无评论