DocumentCode
3027856
Title
Diagrams and intuitive formal specifications
Author
Burton, James
Author_Institution
Visual Modelling Group, Univ. of Brighton, Brighton
fYear
2008
fDate
15-19 Sept. 2008
Firstpage
262
Lastpage
263
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.
Keywords
diagrams; formal specification; diagrammatic specifications; formal methods; formal software specifications; Aerospace electronics; Costs; Embedded software; Formal specifications; Humans; Logic; Mathematical model; Power generation economics; Programming profession; Runtime;
fLanguage
English
Publisher
ieee
Conference_Titel
Visual Languages and Human-Centric Computing, 2008. VL/HCC 2008. IEEE Symposium on
Conference_Location
Herrsching am Ammersee
ISSN
1943-6092
Print_ISBN
978-1-4244-2528-0
Electronic_ISBN
1943-6092
Type
conf
DOI
10.1109/VLHCC.2008.4639102
Filename
4639102
Link To Document