Explore: Program Verification (computers)
Discover books, insights, and more — all in one place.
Learn more about Program Verification (computers) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “program-verification-%28computers%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Land surface temperature measurements from EOS MODIS data
By Zhengming Wan
“Land surface temperature measurements from EOS MODIS data” Metadata:
- Title: ➤ Land surface temperature measurements from EOS MODIS data
- Author: Zhengming Wan
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: ➤ 1993 - 1994 - 1995 - 1997 - 1998
- Publish Location: ➤ [Springfield, Va - [Washington, DC - [Washington, D.C.] - [Washington, D.C - Springfield, Va
“Land surface temperature measurements from EOS MODIS data” Subjects and Themes:
- Subjects: ➤ Algorithms - Bidirectional reflectance - Earth Observing System (EOS) - Emissivity - Infrared radiation - Kernel functions - Land surface temperature - Program verification (Computers) - Spectral emission - Spectral reflectance - Temperature measurement - Temporal distribution
Edition Identifiers:
- The Open Library ID: ➤ OL15547481M - OL17067423M - OL17008598M - OL15495059M - OL15419646M - OL17010003M
- Online Computer Library Center (OCLC) ID: 33054778 - 34716062 - 33036424
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Land surface temperature measurements from EOS MODIS data at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Parallel ALLSPD-3D
By David M. Fricker
“Parallel ALLSPD-3D” Metadata:
- Title: Parallel ALLSPD-3D
- Author: David M. Fricker
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor - U.S. Army, Research Laboratory
- Publish Date: 1997
- Publish Location: ➤ [Washington, D.C - Springfield, Va - [Washington, DC] - [Springfield, Va
“Parallel ALLSPD-3D” Subjects and Themes:
- Subjects: ➤ Computational fluid dynamics - Parallel processing (Computers) - Reacting flow - Applications programs (Computers) - Program verification (Computers) - Efficiency - Computer systems programs
Edition Identifiers:
- The Open Library ID: ➤ OL17579564M - OL18121077M - OL15503716M - OL17128957M - OL17577081M - OL17128135M
- Online Computer Library Center (OCLC) ID: 40884984 - 40660497
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Parallel ALLSPD-3D at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Measurement-based reliability/performability models
By Mei-Chen Hsueh
“Measurement-based reliability/performability models” Metadata:
- Title: ➤ Measurement-based reliability/performability models
- Author: Mei-Chen Hsueh
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - Langley Research Ctr.
- Publish Date: 1987
- Publish Location: Springfield, Va - [Hampton, VA
“Measurement-based reliability/performability models” Subjects and Themes:
- Subjects: ➤ Multiprocessing (Computers) - Error analysis - Software engineering - Mathematical models - Failure analysis - Program verification (Computers) - Markov processes
Edition Identifiers:
- The Open Library ID: OL14980948M - OL18006644M - OL15412044M - OL18080120M
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Measurement-based reliability/performability models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Follow-on low noise fan aerodynamic study
By Nathan J. Heidegger
“Follow-on low noise fan aerodynamic study” Metadata:
- Title: ➤ Follow-on low noise fan aerodynamic study
- Author: Nathan J. Heidegger
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Lewis Research Center
- Publish Date: 1999
- Publish Location: ➤ [Springfield, Va - [Cleveland, Ohio]
“Follow-on low noise fan aerodynamic study” Subjects and Themes:
- Subjects: ➤ Computerized simulation - Wakes - Turbulence models - Rotor blades (Turbomachinery) - Program verification (Computers) - Applications programs (Computers) - Rotor dynamics - Rotor aerodynamic
Edition Identifiers:
- The Open Library ID: OL17592120M - OL18138504M - OL17136956M - OL15559353M
- Online Computer Library Center (OCLC) ID: 43251373
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Follow-on low noise fan aerodynamic study at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Expert system verification and validation study
By Scott W. French
“Expert system verification and validation study” Metadata:
- Title: ➤ Expert system verification and validation study
- Author: Scott W. French
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor - Research Institute for Computing and Information Systems, University of Houston-Clear Lake
- Publish Date: 1991 - 1992
- Publish Location: ➤ Springfield, Va - [Washington, DC - [Springfield, Va.? - [Houston, Tex.?] - [Springfield, Va - [Houston, Tex.]
“Expert system verification and validation study” Subjects and Themes:
- Subjects: ➤ Computer systems performance - Expert systems - Expert systems (Computer science) - Information Systems - Program verification (Computers) - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL15409290M - OL15363487M - OL15377449M
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Expert system verification and validation study at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6The specification-based validation of Reliable Multicast Protocol
By Yunqing Wu
“The specification-based validation of Reliable Multicast Protocol” Metadata:
- Title: ➤ The specification-based validation of Reliable Multicast Protocol
- Author: Yunqing Wu
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - West Virginia University - National Technical Information Service, distributor
- Publish Date: 1995
- Publish Location: ➤ [Springfield, Va - [Morgantown, W. Va.?] - [Washington, D.C.]
“The specification-based validation of Reliable Multicast Protocol” Subjects and Themes:
- Subjects: ➤ Functional design specifications - Protocol (Computers) - Applications programs (Computers) - Software development tools - Communication networks - Program verification (Computers) - Design analysis
Edition Identifiers:
- The Open Library ID: OL15424718M - OL17111634M - OL18087877M
- Online Computer Library Center (OCLC) ID: 35518482
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The specification-based validation of Reliable Multicast Protocol at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Formal methods for verification and validation of partial specifications
By Steve Easterbrook
“Formal methods for verification and validation of partial specifications” Metadata:
- Title: ➤ Formal methods for verification and validation of partial specifications
- Author: Steve Easterbrook
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - West Virginia University - National Aeronautics and Space Administration
- Publish Date: 1997
- Publish Location: ➤ [Washington, DC] - [Springfield, Va - [Fairmont, W. Va.]
“Formal methods for verification and validation of partial specifications” Subjects and Themes:
- Subjects: ➤ Computer programs - Fault detection - Program verification (Computers) - Safety - Software development tools - Specifications
Edition Identifiers:
- The Open Library ID: OL17131299M - OL17838734M - OL17700585M
- Online Computer Library Center (OCLC) ID: 41430784
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal methods for verification and validation of partial specifications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Performance validation of the ANSER control laws for the F-18 HARV
By Michael D. Messina
“Performance validation of the ANSER control laws for the F-18 HARV” Metadata:
- Title: ➤ Performance validation of the ANSER control laws for the F-18 HARV
- Author: Michael D. Messina
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1995
- Publish Location: Hampton, Va - [Springfield, Va
“Performance validation of the ANSER control laws for the F-18 HARV” Subjects and Themes:
- Subjects: ➤ Aircraft control - Control simulation - F-18 aircraft - Flight control - Flight simulation - Lateral control - Program verification (Computers) - Research aircraft - Research vehicles - Strakes
Edition Identifiers:
- The Open Library ID: OL15381434M - OL17793458M
- Online Computer Library Center (OCLC) ID: 34701694
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Performance validation of the ANSER control laws for the F-18 HARV at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9UNIX-based operating systems robustness evaluation
By Yu-Ming Chang
“UNIX-based operating systems robustness evaluation” Metadata:
- Title: ➤ UNIX-based operating systems robustness evaluation
- Author: Yu-Ming Chang
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign - National Technical Information Service, distributor
- Publish Date: 1996
- Publish Location: ➤ [Washington, DC - Springfield, Va - [Urbana, Ill.]
“UNIX-based operating systems robustness evaluation” Subjects and Themes:
- Subjects: ➤ Computer systems performance - Memory (Computers) - Program verification (Computers) - Resources management - Software reliability - Stress analysis - UNIX (Operating system)
Edition Identifiers:
- The Open Library ID: OL15505023M - OL18121489M
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find UNIX-based operating systems robustness evaluation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10UNIX-based operating systems robustness evaluation
By Youming Zhang
“UNIX-based operating systems robustness evaluation” Metadata:
- Title: ➤ UNIX-based operating systems robustness evaluation
- Author: Youming Zhang
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor - Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign
- Publish Date: 1996
- Publish Location: ➤ Springfield, Va - [Urbana, Ill.] - [Washington, DC
“UNIX-based operating systems robustness evaluation” Subjects and Themes:
- Subjects: ➤ Computer systems performance - Memory (Computers) - Program verification (Computers) - Resources management - Software reliability - Stress analysis - UNIX (Operating system)
Edition Identifiers:
- The Open Library ID: OL17126057M - OL17576352M
- Online Computer Library Center (OCLC) ID: 40102006
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find UNIX-based operating systems robustness evaluation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Validation of the NPARC code for nozzle afterbody flows at transonic speeds
By James R. DeBonis
“Validation of the NPARC code for nozzle afterbody flows at transonic speeds” Metadata:
- Title: ➤ Validation of the NPARC code for nozzle afterbody flows at transonic speeds
- Author: James R. DeBonis
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1995
- Publish Location: ➤ [Washington, DC] - [Springfield, Va
“Validation of the NPARC code for nozzle afterbody flows at transonic speeds” Subjects and Themes:
- Subjects: ➤ Computational fluid dynamics - Applications programs (Computers) - Nozzle flow - Afterbodies - Turbulence models - Program verification (Computers) - Transonic speed
Edition Identifiers:
- The Open Library ID: OL17791907M - OL15414431M
- Online Computer Library Center (OCLC) ID: 34041515
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Validation of the NPARC code for nozzle afterbody flows at transonic speeds at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12An approach to verification and validation of a reliable multicasting protocol
By John R. Callahan
“An approach to verification and validation of a reliable multicasting protocol” Metadata:
- Title: ➤ An approach to verification and validation of a reliable multicasting protocol
- Author: John R. Callahan
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - West Virginia University - National Technical Information Service, distributor
- Publish Date: 1995
- Publish Location: ➤ [Springfield, Va - [Washington, D.C.] - [Morgantown, W.Va.?] - [Morgantown, WV]
“An approach to verification and validation of a reliable multicasting protocol” Subjects and Themes:
- Subjects: ➤ Packet switching - Protocol (Computers) - Telecommunication - Computer networks - Program verification (Computers) - Packets (Communication) - Data transmission - Communication networks
Edition Identifiers:
- The Open Library ID: OL15424716M - OL15424698M
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find An approach to verification and validation of a reliable multicasting protocol at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Development of a software safety process and a case study of its use
By John C. Knight
“Development of a software safety process and a case study of its use” Metadata:
- Title: ➤ Development of a software safety process and a case study of its use
- Author: John C. Knight
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - School of Engineering & Applied Science, University of Virginia - National Technical Information Service, distributor
- Publish Date: 1993 - 1996
- Publish Location: ➤ [Washington, DC - Charlottesville, VA - Springfield, Va
“Development of a software safety process and a case study of its use” Subjects and Themes:
- Subjects: ➤ Control systems design - Safety factors - Program verification (Computers) - Human-computer interface - Software protection - Fault trees - Digital techniques - Nuclear reactors
Edition Identifiers:
- The Open Library ID: OL15481446M - OL14703053M
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Development of a software safety process and a case study of its use at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Quantitative measures for software independent verification and validation
By Alice Lee
“Quantitative measures for software independent verification and validation” Metadata:
- Title: ➤ Quantitative measures for software independent verification and validation
- Author: Alice Lee
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Lyndon B. Johnson Space Center
- Publish Date: 1996
- Publish Location: [Springfield, Va - Houston, Tx
“Quantitative measures for software independent verification and validation” Subjects and Themes:
- Subjects: ➤ Program verification (Computers) - Software engineering - Airborne/spaceborne computers - Reliability analysis - Applications programs (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15504481M - OL17838914M
- Online Computer Library Center (OCLC) ID: 40386898
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Quantitative measures for software independent verification and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Experience report
By Edward A. Addy
“Experience report” Metadata:
- Title: Experience report
- Author: Edward A. Addy
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1996
- Publish Location: ➤ [Washington, DC - Springfield, Va
“Experience report” Subjects and Themes:
- Subjects: ➤ Computer program integrity - Computer programming - Software engineering - Software development tools - Program verification (Computers) - Design analysis
Edition Identifiers:
- The Open Library ID: OL17593589M - OL15508103M
- Online Computer Library Center (OCLC) ID: 40969009
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Experience report at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16The applicability of proposed object-oriented metrics to developer feedback in time to impact development
By Ralph D. Neal
“The applicability of proposed object-oriented metrics to developer feedback in time to impact development” Metadata:
- Title: ➤ The applicability of proposed object-oriented metrics to developer feedback in time to impact development
- Author: Ralph D. Neal
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1996
- Publish Location: ➤ [Washington, DC - Springfield, Va
“The applicability of proposed object-oriented metrics to developer feedback in time to impact development” Subjects and Themes:
- Subjects: ➤ Computer programs - Object-oriented programming - Program verification (Computers) - Software development tools - Software engineering
Edition Identifiers:
- The Open Library ID: OL17593586M - OL15508106M
- Online Computer Library Center (OCLC) ID: 40968997
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The applicability of proposed object-oriented metrics to developer feedback in time to impact development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17The validation by measurement theory of proposed object-oriented software metrics
By Ralph D. Neal
“The validation by measurement theory of proposed object-oriented software metrics” Metadata:
- Title: ➤ The validation by measurement theory of proposed object-oriented software metrics
- Author: Ralph D. Neal
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - West Virginia University - National Technical Information Service, distributor
- Publish Date: 1994 - 1996
- Publish Location: ➤ [Springfield, Va - [Morgantown, W. Va.?] - [Washington, D.C - [Washington, D.C.] - Springfield, Va
“The validation by measurement theory of proposed object-oriented software metrics” Subjects and Themes:
- Subjects: ➤ Object-oriented programming - Software engineering - Measure and integration - Metrology - Technology assessment - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15424720M - OL15508144M
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The validation by measurement theory of proposed object-oriented software metrics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits
By David M. Russinoff
“Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits” Metadata:
- Title: ➤ Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits
- Author: David M. Russinoff
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
- Publish Date: 1995
- Publish Location: [Springfield, Va - Hampton, Va
“Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits” Subjects and Themes:
- Subjects: Hardware description languages - VHSIC (Circuits) - Mathematical models - Program verification (Computers) - Protocol (Computers)
Edition Identifiers:
- The Open Library ID: OL15411239M - OL17788793M
- Online Computer Library Center (OCLC) ID: 32874928
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19An introduction to requirements capture using PVS
By Ricky W. Butler
“An introduction to requirements capture using PVS” Metadata:
- Title: ➤ An introduction to requirements capture using PVS
- Author: Ricky W. Butler
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
- Publish Date: 1996
- Publish Location: Hampton, Va - [Springfield, Va
“An introduction to requirements capture using PVS” Subjects and Themes:
- Subjects: ➤ Specifications - Software development tools - Program verification (Computers) - Software reliability - Computer programming - User requirements - Computer programs - Equations of state
Edition Identifiers:
- The Open Library ID: OL17834486M - OL15498102M
- Online Computer Library Center (OCLC) ID: 39675735
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find An introduction to requirements capture using PVS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Formal design and verification of a reliable computing platform for real-time control
By Ricky W. Butler
“Formal design and verification of a reliable computing platform for real-time control” Metadata:
- Title: ➤ Formal design and verification of a reliable computing platform for real-time control
- Author: Ricky W. Butler
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
- Publish Date: 1992 - 1994
- Publish Location: Hampton, Va - [Springfield, Va
“Formal design and verification of a reliable computing platform for real-time control” Subjects and Themes:
- Subjects: ➤ Architecture (Computers) - Computer software - Digital Computers - Digital electronics - Digital systems - Electromagnetic interference - Fault tolerance - Flight control - Numerical control - Program verification (Computers) - Real time operation - Verification
Edition Identifiers:
- The Open Library ID: OL15404040M - OL15361915M
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal design and verification of a reliable computing platform for real-time control at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Enhancing aeropropulsion research with high-speed interactive computing
By John R. Szuch
“Enhancing aeropropulsion research with high-speed interactive computing” Metadata:
- Title: ➤ Enhancing aeropropulsion research with high-speed interactive computing
- Author: John R. Szuch
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Lewis Research Center - National Technical Information Service, distributor
- Publish Date: 1991
- Publish Location: ➤ Springfield, Va - [Cleveland, Ohio
“Enhancing aeropropulsion research with high-speed interactive computing” Subjects and Themes:
- Subjects: ➤ Air breathing engines - Computational fluid dynamics - Computer systems performance - Computer systems programs - Computerized simulation - Parallel processing (Computers) - Program verification (Computers)
Edition Identifiers:
- The Open Library ID: OL16123899M
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Enhancing aeropropulsion research with high-speed interactive computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Assessing the impact of modeling limits on intelligent systems
By William B. Rouse
“Assessing the impact of modeling limits on intelligent systems” Metadata:
- Title: ➤ Assessing the impact of modeling limits on intelligent systems
- Author: William B. Rouse
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Scientific and Technical Information Division - National Technical Information Service, distributor]
- Publish Date: 1990
- Publish Location: ➤ [Washington, DC] - [Springfield, Va
“Assessing the impact of modeling limits on intelligent systems” Subjects and Themes:
- Subjects: ➤ Knowledge bases (Artificial intelligence) - Human-computer interface - Expert systems - Pilot performance - Program verification (Computers)
Edition Identifiers:
- The Open Library ID: OL15405331M
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Assessing the impact of modeling limits on intelligent systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23The global coronal structure investigation
NASA grant NAG5-5075 : annual report for the period 1 April 1997 through 31 March 1998
By L. Golub
“The global coronal structure investigation” Metadata:
- Title: ➤ The global coronal structure investigation
- Author: L. Golub
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - Smithsonian Institution, Astrophysical Observatory - National Aeronautics and Space Administration
- Publish Date: 1998
- Publish Location: ➤ Springfield, Va - [Washington, DC - Cambridge, Mass
“The global coronal structure investigation” Subjects and Themes:
- Subjects: ➤ Hardware - Viability - Evaluation - Coronas - Program verification (Computers) - Design analysis
Edition Identifiers:
- The Open Library ID: OL15547945M
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The global coronal structure investigation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24NASA software engineering benchmarking study
By Heather L. Rarick
“NASA software engineering benchmarking study” Metadata:
- Title: ➤ NASA software engineering benchmarking study
- Author: Heather L. Rarick
- Language: English
- Number of Pages: Median: 128
- Publisher: ➤ National Aeronautics and Space Administration
- Publish Date: 2013
- Publish Location: Washington, DC
“NASA software engineering benchmarking study” Subjects and Themes:
- Subjects: ➤ Program verification (computers) - Software engineering - Computer programming - Standards - Systems management - Computer systems programs - Aerospace industry - Software reliability
Edition Identifiers:
- The Open Library ID: OL54280117M
- Online Computer Library Center (OCLC) ID: 852123543
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find NASA software engineering benchmarking study at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations
By Nicholas Georgiadis
“Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations” Metadata:
- Title: ➤ Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations
- Author: Nicholas Georgiadis
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1995
- Publish Location: ➤ [Washington, DC] - [Springfield, Va
“Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations” Subjects and Themes:
- Subjects: ➤ Boundary layers - Computational grids - Mixing layers (Fluids) - Computer programs - Program verification (Computers) - Oblique shock waves - Shear layers - Grid generation (Mathematics) - Boundary conditions - K-epsilon turbulence model - Resolution
Edition Identifiers:
- The Open Library ID: OL15414418M
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Software design improvements
By Vincent R. Lalli
“Software design improvements” Metadata:
- Title: Software design improvements
- Author: Vincent R. Lalli
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1997
- Publish Location: ➤ [Washington, D.C - Springfield, Va
“Software design improvements” Subjects and Themes:
- Subjects: ➤ Computer program integrity - Quality control - Software engineering - Computer programs - Software development tools - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15500599M
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Software design improvements at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Verification and validation of a reliable multicast protocol
By John R. Callahan
“Verification and validation of a reliable multicast protocol” Metadata:
- Title: ➤ Verification and validation of a reliable multicast protocol
- Author: John R. Callahan
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - West Virginia University - National Technical Information Service, distributor
- Publish Date: 1995
- Publish Location: ➤ [Springfield, Va - [Washington, D.C.] - [Morgantown, WV]
“Verification and validation of a reliable multicast protocol” Subjects and Themes:
- Subjects: ➤ Systems analysis - Computer networks - Protocol (Computers) - Packet switching - Program verification (Computers) - Communication networks
Edition Identifiers:
- The Open Library ID: OL15424713M
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification and validation of a reliable multicast protocol at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28A practical approach to implementing real-time semantics
By Gerald Lüttgen
“A practical approach to implementing real-time semantics” Metadata:
- Title: ➤ A practical approach to implementing real-time semantics
- Author: Gerald Lüttgen
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
- Publish Date: 1999
- Publish Location: [Springfield, Va - Hampton, Va
“A practical approach to implementing real-time semantics” Subjects and Themes:
- Subjects: ➤ Algebra - Protocol (Computers) - Program verification (Computers) - Real time operation
Edition Identifiers:
- The Open Library ID: OL17133856M
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A practical approach to implementing real-time semantics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Software reliability studies
By Mary Ann Hoppa
“Software reliability studies” Metadata:
- Title: Software reliability studies
- Author: Mary Ann Hoppa
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - Dept. of Computer Science, College of Sciences, Old Dominion University
- Publish Date: 1994
- Publish Location: Norfolk, Va - [Springfield, Va
“Software reliability studies” Subjects and Themes:
- Subjects: ➤ Reliability analysis - Performance prediction - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15408357M
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Software reliability studies at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center
By Joseph W. Panek
“Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center” Metadata:
- Title: ➤ Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center
- Author: Joseph W. Panek
- Language: English
- Publisher: ➤ Available from NASA Center for Aerospace Information - National Aeronautics and Space Administration, Glenn Research Center
- Publish Date: 2001
- Publish Location: ➤ [Cleveland, Ohio] - Hanover, MD
“Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center” Subjects and Themes:
- Subjects: ➤ Automatic control - Computer programs - Pressure measurement - Integrity - Scanners - Program verification (Computers)
Edition Identifiers:
- The Open Library ID: OL16046826M
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Proceedings of the Nineteenth Annual Software Engineering Workshop
By Software Engineering Workshop (19th 1994 Greenbelt, Md.)
“Proceedings of the Nineteenth Annual Software Engineering Workshop” Metadata:
- Title: ➤ Proceedings of the Nineteenth Annual Software Engineering Workshop
- Author: ➤ Software Engineering Workshop (19th 1994 Greenbelt, Md.)
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Goddard Space Flight Center
- Publish Date: 1994
- Publish Location: ➤ Greenbelt, Md - [Springfield, Va
“Proceedings of the Nineteenth Annual Software Engineering Workshop” Subjects and Themes:
- Subjects: ➤ Conferences - Program verification (Computers) - Software engineering - Software reliability
Edition Identifiers:
- The Open Library ID: OL18081847M
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proceedings of the Nineteenth Annual Software Engineering Workshop at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32The formal semantics of PVS
By Sam Owre
“The formal semantics of PVS” Metadata:
- Title: The formal semantics of PVS
- Author: Sam Owre
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
- Publish Date: 1999
- Publish Location: Hampton, Va - [Springfield, Va
“The formal semantics of PVS” Subjects and Themes:
- Subjects: Specifications - Programming languages - Semantics - Program verification (Computers) - Prototypes
Edition Identifiers:
- The Open Library ID: OL15550691M
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The formal semantics of PVS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Software safety progress in NASA
By Charles F. Radley
“Software safety progress in NASA” Metadata:
- Title: ➤ Software safety progress in NASA
- Author: Charles F. Radley
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1995
- Publish Location: ➤ [Springfield, Va - [Washington, D.C.]
“Software safety progress in NASA” Subjects and Themes:
- Subjects: ➤ Safety - Reliability engineering - Software engineering - Reliability analysis - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15419929M
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Software safety progress in NASA at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters
By Wei-Shen Hsia
“Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters” Metadata:
- Title: ➤ Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters
- Author: Wei-Shen Hsia
- Language: English
- Publisher: ➤ For sale by the National Technical Information Service - Dept. of Mathematics, University of Alabama - National Aeronautics and Space Administration, Marshall Space Flight Center
- Publish Date: 1989
- Publish Location: ➤ Springfield, Va - Tuscaloosa, Ala - [Huntsville, Ala
“Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters” Subjects and Themes:
- Subjects: Mathematical models - Maximum entropy method - Control systems design - Program verification (Computers) - Computer programs
Edition Identifiers:
- The Open Library ID: OL16126844M
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Flight guidance system validation using SPIN
By Dimitri Naydich
“Flight guidance system validation using SPIN” Metadata:
- Title: ➤ Flight guidance system validation using SPIN
- Author: Dimitri Naydich
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1998
- Publish Location: Hampton, Va - Springfield, Va
“Flight guidance system validation using SPIN” Subjects and Themes:
- Subjects: ➤ Control systems design - Avionics - Program verification (Computers) - Computer programs
Edition Identifiers:
- The Open Library ID: OL15545019M
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Flight guidance system validation using SPIN at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36A verification procedure for MSC/NASTRAN finite element models
By Alan E. Stockwell
“A verification procedure for MSC/NASTRAN finite element models” Metadata:
- Title: ➤ A verification procedure for MSC/NASTRAN finite element models
- Author: Alan E. Stockwell
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1995
- Publish Location: Hampton, Va - [Springfield, VA
“A verification procedure for MSC/NASTRAN finite element models” Subjects and Themes:
- Subjects: ➤ Aircraft structures - Finite element method - Mathematical models - Aircraft models - Program verification (Computers) - Design analysis
Edition Identifiers:
- The Open Library ID: OL15413626M
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A verification procedure for MSC/NASTRAN finite element models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Summary of EASM turbulence models in CFL3D with validation test cases
By C. L. Rumsey
“Summary of EASM turbulence models in CFL3D with validation test cases” Metadata:
- Title: ➤ Summary of EASM turbulence models in CFL3D with validation test cases
- Author: C. L. Rumsey
- Language: English
- Publisher: ➤ Available from NASA Center for AeroSpace Information (CASI) - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 2003
- Publish Location: Hampton, Va - Hanover MD
“Summary of EASM turbulence models in CFL3D with validation test cases” Subjects and Themes:
- Subjects: ➤ Coding - Computational fluid dynamics - K-epsilon turbulence model - K-omega turbulence model - Program verification (Computers) - Separated flow - Turbulent flow
Edition Identifiers:
- The Open Library ID: OL16111169M
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Summary of EASM turbulence models in CFL3D with validation test cases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Turbulence modeling
By Jorge E. Bardina
“Turbulence modeling” Metadata:
- Title: Turbulence modeling
- Author: Jorge E. Bardina
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Ames Research Center
- Publish Date: 1995
- Publish Location: ➤ [Springfield, Va - Moffett Field, Calif
“Turbulence modeling” Subjects and Themes:
- Subjects: ➤ Computerized simulation - Hypersonic flow - Turbulence models - Program verification (Computers) - Navier-Stokes equation - Separated flow - Hypersonic speed - Computer aided design - Computer programs - Compressibility - Transition flow - Hypersonic shock
Edition Identifiers:
- The Open Library ID: OL15413741M
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Turbulence modeling at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Formal methods of V&V of partial specifications
By S. M. Easterbrook
“Formal methods of V&V of partial specifications” Metadata:
- Title: ➤ Formal methods of V&V of partial specifications
- Author: S. M. Easterbrook
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1997
- Publish Location: ➤ [Springfield, Va - [Washington, DC]
“Formal methods of V&V of partial specifications” Subjects and Themes:
- Subjects: ➤ Proving - Program verification (Computers) - Computer programs
Edition Identifiers:
- The Open Library ID: OL15508110M
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal methods of V&V of partial specifications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40A survey of program slicing for software engineering
By Jon Beck
“A survey of program slicing for software engineering” Metadata:
- Title: ➤ A survey of program slicing for software engineering
- Author: Jon Beck
- Language: English
- Publisher: ➤ Research Institute for Computing and Information Systems, University of Houston--Clear Lake - National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1993
- Publish Location: ➤ [Clear Lake City, Tex.] - [Springfield, Va - [Washington, D.C
“A survey of program slicing for software engineering” Subjects and Themes:
- Subjects: ➤ Reverse engineering - File maintenance (Computers) - Terminology - Software engineering - Computer programming - Software tools - Program verification (Computers)
Edition Identifiers:
- The Open Library ID: OL15410206M
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A survey of program slicing for software engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41A practical approach to implementing real-time semantics
By Gerald Lüttgen
“A practical approach to implementing real-time semantics” Metadata:
- Title: ➤ A practical approach to implementing real-time semantics
- Author: Gerald Lüttgen
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1999
- Publish Location: Hampton, Va - [Springfield, Va
“A practical approach to implementing real-time semantics” Subjects and Themes:
- Subjects: ➤ Algebra - Protocol (Computers) - Program verification (Computers) - Real time operation
Edition Identifiers:
- The Open Library ID: OL15547893M
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A practical approach to implementing real-time semantics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
By Jing Pan
“Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit” Metadata:
- Title: ➤ Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
- Author: Jing Pan
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1991
- Publish Location: Hampton, Va
“Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit” Subjects and Themes:
- Subjects: Floating point arithmetic - Arithmetic and logic units - Central processing units - Program verification (Computers)
Edition Identifiers:
- The Open Library ID: OL16135336M
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43RIACS workshop on the verification and validation of autonomous and adaptive systems
By Charles Pecheur
“RIACS workshop on the verification and validation of autonomous and adaptive systems” Metadata:
- Title: ➤ RIACS workshop on the verification and validation of autonomous and adaptive systems
- Author: Charles Pecheur
- Language: English
- Publisher: ➤ Available from NASA Center for AeroSpace Information - National Aeronautics and Space Administration, Ames Research Center
- Publish Date: 2001
- Publish Location: ➤ Moffett Field, Calif - Hanover, MD
“RIACS workshop on the verification and validation of autonomous and adaptive systems” Subjects and Themes:
- Subjects: ➤ Autonomy - Adaptive control - Program verification (Computers) - Computer programs
Edition Identifiers:
- The Open Library ID: OL16035767M
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find RIACS workshop on the verification and validation of autonomous and adaptive systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Formal methods and their role in digital systems validation for airborne systems
By John Rushby
“Formal methods and their role in digital systems validation for airborne systems” Metadata:
- Title: ➤ Formal methods and their role in digital systems validation for airborne systems
- Author: John Rushby
- Language: English
- Publisher: ➤ Available from the National Technical Information Service - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1995
- Publish Location: Hampton, Va - [Springfield, VA
“Formal methods and their role in digital systems validation for airborne systems” Subjects and Themes:
- Subjects: ➤ Mathematical logic - Software engineering - Reliability analysis - Digital systems - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL16125709M
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal methods and their role in digital systems validation for airborne systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45A process improvement model for software verification and validation
By John Callahan
“A process improvement model for software verification and validation” Metadata:
- Title: ➤ A process improvement model for software verification and validation
- Author: John Callahan
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - West Virginia University - National Aeronautics and Space Administration
- Publish Date: 1994
- Publish Location: ➤ [Springfield, Va - [Morgantown, West Va.] - [Washington, DC]
“A process improvement model for software verification and validation” Subjects and Themes:
- Subjects: ➤ Computer programming - Models - Optimization - Problem solving - Program verification (Computers) - Software engineering
Edition Identifiers:
- The Open Library ID: OL15413762M
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A process improvement model for software verification and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Software project management and measurement on the World-Wide-Web (WWW)
By John Callahan
“Software project management and measurement on the World-Wide-Web (WWW)” Metadata:
- Title: ➤ Software project management and measurement on the World-Wide-Web (WWW)
- Author: John Callahan
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration
- Publish Date: 1996
- Publish Location: ➤ [Washington, DC - Springfield, Va
“Software project management and measurement on the World-Wide-Web (WWW)” Subjects and Themes:
- Subjects: ➤ Computer programs - Program verification (Computers) - Project management - Software development tools - Software engineering - World Wide Web
Edition Identifiers:
- The Open Library ID: OL18122199M
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Software project management and measurement on the World-Wide-Web (WWW) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.