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.

Official URL: http://vlhcc08.cs.unibw.de/index.php

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.

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
ID Code:9861
Deposited By:Converis
Deposited On:09 Feb 2012 12:03
Last Modified:27 Mar 2013 03:01

Repository Staff Only: item control page