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.
@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}, }