PPT Slide

Expected Results

English like notation that is amenable to substantial tool support:

• automate error checking on a requirement specification

written in SRR

• automate the transformation to S for use in automated test

case generation (Michael Donat).

Experimental evaluation of the formal SRR notation in comparison

to semi-formal version of the SRR notation.

Current Status

• adding functionality to the SRR parser and typechecker

• defining the SPECL language

Previous slide

Back to first slide

View graphic version