Bibliografía recomendada para VERIFICACIÓN Y VALIDACIÓN DEL SOFTWARE

Duración: Asignatura actualizada 2023-2024
Ubicación: 03. BIBLIOTECA INGENIERÍA PUERTO REAL
Cod. asignatura: 21714042
Titulación: GRADO EN INGENIERÍA INFORMÁTICA
Profesorado:
- Maria del Carmen CASTRO CABRERA
- Juan Jose DOMINGUEZ JIMENEZ
- María Inmaculada MEDINA BULO
- Francisco PALOMO LOZANO
Notas: Ver Ficha Asignatura

Ver Libros electrónicos recomendados

Cursos
Título	Autor	Tipo de ítem	Ubicación	Signatura	Estado	Fecha de vencimiento	Enlazar
Software engineering : a practitioner's approach / Roger S. Pressman	Pressman, Roger S.	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/PRE/sof	Disponible Ubicación en estantería \| Bibliomaps^®		Ítem URI
Testing computer software / Cem Kaner, Jack Falk, Hung Quoc Nguyen	Kaner, Cem	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/KAN/tes	Disponible Ubicación en estantería \| Bibliomaps^®		Ítem URI
Effective methods for software testing : includes complete guidelines and checklists / William E. Perry	Perry, William E..	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/PER/eff	Disponible Ubicación en estantería \| Bibliomaps^®		Ítem URI
Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore	Kaufmann, Matt	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/KAU/com	Disponible Ubicación en estantería \| Bibliomaps^®		Ítem URI
Ingeniería de software / Ian Sommerville ; traducción, Víctor Campos Olguín ; revisión técnica, Sergio Fuenlabrada Velázquez... [et al.]	Sommerville, Ian.	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/SOM/ing	Disponible Ubicación en estantería \| Bibliomaps^®
Software engineering / Ian Sommerville	Sommerville, Ian	Monografías	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/SOM/sof	Prestado	25/04/2024
Introduction to software testing / Paul Ammann, Jeff Offutt	Ammann, Paul	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/AMM/int	Disponible Ubicación en estantería \| Bibliomaps^®
Software engineering / Roger S. Pressman, Bruce R. Maxim	Pressman, Roger S.	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/PRE/sof	Disponible Ubicación en estantería \| Bibliomaps^®
The art of software testing / Glenford J Myers ... [et al.] ; revised and updated by Tom Badgett and Tood M. Thomas with corey Sandler		Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/ART	Disponible Ubicación en estantería \| Bibliomaps^®		Ítem URI
Ingeniería del software : teoría y práctica.	Pfleeger, Shari Lawrence.	Monografías	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/PFE/ing	Prestado	31/01/2025	Ítem URI
Software testing : a craftsman's approach / Paul C. Jorgensen	Jorgensen, Paul C.	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/JOR/sof	Disponible Ubicación en estantería \| Bibliomaps^®		Ítem URI
Essential logic for computer science / Rex Page and Ruben Gamboa	Page, Rex	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3:510.6/PAG/ess	Disponible Ubicación en estantería \| Bibliomaps^®
Engineering software products : an introduction to modern software engineering / Ian Sommerville	Sommerville, Ian	Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/SOM/eng	Disponible Ubicación en estantería \| Bibliomaps^®
Essentials of software testing / Ralf Bierig,, Stephen Brown, Edgar Galván, Joe Timoney		Monografías	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/ESS	Prestado	31/01/2025
Computer-Aided Reasoning : ACL2 Case Studies / edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore.		Manuales	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06ACL/KAU/com	Disponible Ubicación en estantería \| Bibliomaps^®