Accessibility navigation

Visualizing a logic of dependability arguments

Gurr, C. (2007) Visualizing a logic of dependability arguments. In: Visual Languages and Logic Workshop (VLL 2007), Coeur d'Aléne, Idaho, USA, pp. 97-109.

Full text not archived in this repository.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.


This paper offers general guidelines for the development of effective visual languages. That is, languages for constructing diagrams that can be easily and readily interpreted and manipulated by the human reader. We use these guidelines first to examine classical AND/OR trees as a representation of logical proofs, and second to design and evaluate a visual language for representing proofs in LofA: a Logic of Dependability Arguments, for which we provide a brief motivation and overview.

Item Type:Conference or Workshop Item (Paper)
ID Code:15007
Additional Information:Workshop was part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07.

University Staff: Request a correction | Centaur Editors: Update this record

Page navigation