Diagrams and intuitive formal specifications

Research output: Contribution to conferenceAbstract

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 languageEnglish
Pages262-263
Number of pages2
DOIs
Publication statusPublished - 1 Sep 2008
EventProceedings of the 2008 IEEE symposium on visual languages and human-centric computing - Herrsching am Ammersee, Germany, 15-19 September, 2008
Duration: 1 Sep 2008 → …

Conference

ConferenceProceedings of the 2008 IEEE symposium on visual languages and human-centric computing
Period1/09/08 → …

Fingerprint

Specifications
Formal methods
Formal specification

Keywords

  • diagrammatic specifications
  • formal methods
  • formal software specifications

Cite this

Burton, J. (2008). Diagrams and intuitive formal specifications. 262-263. Abstract from Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing, . https://doi.org/10.1109/VLHCC.2008.4639102
Burton, James. / Diagrams and intuitive formal specifications. Abstract from Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing, .2 p.
@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 = "9",
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",

}

Burton, J 2008, 'Diagrams and intuitive formal specifications' Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing, 1/09/08, pp. 262-263. https://doi.org/10.1109/VLHCC.2008.4639102

Diagrams and intuitive formal specifications. / Burton, James.

2008. 262-263 Abstract from Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing, .

Research output: Contribution to conferenceAbstract

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

ER -

Burton J. Diagrams and intuitive formal specifications. 2008. Abstract from Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing, . https://doi.org/10.1109/VLHCC.2008.4639102