Research Catalog

An introduction to requirements capture using PVS specification of a simple autopilot

Title
An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler.
Author
Butler, Ricky W.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]

Details

Additional Authors
Langley Research Center.
Description
1 v.
Series Statement
NASA technical memorandum ; 110255
Alternative Title
Specification of a simple autopilot
Subject
  • Computer programming
  • Computer programs
  • User requirements
  • Software development tools
  • Program verification (Computers)
  • Software reliability
  • Equations of state
  • Specifications
Note
  • Shipping list no.: 98-0789-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.15:110255
OCLC
marcive39675735
Author
Butler, Ricky W.
Title
An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
Series
NASA technical memorandum ; 110255
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.
Added Author
Langley Research Center.
Gpo Item No.
0830-D (MF)
Sudoc No.
NAS 1.15:110255
Research Call Number
READEX Microfiche NAS 1.15:110255
View in Legacy Catalog