The Resource An introduction to requirements capture using PVS : specification of a simple autopilot, Ricky W. Butler

An introduction to requirements capture using PVS : specification of a simple autopilot, Ricky W. Butler

Label
An introduction to requirements capture using PVS : specification of a simple autopilot
Title
An introduction to requirements capture using PVS
Title remainder
specification of a simple autopilot
Statement of responsibility
Ricky W. Butler
Title variation
Introduction to requirements capture using Prototype Verification System, specification of a simple autopilot
Creator
Contributor
Author
Issuing body
Sponsoring body
Subject
Genre
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Butler, Ricky W
Funding information
Sponsored by the National Aeronautics and Space Administration
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
  • Langley Research Center
  • United States
Series statement
NASA technical memorandum
Series volume
110255
http://library.link/vocab/subjectName
  • Computer programming
  • Computer programs
  • User requirements
  • Software development tools
  • Program verification (computers)
  • Software reliability
  • Equations of state
  • Specifications
Label
An introduction to requirements capture using PVS : specification of a simple autopilot, Ricky W. Butler
Instantiates
Publication
Note
  • Title from title screen (viewed June 20, 2016)
  • "May 1996."
  • "Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page
Bibliography note
Includes bibliographical references (pages 24-25)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
951986184
Dimensions
unknown
Extent
1 online resource (iii, 29 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations.
Specific material designation
remote
Label
An introduction to requirements capture using PVS : specification of a simple autopilot, Ricky W. Butler
Publication
Note
  • Title from title screen (viewed June 20, 2016)
  • "May 1996."
  • "Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page
Bibliography note
Includes bibliographical references (pages 24-25)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
951986184
Dimensions
unknown
Extent
1 online resource (iii, 29 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations.
Specific material designation
remote

Library Locations

  • St. Louis Mercantile LibraryBorrow it
    1 University Blvd, St. Louis, MO, 63121, US
    38.710138 -90.311107
  • Thomas Jefferson LibraryBorrow it
    1 University Blvd, St. Louis, MO, 63121, US
    38.710138 -90.311107
  • University ArchivesBorrow it
    703 Lewis Hall, Columbia, MO, 65211, US
  • University of Missouri-St. Louis Libraries DepositoryBorrow it
    2908 Lemone Blvd, Columbia, MO, 65201, US
    38.919360 -92.291620
  • University of Missouri-St. Louis Libraries DepositoryBorrow it
    2908 Lemone Blvd, Columbia, MO, 65201, US
    38.919360 -92.291620
  • Ward E Barnes Education LibraryBorrow it
    8001 Natural Bridge Rd, St. Louis, MO, 63121, US
    38.707079 -90.311355
Processing Feedback ...