NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Reference manual for a Requirements Specification Language (RSL), version 2.0This 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.
Document ID
19940015566
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Fisher, Gene L. (California Polytechnic State Univ. San Luis Obispo, CA, United States)
Cohen, Gerald C. (Boeing Defense and Space Group Seattle, WA., United States)
Date Acquired
September 6, 2013
Publication Date
November 1, 1993
Subject Category
Computer Operations And Hardware
Report/Patent Number
NAS 1.26:191460
NASA-CR-191460
Report Number: NAS 1.26:191460
Report Number: NASA-CR-191460
Accession Number
94N20039
Funding Number(s)
PROJECT: RTOP 505-64-10-07
CONTRACT_GRANT: NAS1-18586
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available