Search NASA⌕ Search

NASA NTRS · 19940015566

Reference manual for a Requirements Specification Language (RSL), version 2.0

Abstract

This report is a Reference Manual for a general-purpose Requirements Specification Language, RSL. The purpose of RSL is to specify precisely the external structure of a mechanized system and to define requirements that the system must meet. A system can be comprised of a mixture of hardware, software, and human processing elements. RSL is a hybrid of features found in several popular requirements specification languages and includes constructs for formal mathematical specification.

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Fisher, Gene L., Cohen, Gerald C.. 1993-11-01. Reference manual for a Requirements Specification Language (RSL), version 2.0. https://ntrs.nasa.gov/citations/19940015566

Cite the original work for its findings. Save a collection to share your selection of sources.