Screenshots
The current Forest prototype implementation consists of a stand alone application as well as a plug-in for the Eclipse IDE.This page shows a number of screenshots of the Forest prototype implementation.
The design editor of the Eclipse plug-in.
The outline view of the design editor.
A full requirements trace.
Warnings and errors generated by the model checker are written to the Problem view.
Using the prototype from the command line interface.
Checking the repository contents using the command line interface.
The cover of a generated document.
The inside of a generated document. The decorators in the margin provide state information on each requirement.
A generated design document containing generated traceability matrices.
A 2 minute screen capture video about using the Forest prototype Eclipse plug-in.
Website last updated: July 11, 2007