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

Email RIS file
Bookmark
Report an Issue

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

Author
Cohen, Gerald C.
Published
Nov 1, 1993.
Physical Description
1 electronic document
Additional Creators
Fisher, Gene L.
Online Version

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
Unclassified, Unlimited, Publicly available.
Free-to-read Unrestricted online access
Summary
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.
Other Subject(s)
Collection
NASA Technical Reports Server (NTRS) Collection.
Note
Document ID: 19940015566.
Accession ID: 94N20039.
NAS 1.26:191460.
NASA-CR-191460.
Terms of Use and Reproduction
No Copyright.
View MARC record | catkey: 15661732