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
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.
Actions (login required)
Downloads per month over past year