An IDE for Software Development Using Tabular Expressions

by D.K. Peters, M. Lawford and B. Trancon y Widemann

Abstract:

We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour.

Download

• Paper: cascon07.pdf (142k, pdf)

BibTeX Entry

@inproceedings{1321238,
 author = {Dennis K. Peters and Mark Lawford and Baltasar Tranc\'{o}n y Widemann},
 title = {An IDE for software development using tabular expressions},
 booktitle = {CASCON '07: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research},
 year = {2007},
 pages = {248--251},
 location = {Richmond Hill, Ontario, Canada},
 doi = {http://doi.acm.org/10.1145/1321211.1321238},
 publisher = {ACM},
 address = {New York, NY, USA},
 }