Diagrams and Intuitive Formal Specifications Export

@inproceedings{burton:daifs, 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.}, address = {Piscataway, NJ}, author = {Burton, James}, booktitle = {Visual Languages and Human-Centric Computing}, citeulike-article-id = {3322427}, editor = {Bottoni, Paolo and Rosson, Mary B. and Minas, Mark}, keywords = {diagrams, formal-methods}, location = {Herrsching am Ammersee, Germany}, month = {September}, organization = {IEEE}, pages = {262--263}, posted-at = {2008-09-23 16:50:13}, priority = {0}, publisher = {IEEE}, title = {Diagrams and Intuitive Formal Specifications}, year = {2008} }

TY - CONF ID - burton:daifs L3 - citeulike-article-id:3322427 N2 - 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. CY - Herrsching am Ammersee, Germany OR - IEEE AD - Piscataway, NJ EP - 263 TI - Diagrams and Intuitive Formal Specifications PB - IEEE T2 - Visual Languages and Human-Centric Computing SP - 262 KW - diagrams KW - formal-methods AU - Burton, James A2 - Bottoni, Paolo A2 - Rosson, Mary A2 - Minas, Mark PY - 2008/09// ER -