Sciweavers

VL
2007
IEEE
116views Visual Languages» more  VL 2007»
13 years 11 months ago
A Sequent Based Logic for Coincidence Grids
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...
Dave Barker-Plummer, Nik Swoboda
VL
2007
IEEE
108views Visual Languages» more  VL 2007»
13 years 11 months ago
A PROLOG-based Approach to Representing and Querying Software Engineering Models
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...
Harald Störrle
VL
2007
IEEE
112views Visual Languages» more  VL 2007»
13 years 11 months ago
Visual Languages: A Matter of Style
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
Sacha Berger, François Bry, Tim Furche, Chr...
VL
2007
IEEE
104views Visual Languages» more  VL 2007»
13 years 11 months ago
A Peirce Style Calculus for ALC
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
Frithjof Dau, Peter W. Eklund
VL
2007
IEEE
157views Visual Languages» more  VL 2007»
13 years 11 months ago
Spider Diagrams of Order
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
Aidan Delaney, Gem Stapleton
VL
2007
IEEE
125views Visual Languages» more  VL 2007»
13 years 11 months ago
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
Benedek Nagy, Sándor Vályi
VL
2007
IEEE
113views Visual Languages» more  VL 2007»
13 years 11 months ago
Explaining Debugging Strategies to End-User Programmers
There has been little research into how end-user programming environments can provide explanations that could fill a critical information gap for end-user debuggers – help with ...
Neeraja Subrahmaniyan, Cory Kissinger, Kyle Rector...
VL
2007
IEEE
134views Visual Languages» more  VL 2007»
13 years 11 months ago
A Comprehensive Evaluation of Workspace Awareness in Software Configuration Management Systems
Workspace awareness has emerged as a new coordination paradigm in software configuration management systems, enabling the early detection of potential conflicts by providing devel...
Anita Sarma, André van der Hoek, David F. R...
VL
2007
IEEE
123views Visual Languages» more  VL 2007»
13 years 11 months ago
Introductory Computing Construct Use in an End-User Programming Community
Previous studies of end-user programmers have indicated a reliance on related examples for learning. Accordingly, we analyzed the projects contained in an online community with re...
Brian Dorn, Allison Elliott Tew, Mark Guzdial
VL
2007
IEEE
107views Visual Languages» more  VL 2007»
13 years 11 months ago
Mobile games to foster the learning of history at archaeological sites
This paper presents a system designed to support young students learning history at an archaeological site, by exploiting mobile technology. The approach uses game-play, since it ...
Carmelo Ardito, Paolo Buono, Maria Francesca Costa...