Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

73

ICFP
2007
ACM

favoriteEmaildiscussreport

84views Programming Languages» more ICFP 2007»

Experience report: the reactis validation tool

15 years 2 months ago

Experience report: the reactis validation tool

Download www.simsnet.org

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 commercial product has led us to the conclusion that while functional languages have some disadvantages, in the case of Reactis the benefits of a functional language substantially outweigh the drawbacks.

Steve Sims, Daniel C. DuVarney

Real-time Traffic

Functional Language | ICFP 2007 | Programming Languages | Successful Testing | Validation Tool |

claim paper

Related Content

» Using Software Project Courses to Integrate Education and Research An Experience Report

» Coexpression pattern from DNA microarray experiments as a tool for operon prediction

» Evaluation of the E3 Process Modelling Language and Tool for the Purpose of Model Creation

» Workflow management versus case handling results from a controlled software experiment

» Project Replayer An Investigation Tool to Revisit Processes of Past Projects

» Measuring User Responses to Interactive Stories Towards a Standardized Assessment Tool

» Independent validation of specifications a coordination headache

» A Proposed Framework for Calibration of Available Bandwidth Estimation Tools

» Cognitive factors in perspectivebased reading PBR A protocol analysis study

Post Info
More Details (n/a)

Added	16 Aug 2010
Updated	16 Aug 2010
Type	Conference
Year	2007
Where	ICFP
Authors	Steve Sims, Daniel C. DuVarney

Comments (0)