Title :
Diagrams and intuitive formal specifications
Author_Institution :
Visual Modelling Group, Univ. of Brighton, Brighton
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;
Conference_Titel :
Visual Languages and Human-Centric Computing, 2008. VL/HCC 2008. IEEE Symposium on
Conference_Location :
Herrsching am Ammersee
Print_ISBN :
978-1-4244-2528-0
Electronic_ISBN :
1943-6092
DOI :
10.1109/VLHCC.2008.4639102
