Computer software -- Verification
Resource Information
The concept Computer software -- Verification represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Computer software -- Verification
Resource Information
The concept Computer software -- Verification represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Computer software -- Verification
66 Items that share the Concept Computer software -- Verification
Context
Context of Computer software -- VerificationSubject of
No resources found
No enriched resources found
- A framework for the development and assurance of high integrity software
- A research review of quality assessment for software
- Analysis of large system black box verification test data
- Assurances for self-adaptive systems : principles, models, and techniques
- Automatic verification of sequential infinite-state processes
- Concurrency verification : introduction to compositional and noncompositional methods
- Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday
- Enterprise OSGi in action
- Estimating residual fault hitting rates by recapture sampling : final report for the period ending December 31, 1988
- Evolutionary computing driven search based software testing and correction
- Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken
- Explore it! : reduce risk and increase confidence with exploratory testing
- Explore it! : reduce risk and increase confidence with exploratory testing
- Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
- Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
- Formal design and verification of a reliable computing platform for real-time control : phase 1 results
- Formal design and verification of a reliable computing platform for real-time control : phase 2 results
- Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Gradle : Ein kompakter Einstieg in modernes Build-Management
- Gradle beyond the basics
- Gradle in action
- Independent verification and validation for space shuttle flight software
- Introducing Gradle
- Metamodeling-driven IP reuse for SoC integration and microprocessor design
- Methods and procedures for the verification and validation of artificial neural networks
- Modelling and Analysis of Security Protocols
- Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
- Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
- Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
- Principles of model checking
- Principles of the Spin model checker
- Reference information for the software verification and validation process
- Rigorous software development : an introduction to program verification
- Software engineering : analysis and verification
- Software engineering reviews and audits
- Software reliability : a preliminary handbook
- Software reviews and audits handbook
- Software testing foundations : a study guide for the certified tester exam
- Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant
- Software validation, verification, testing, and documentation
- Software verification and analysis : an integrated, hands-on approach
- Software verification and analysis : an integrated, hands-on approach
- Software verification and validation : an engineering and scientific approach
- Space shuttle, NASA should implement independent oversight of software development : report to the chairman, Committee on Science, Space, and Technology, House of Representatives
- Specification and verification of multi-agent systems
- Specification by example : how successful teams deliver the right software
- Survey and assessment of conventional software verification and validation methods
- Systems and software verification : model-checking techniques and tools
- TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten
- Temporal verification of reactive systems : safety
- Test pattern generation using Boolean proof engines
- The modelling and analysis of security protocols : the CSP approach
- Time for verification : essays in memory of Amir Pnueli
- Time for verification : essays in memory of Amir Pnueli
- Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday
- Verification and validation guidelines for high integrity systems
- Verification and validation in systems engineering : assessing UML/SysML design models
- Verification and validation of real-time software
- Verification and validation of rule-based expert systems
- Verification and validation of the SAPHIRE version 4.0 PRA software package
- Verification of object-oriented software : the KeY approach
- Verification of sequential and concurrent programs
- Verification of sequential and concurrent programs
- Verification of sequential and concurrent programs
- Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/5fTwBxLPwaI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/5fTwBxLPwaI/">Computer software -- Verification</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Computer software -- Verification
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/5fTwBxLPwaI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/5fTwBxLPwaI/">Computer software -- Verification</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
