An IDE for Software Development Using Tabular Expressions

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


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.


BibTeX Entry

 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 = {},
 publisher = {ACM},
 address = {New York, NY, USA},

Mark Lawford
Last modified: Fri Jul 31 11:02:36 EDT 2008