VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing

Publisher
CEUR-WS.org
Website
Year
2007
Period
23rd September
Place
Coeur dAléne, Idaho, USA
ISBN
Series
VL-HCC - Symposium on Visual Languages and Human Centric Computing
DOI
Volume
Copyright info

Description

The VL/HCC conference is the premier international forum for researchers and industrial practitioners to discuss the theory, applications and evaluation of technologies, visual and otherwise, that enhance the role of humans in the computing process. The conference was established in 1984 and aims to support the design, formalization, implementation, and evaluation of computing languages that are easier to learn, easier to use, and easier to understand by a broader group of people.

All years

Articles

Cox, Philip T., Fish, Andrew, Howse, John (2007): Introduction. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. http://ceur-ws.org/Vol-274/VLL07/preface.pdf

Barker-Plummer, Dave, Swoboda, Nik (2007): A Sequent Based Logic for Coincidence Grids. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 1-12. http://ceur-ws.org/Vol-274/paper1.pdf

Nagy, Benedek, Vályi, Sándor (2007): Visual Reasoning by Generalized Interval-values and Interval Temporal Logic. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 13-26. http://ceur-ws.org/Vol-274/paper2.pdf

Delaney, Aidan, Stapleton, Gem (2007): Spider Diagrams of Order. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 27-39. http://ceur-ws.org/Vol-274/paper3.pdf

Clark, Robin (2007): Fast Zone Discrimination. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 41-54. http://ceur-ws.org/Vol-274/paper4.pdf

Dau, Frithjof, Eklund, Peter W. (2007): A Peirce Style Calculus for ALC. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 55-71. http://ceur-ws.org/Vol-274/paper5.pdf

Storrle, Harald (2007): A PROLOG-based Approach to Representing and Querying Software Engineering Models. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 71-83. http://ceur-ws.org/Vol-274/paper6.pdf

Berger, Sacha, Bry, Francois, Furche, Tim, Wieser, Christoph (2007): Visual Languages: A Matter of Style. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 85-96. http://ceur-ws.org/Vol-274/paper7.pdf

Gurr, Corin A. (2007): Visualising a Logic of Dependability Arguments. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 97-109. http://ceur-ws.org/Vol-274/paper8.pdf