IEEE - Institute of Electrical and Electronics Engineers, Inc. - Diagrams and intuitive formal specifications

2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

Author(s): J. Burton
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2008
Conference Location: Herrsching am Ammersee, Germany
Conference Date: 15 September 2008
Page(s): 262 - 263
ISBN (CD): 978-1-4244-2529-7
ISBN (Paper): 978-1-4244-2528-0
ISSN (Paper): 1943-6092
DOI: 10.1109/VLHCC.2008.4639102
Regular:

When diagrams are used to describe formal software specifications, their expressive power has the potential to make certain reasoning tasks easier. Our work aims to embed such diagrammatic... View More

Advertisement