NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Software Specification LanguageSSL translator aids in developing and checking software systems. Goal of SSL is to provide form of verification and consistency checking early in design phase. Serves as formal document to communicate software architecure to detailed designers.
Document ID
19830000244
Acquisition Source
Legacy CDMS
Document Type
Other - NASA Tech Brief
Authors
Buckles, B. P. (Science Applications, Inc.)
Ryan, J. P. (Science Applications, Inc.)
Austin, S. L.
Date Acquired
August 11, 2013
Publication Date
October 1, 1983
Publication Information
Publication: NASA Tech Briefs
Volume: 7
Issue: 4
ISSN: 0145-319X
Subject Category
Mathematics And Information Sciences
Report/Patent Number
MFS-23737
ISSN: 0145-319X
Report Number: MFS-23737
Accession Number
83B10244
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.

Related Records

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