NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
CD volume design and verificationIn this paper, we describe a prototype for CD-ROM volume design and verification. This prototype allows users to create their own model of CD volumes by modifying a prototypical model. Rule-based verification of the test volumes can then be performed later on against the volume definition. This working prototype has proven the concept of model-driven rule-based design and verification for large quantity of data. The model defined for the CD-ROM volumes becomes a data model as well as an executable specification.
Document ID
19940034908
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Li, Y. P. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Hughes, J. S. (JPL Pasadena, CA, United States)
Date Acquired
August 16, 2013
Publication Date
January 1, 1993
Publication Information
Publication: In: AIAA Computing in Aerospace Conference, 9th, San Diego, CA, Oct. 19-21, 1993, Technical Papers. Pt. 2 (A94-11401 01-62)
Publisher: American Institute of Aeronautics and Astronautics
Subject Category
Computer Programming And Software
Report/Patent Number
AIAA PAPER 93-4709
Accession Number
94A11563
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.

Related Records

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