An IDE for software development using tabular...

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

Associated Experts

Mark Lawford

Professor, Faculty of Engineering

Visit profile

Labels

Fields of Research (FoR)

46 Information and Computing Sciences 4612 Software Engineering

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback