Diagrams and intuitive formal specifications

James Burton

doi:10.1109/VLHCC.2008.4639102

Abstract

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 specifications directly in the software they describe. We argue that diagrams can help lower the barrier to formal methods, making this activity accessible to greater numbers of programmers.

Original language	English
Pages	262-263
Number of pages	2
DOIs	https://doi.org/10.1109/VLHCC.2008.4639102
Publication status	Published - 1 Sept 2008
Event	Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing - Herrsching am Ammersee, Germany, 15-19 September, 2008 Duration: 1 Sept 2008 → …

Conference

Conference	Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing
Period	1/09/08 → …

Keywords

diagrammatic specifications
formal methods
formal software specifications

Access to Document

10.1109/VLHCC.2008.4639102Licence: Unspecified

http://vlhcc08.cs.unibw.de/index.phpLicence: Unspecified

Cite this

@conference{0a4d009ab1584f9b812f8a047d2df6dc,

title = "Diagrams and intuitive formal specifications",

abstract = "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 specifications directly in the software they describe. We argue that diagrams can help lower the barrier to formal methods, making this activity accessible to greater numbers of programmers.",

keywords = "diagrammatic specifications, formal methods, formal software specifications",

author = "James Burton",

year = "2008",

month = sep,

day = "1",

doi = "10.1109/VLHCC.2008.4639102",

language = "English",

pages = "262--263",

note = "Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing ; Conference date: 01-09-2008",

}

TY - CONF

T1 - Diagrams and intuitive formal specifications

AU - Burton, James

PY - 2008/9/1

Y1 - 2008/9/1

N2 - 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 specifications directly in the software they describe. We argue that diagrams can help lower the barrier to formal methods, making this activity accessible to greater numbers of programmers.

AB - 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 specifications directly in the software they describe. We argue that diagrams can help lower the barrier to formal methods, making this activity accessible to greater numbers of programmers.

KW - diagrammatic specifications

KW - formal methods

KW - formal software specifications

U2 - 10.1109/VLHCC.2008.4639102

DO - 10.1109/VLHCC.2008.4639102

M3 - Abstract

SP - 262

EP - 263

T2 - Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing

Y2 - 1 September 2008

ER -