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 → …

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

    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