Home
Scholarly Works
An IDE for software development using tabular...
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

December 1, 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
View published work (Non-McMaster Users)

Contact the Experts team