Diagrams and intuitive formal specifications

James Burton

Research output: Contribution to conferenceAbstractpeer-review

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 Sept 2008
EventProceedings 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

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

Keywords

  • diagrammatic specifications
  • formal methods
  • formal software specifications

Fingerprint

Dive into the research topics of 'Diagrams and intuitive formal specifications'. Together they form a unique fingerprint.

Cite this