Conference
An IDE for software development using tabular expressions
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.
Authors
Peters DK; Lawford M; Trancón y Widemann B
Pagination
pp. 248-251
Publisher
Association for Computing Machinery (ACM)
Publication Date
2007
DOI
10.1145/1321211.1321238
Name of conference
Proceedings of the 2007 conference of the center for advanced studies on Collaborative research - CASCON '07
ISSN
1705-7361