Diagrams and intuitive formal specifications

Burton, James (2008) Diagrams and intuitive formal specifications In: Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing, 2008, Herrsching am Ammersee, Germany, 15-19 September, 2008.

Full text not available from this repository.


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.

Item Type: Contribution to conference proceedings in the public domain (Extended Abstract)
Uncontrolled Keywords: diagrammatic specifications ; formal methods ; formal software specifications
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource): 10.1109/VLHCC.2008.4639102
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 09 Feb 2012 12:03
Last Modified: 26 Feb 2015 16:34
URI: http://eprints.brighton.ac.uk/id/eprint/9861

Actions (login required)

View Item View Item


Downloads per month over past year