Software inspection is one of the best practices for detecting and removing defects early in the software development process. We present a tool to support geographically distribu...
1 Two tutorials are presented introducing the basic syntax and semantics of Awk and Perl. The languages are taught by example, and the same example EDA applications are developed i...
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
This paper presents an annotation tool and format for the stand-off annotation of transcriptions of spoken discourse like they are produced in a conversion analysis or pragmatic f...
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...