This is the reference manual for ProR.

Editors

Upon opening a ReqIF Model, the ReqIF Editor opens that provides an overview of the model. A model contains any number of specifications, and each specification is opened in its own editor.

ReqIF Overview Editor

Specification Editor