skip to content
Software verification and testing. Preview this item
ClosePreview this item
Checking...

Software verification and testing.

Author: Software Engineering Laboratory (Goddard Space Flight Center)
Publisher: Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, [1985]
Series: Software Engineering Laboratory series, SEL-85-005.; NASA technical memorandum, 88587.
Edition/Format:   Book   Microform : National government publication : Microfiche : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Government publication, National government publication
Document Type: Book
All Authors / Contributors: Software Engineering Laboratory (Goddard Space Flight Center)
OCLC Number: 216915203
Reproduction Notes: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1986. 1 microfiche.
Description: 1 volume.
Series Title: Software Engineering Laboratory series, SEL-85-005.; NASA technical memorandum, 88587.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/216915203> # Software verification and testing.
    a bgn:Microform, schema:CreativeWork, schema:Book ;
   library:oclcnum "216915203" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mdu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1012154412#Place/greenbelt_md> ; # Greenbelt, Md.
   schema:about <http://experiment.worldcat.org/entity/work/data/1012154412#Topic/management_analysis> ; # Management analysis
   schema:about <http://experiment.worldcat.org/entity/work/data/1012154412#Topic/computer_programs> ; # Computer programs
   schema:about <http://experiment.worldcat.org/entity/work/data/1012154412#Topic/program_verification_computers> ; # Program verification (Computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/1012154412#Topic/information_management> ; # Information management
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://id.loc.gov/authorities/subjects/sh85029537> ; # Computer software--Verification
   schema:contributor <http://viaf.org/viaf/167968660> ; # Software Engineering Laboratory (Goddard Space Flight Center)
   schema:datePublished "1985" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1012154412> ;
   schema:genre "Government publication"@en ;
   schema:genre "National government publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1012154412#Series/nasa_technical_memorandum> ; # NASA technical memorandum ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1012154412#Series/software_engineering_laboratory_series> ; # Software Engineering Laboratory series ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1012154412#Series/nasa_tm> ; # NASA-TM ;
   schema:name "Software verification and testing."@en ;
   schema:productID "216915203" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/216915203#PublicationEvent/greenbelt_md_national_aeronautics_and_space_administration_goddard_space_flight_center_1985> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1012154412#Agent/national_aeronautics_and_space_administration_goddard_space_flight_center> ; # National Aeronautics and Space Administration, Goddard Space Flight Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/216915203> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1012154412#Agent/national_aeronautics_and_space_administration_goddard_space_flight_center> # National Aeronautics and Space Administration, Goddard Space Flight Center
    a bgn:Agent ;
   schema:name "National Aeronautics and Space Administration, Goddard Space Flight Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/1012154412#Series/nasa_technical_memorandum> # NASA technical memorandum ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/216915203> ; # Software verification and testing.
   schema:name "NASA technical memorandum ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1012154412#Series/software_engineering_laboratory_series> # Software Engineering Laboratory series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/216915203> ; # Software verification and testing.
   schema:name "Software Engineering Laboratory series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1012154412#Topic/information_management> # Information management
    a schema:Intangible ;
   schema:name "Information management"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1012154412#Topic/management_analysis> # Management analysis
    a schema:Intangible ;
   schema:name "Management analysis"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1012154412#Topic/program_verification_computers> # Program verification (Computers)
    a schema:Intangible ;
   schema:name "Program verification (Computers)"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029537> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://viaf.org/viaf/167968660> # Software Engineering Laboratory (Goddard Space Flight Center)
    a schema:Organization ;
   schema:name "Software Engineering Laboratory (Goddard Space Flight Center)" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.