Paper Info
Title
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.
Year
DOI
Venue
2007
10.1145/1321211.1321238
CASCON
Keywords
DocType
Citations 
precise specification,tabular expression,formal software development,preliminary work,software behaviour,empirical study,software development
Conference
5
PageRank 
References 
Authors
0.60
12
3
Name
Order
Citations
PageRank
Dennis Peters119315.71
Mark Lawford218924.72
Baltasar Trancón y Widemann3339.61