skip to content
Survey and assessment of conventional software verification and validation methods Preview this item
ClosePreview this item
Checking...

Survey and assessment of conventional software verification and validation methods

Author: L A Miller; E Groundwater; S M Mirsky; U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research.; Science Applications International Corporation.
Publisher: Washington, DC : Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission ; Palo Alto, CA : Nuclear Power Division, Electric Power Research Institute ; Washington, DC : Supt. of Docs., U.S. G.P.O. [distributor], 1993.
Series: EPRI TR, 102106.
Edition/Format:   Book   Microform : National government publication : Microfiche : EnglishView all editions and formats
Database:WorldCat
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: L A Miller; E Groundwater; S M Mirsky; U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research.; Science Applications International Corporation.
OCLC Number: 29449285
Notes: "Science Applications International Corporation."
Distributed to depository libraries in microfiche.
Shipping list no.: 93-0925-M.
"Date published: April 1993."
"NUREG/CR-6018."
"SAIC-91/6660."
Reproduction Notes: Microfiche. [Washington, D.C.?] : Supt. of Docs., U.S. G.P.O., [1993]. 2 microfiches : negative.
Description: ix, 175 pages : illustrations ; 28 cm.
Series Title: EPRI TR, 102106.
Responsibility: prepared by L.A. Miller, E. Groundwater, S.M. Mirsky.

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/29449285> # Survey and assessment of conventional software verification and validation methods
    a schema:CreativeWork, schema:Book, bgn:Microform ;
    library:oclcnum "29449285" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/30564415#Place/washington_dc> ; # Washington, DC
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/dcu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/30564415#Place/palo_alto_ca> ; # Palo Alto, CA
    schema:about <http://id.worldcat.org/fast/1040258> ; # Nuclear industry--Data processing
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://id.loc.gov/authorities/subjects/sh85029536> ; # Computer software--Validation
    schema:about <http://id.worldcat.org/fast/872602> ; # Computer software--Validation
    schema:about <http://id.loc.gov/authorities/subjects/sh85029537> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/30564415#Topic/nuclear_industry_data_processing> ; # Nuclear industry--Data processing
    schema:contributor <http://viaf.org/viaf/131629717> ; # U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research.
    schema:contributor <http://viaf.org/viaf/312816151> ; # Science Applications International Corporation.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/30564415#Person/groundwater_e> ; # E. Groundwater
    schema:contributor <http://experiment.worldcat.org/entity/work/data/30564415#Person/mirsky_s_m> ; # S. M. Mirsky
    schema:creator <http://viaf.org/viaf/36645915> ; # L. A. Miller
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/30564415> ;
    schema:genre "Government publication"@en ;
    schema:genre "National government publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/30564415#Series/epri_tr> ; # EPRI TR ;
    schema:name "Survey and assessment of conventional software verification and validation methods"@en ;
    schema:productID "29449285" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/29449285#PublicationEvent/washington_dc_division_of_systems_research_office_of_nuclear_regulatory_research_u_s_nuclear_regulatory_commission_palo_alto_ca_nuclear_power_division_electric_power_research_institute_washington_dc_supt_of_docs_u_s_g_p_o_distributor_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/30564415#Agent/nuclear_power_division_electric_power_research_institute> ; # Nuclear Power Division, Electric Power Research Institute
    schema:publisher <http://experiment.worldcat.org/entity/work/data/30564415#Agent/division_of_systems_research_office_of_nuclear_regulatory_research_u_s_nuclear_regulatory_commission> ; # Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission
    schema:publisher <http://experiment.worldcat.org/entity/work/data/30564415#Agent/supt_of_docs_u_s_g_p_o_distributor> ; # Supt. of Docs., U.S. G.P.O. [distributor]
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/29449285> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/30564415#Agent/division_of_systems_research_office_of_nuclear_regulatory_research_u_s_nuclear_regulatory_commission> # Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission
    a bgn:Agent ;
    schema:name "Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission" ;
    .

<http://experiment.worldcat.org/entity/work/data/30564415#Agent/nuclear_power_division_electric_power_research_institute> # Nuclear Power Division, Electric Power Research Institute
    a bgn:Agent ;
    schema:name "Nuclear Power Division, Electric Power Research Institute" ;
    .

<http://experiment.worldcat.org/entity/work/data/30564415#Agent/supt_of_docs_u_s_g_p_o_distributor> # Supt. of Docs., U.S. G.P.O. [distributor]
    a bgn:Agent ;
    schema:name "Supt. of Docs., U.S. G.P.O. [distributor]" ;
    .

<http://experiment.worldcat.org/entity/work/data/30564415#Person/groundwater_e> # E. Groundwater
    a schema:Person ;
    schema:familyName "Groundwater" ;
    schema:givenName "E." ;
    schema:name "E. Groundwater" ;
    .

<http://experiment.worldcat.org/entity/work/data/30564415#Person/mirsky_s_m> # S. M. Mirsky
    a schema:Person ;
    schema:familyName "Mirsky" ;
    schema:givenName "S. M." ;
    schema:name "S. M. Mirsky" ;
    .

<http://experiment.worldcat.org/entity/work/data/30564415#Place/palo_alto_ca> # Palo Alto, CA
    a schema:Place ;
    schema:name "Palo Alto, CA" ;
    .

<http://experiment.worldcat.org/entity/work/data/30564415#Place/washington_dc> # Washington, DC
    a schema:Place ;
    schema:name "Washington, DC" ;
    .

<http://experiment.worldcat.org/entity/work/data/30564415#Series/epri_tr> # EPRI TR ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/29449285> ; # Survey and assessment of conventional software verification and validation methods
    schema:name "EPRI TR ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029536> # Computer software--Validation
    a schema:Intangible ;
    schema:name "Computer software--Validation"@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/1040258> # Nuclear industry--Data processing
    a schema:Intangible ;
    schema:name "Nuclear industry--Data processing"@en ;
    .

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

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

<http://viaf.org/viaf/131629717> # U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research.
    a schema:Organization ;
    schema:name "U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research." ;
    .

<http://viaf.org/viaf/312816151> # Science Applications International Corporation.
    a schema:Organization ;
    schema:name "Science Applications International Corporation." ;
    .

<http://viaf.org/viaf/36645915> # L. A. Miller
    a schema:Person ;
    schema:familyName "Miller" ;
    schema:givenName "L. A." ;
    schema:name "L. A. Miller" ;
    .

<http://www.worldcat.org/title/-/oclc/29449285>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/29449285> ; # Survey and assessment of conventional software verification and validation methods
    schema:dateModified "2016-09-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/29449285#PublicationEvent/washington_dc_division_of_systems_research_office_of_nuclear_regulatory_research_u_s_nuclear_regulatory_commission_palo_alto_ca_nuclear_power_division_electric_power_research_institute_washington_dc_supt_of_docs_u_s_g_p_o_distributor_1993>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/30564415#Place/palo_alto_ca> ; # Palo Alto, CA
    schema:location <http://experiment.worldcat.org/entity/work/data/30564415#Place/washington_dc> ; # Washington, DC
    schema:organizer <http://experiment.worldcat.org/entity/work/data/30564415#Agent/supt_of_docs_u_s_g_p_o_distributor> ; # Supt. of Docs., U.S. G.P.O. [distributor]
    schema:organizer <http://experiment.worldcat.org/entity/work/data/30564415#Agent/nuclear_power_division_electric_power_research_institute> ; # Nuclear Power Division, Electric Power Research Institute
    schema:organizer <http://experiment.worldcat.org/entity/work/data/30564415#Agent/division_of_systems_research_office_of_nuclear_regulatory_research_u_s_nuclear_regulatory_commission> ; # Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission
    schema:startDate "1993" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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