REVS Users Manual. SREP Final Report. Volume II.
TRW DEFENSE AND SPACE SYSTEMS GROUP HUNTSVILLE ALA
Pagination or Media Count:
This manual describes and provides instructions for using the Requirements Statement Language RSL and the Requirements Engineering and Validation System REVS. RSL is a flow oriented language for stating software requirements in a clear, non-ambibiguous form. REVS includes a translator for RSL, a data base for maintaining the description of a systems software requirements, an interactive graphics input and display system, and a set of tools for analyzing the requirements data base for consistency, completeness, and logical integrity. REVS also includes an automated simulation generation capability which allows simulations to be generated directly from the statement of requirements as written in RSL. Author
- Computer Programming and Software