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 language | English |
---|---|
Pages | 262-263 |
Number of pages | 2 |
DOIs | |
Publication status | Published - 1 Sept 2008 |
Event | Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing - Herrsching am Ammersee, Germany, 15-19 September, 2008 Duration: 1 Sept 2008 → … |
Conference
Conference | Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing |
---|---|
Period | 1/09/08 → … |
Keywords
- diagrammatic specifications
- formal methods
- formal software specifications