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|
|Date Deposited:||09 Feb 2012 12:03|
|Last Modified:||26 Feb 2015 16:34|
Actions (login required)
Downloads per month over past year