Cargando…

Software verification and validation for practitioners and managers

Detalles Bibliográficos
Autor principal:	Rakitin, Steven R.
Formato:	Libro
Lenguaje:	English
Publicado:	Boston : Artech House, c2001.
Edición:	2ed
Materias:	Software > Verificación Software > Validación

Ejemplares similares

Software verification and validation : an engineering and scientific approach /
por: Fisher, Marcus S.
Publicado: (2007)

Verification, validation and testing in software engineering /
Publicado: (2007)

STAMPS: development and verification of swallowing kinematic analysis software
por: Lee, Woo Hyung, et al.
Publicado: (2017)

Software engineering reviews and audits /
por: Summers, Boyd L.
Publicado: (2011)

Valection: design optimization for validation and verification studies
por: Cooper, Christopher I, et al.
Publicado: (2018)

Advances in software maintenance management : technologies and solutions
por: Polo, Macario, 1971-
Publicado: (2003)

kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models
por: Carretero Chavez, Willow, et al.
Publicado: (2023)

Omics Metadata Management Software (OMMS)
por: Perez-Arriaga, Martha O, et al.
Publicado: (2015)

Model verification tools: a computational framework for verification assessment of mechanistic agent-based models
por: Russo, Giulia, et al.
Publicado: (2022)

Design and validation of Segment - freely available software for cardiovascular image analysis
por: Heiberg, Einar, et al.
Publicado: (2010)

NEEMP: software for validation, accurate calculation and fast parameterization of EEM charges
por: Raček, Tomáš, et al.
Publicado: (2016)

Software engineering : design, reliability, and management /
por: Shooman, Martin L.
Publicado: (1983)

CHANCE: comprehensive software for quality control and validation of ChIP-seq data
por: Diaz, Aaron, et al.
Publicado: (2012)

Verificationism : its history and prospects
por: Misak, Cheryl J.
Publicado: (1995)

BioMoby extensions to the Taverna workflow management and enactment software
por: Kawas, Edward, et al.
Publicado: (2006)

GeneNotes – A novel information management software for biologists
por: Hong, Pengyu, et al.
Publicado: (2005)

Development and validation of MIX: comprehensive free software for meta-analysis of causal research data
por: Bax, Leon, et al.
Publicado: (2006)

PI: An open-source software package for validation of the SEQUEST result and visualization of mass spectrum
por: Qiao, Yantao, et al.
Publicado: (2011)

Validation of T1 and T2 algorithms for quantitative MRI: performance by a vendor-independent software
por: Bidhult, Sebastian, et al.
Publicado: (2016)

PASSIM – an open source software system for managing information in biomedical studies
por: Viksna, Juris, et al.
Publicado: (2007)

BASE - 2nd generation software for microarray data management and analysis
por: Vallon-Christersson, Johan, et al.
Publicado: (2009)

Laboratory information management software for engineered mini-protein therapeutic workflow
por: Brusniak, Mi-Youn, et al.
Publicado: (2019)

Aquarium: open-source laboratory software for design, execution and data management
por: Vrana, Justin, et al.
Publicado: (2021)

The Clinical Utilisation of Respiratory Elastance Software (CURE Soft): a bedside software for real-time respiratory mechanics monitoring and mechanical ventilation management
por: Szlavecz, Akos, et al.
Publicado: (2014)

T-REX: software for the processing and analysis of T-RFLP data
por: Culman, Steven W, et al.
Publicado: (2009)

Laboratory Information Management Software for genotyping workflows: applications in high throughput crop genotyping
por: Jayashree, B, et al.
Publicado: (2006)

Versatile and open software for comparing large genomes
por: Kurtz, Stefan, et al.
Publicado: (2004)

Managing your software project : a student's guide /
por: Ricketts, Ian, 1951-
Publicado: (1998)

Software reuse : architecture process and organization for business success /
por: Jacobson, Ivar
Publicado: (1997)

Software process improvement with CMM
por: Raynus, Joseph
Publicado: (1999)

The Gaggle: An open-source software system for integrating bioinformatics software and data sources
por: Shannon, Paul T, et al.
Publicado: (2006)

ATAQS: A computational software tool for high throughput transition optimization and validation for selected reaction monitoring mass spectrometry
por: Brusniak, Mi-Youn K, et al.
Publicado: (2011)

XplorSeq: A software environment for integrated management and phylogenetic analysis of metagenomic sequence data
por: Frank, Daniel N
Publicado: (2008)

DraGnET: Software for storing, managing and analyzing annotated draft genome sequence data
por: Duncan, Stacy, et al.
Publicado: (2010)

ICoVeR – an interactive visualization tool for verification and refinement of metagenomic bins
por: Broeksema, Bertjan, et al.
Publicado: (2017)

Advances in the REDCAT software package
por: Schmidt, Chris, et al.
Publicado: (2013)

Development of an open-source software for isomer enumeration
por: Rieder, Salomé R., et al.
Publicado: (2023)

The Computer-based Health Evaluation Software (CHES): a software for electronic patient-reported outcome monitoring
por: Holzner, Bernhard, et al.
Publicado: (2012)

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
por: Monteiro, Pedro T, et al.
Publicado: (2009)

An open source software for analysis of dynamic contrast enhanced magnetic resonance images: UMMPerfusion revisited
por: Zöllner, Frank G., et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_5rjhm9bkrah1q6q5vctmq4l0kp