-
1Book
Authors: Palumbo, Daniel L., author
Subject Terms: Proving., Computer systems programs., Data processing., Synchronization., Electronic data processing -- Distributed processing., Computer programs -- Validation., Computer programs -- Verification., Electronic data processing -- Distributed processing., Real-time data processing., Synchronization.
-
2eBook
Authors: Markus Schubnell
Resource Type: eBook.
Categories: TECHNOLOGY & ENGINEERING / Materials Science / General, COMPUTERS / Reference, TECHNOLOGY & ENGINEERING / Chemical & Biochemical
-
3Dissertation/Thesis
Authors: Kanzer, David A.
Contributors: Turner, A. Keith, 1941-
Subject Terms: Groundwater flow -- Computer programs, Computer programs -- Testing, Computer programs -- Validation
File Description: masters theses; application/pdf
Relation: 1990-1999 - Mines Theses & Dissertations; T 4570; https://hdl.handle.net/11124/175487
Availability: https://hdl.handle.net/11124/175487
-
4eBook
Authors: Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Resource Type: eBook.
Subjects: Computer programs--Validation, Computer programs--Verification, Electronics, Computer software--Verification, Object-oriented methods (Computer science), UML (Computer science), Computer software--Validation, Systems engineering
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, TECHNOLOGY & ENGINEERING / Electronics / General
-
5eBook
Resource Type: eBook.
-
6eBook
Authors: Boyd L. Summers
Resource Type: eBook.
Subjects: Computer software--Quality control, Computer software--Verification, Computer software--Validation, Computer programs--Verification, Computer programs--Validation
Categories: COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Systems Analysis & Design
-
7Dissertation/ Thesis
Authors: Rangwala, Mohammed M.
Contributors: Zou, Xukai, 1963-, Li, Feng, Raje, Rajeev, Fang, Shiaofen
Subject Terms: availability, confidentiality, cryptography, integrity, provenance, signatures, Computer security -- Management -- Research -- Methodology, Public key infrastructure (Computer security), Data encryption (Computer science) -- Evaluation, Cryptography -- Research, Data protection -- Research, Digital signatures, Cultural property -- Protection, Confidential communications -- Access control, Computer networks -- Design and construction, Computer networks -- Security measures, Database management, Databases -- Quality control, Information services -- Security measures, Computer networks -- Monitoring, Information services -- Quality control, Application software -- Development, Computational intelligence -- Reliability, Computer programs -- Validation
File Description: application/pdf
-
8Dissertation/ Thesis
Authors: Ramírez Leal, Jenny Carolina
Contributors: Giraldo Osorio, William Joseph, Anaya de Páez, Raquel
Subject Terms: Tesis. Maestría en Ingeniería, DESARROLLO DE PROGRAMAS PARA COMPUTADOR, PROGRAMAS PARA COMPUTADOR BASADOS EN COMPONENTES, INGENIERÍA DE SOFTWARE, COMUNICACIÓN DE LA INFORMACIÓN TÉCNICA, ARQUITECTURA DE COMPUTADORES, VALIDACIÓN DE PROGRAMAS PARA COMPUTADOR, LENGUAJES DE PROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS) - SEMÁNTICA, Computer software - Development, Component software, Software engineering, Communication of technical information, Computer architecture, Computer programs - Validation, Programming languages (electronic computers) - semantics
Subject Geographic: Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
File Description: application/pdf
Relation: 005.12CD R173A; https://hdl.handle.net/10784/1471; reponame:Repositorio Institucional Universidad EAFIT; instname:Universidad EAFIT; repourl:https://repository.eafit.edu.co
Availability: https://hdl.handle.net/10784/1471
-
9eBook
Authors: Paco Hope, Ben Walther
Resource Type: eBook.
Subjects: Computer software--Validation, Web sites--Security measures, Computer programs--Validation
Categories: COMPUTERS / Internet / Online Safety & Privacy
-
10Dissertation/ Thesis
Subject Terms: Ingeniería de Requisitos, Proyecto de Grado. Ingeniería de Sistemas, Requisitos funcionales, Requisitos no funcionales, Requisitos de información, DESARROLLO DE PROGRAMAS PARA COMPUTADOR, PROGRAMAS PARA COMPUTADOR, VALIDACIÓN DE PROGRAMAS PARA COMPUTADOR, INGENIERÍA DE SOFTWARE, DISEÑO DE PROGRAMAS PARA COMPUTADORES, Computer software - Development, Computer programs, Computer programs - Validation, Software engineering, design
Subject Geographic: Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
File Description: application/pdf
Relation: 005.12CD H557D; https://hdl.handle.net/10784/2465
Availability: https://hdl.handle.net/10784/2465
-
11Dissertation/ Thesis
Contributors: Montoya, Carlos Hernando
Subject Terms: Proyecto de Grado. Ingeniería de Sistemas, Universidad EAFIT. Centro de Informática, Calidad del Software, Pruebas de Software, Pruebas de rendimiento del software, INGENIERÍA DE SOFTWARE, MEDICIÓN DE SOFTWARE, PROGRAMAS PARA COMPUTADOR, VALIDACIÓN DE PROGRAMAS PARA COMPUTADOR, DESARROLLO DE PROGRAMAS PARA COMPUTADOR, Software engineering, Software measurement, Computer programs, Computer programs - Validation
Subject Geographic: Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
File Description: application/pdf
Relation: 005.14CD C141; https://hdl.handle.net/10784/2744
Availability: https://hdl.handle.net/10784/2744
-
12eBook
Authors: Paco Hope, Ben Walther
Resource Type: eBook.
Subjects: Computer software--Validation, Web sites--Security measures, Computer programs--Validation
Categories: COMPUTERS / Internet / Online Safety & Privacy, COMPUTERS / Security / General, COMPUTERS / Internet / General, COMPUTERS / Internet / Web Browsers, COMPUTERS / Internet / Web Design
-
13Dissertation/Thesis
Authors: Dey, Preyanka
Source: Masters Theses and Doctoral Dissertations
Subject Terms: Computer programs--Validation, Hydraulic models
File Description: application/pdf
Relation: https://scholar.utc.edu/theses/712; https://scholar.utc.edu/context/theses/article/1886/viewcontent/ThesisFinal_PD_4.28.21.pdf
-
14eBook
Authors: Paul Ammann, Jeff Offutt
Resource Type: eBook.
Subjects: Computer software--Validation, Computer programs--Validation, Computer software--Testing, Debugging in computer science, Computer programs--Testing
Categories: COMPUTERS / Computer Architecture
-
15Dissertation/ Thesis
Authors: Canning, James Thomas
Contributors: Computer Science and Applications, Kafura, Dennis G., Henry, Sallie M., Lindquist, Timothy E., Skarpness, Bradley O., Nunnally, Charles E.
Subject Terms: Computer software -- Development, Computer programs -- Validation, LD5655.V856 1985.C366, Computer programs -- Testing
File Description: ix, 180 leaves; application/pdf
Access URL: http://hdl.handle.net/10919/54209
-
16Dissertation/ Thesis
Contributors: Montoya, Carlos Hernando
Subject Terms: Computer programs - Validation, Computer programs, Software engineering, PROGRAMAS PARA COMPUTADOR, VALIDACIÓN DE PROGRAMAS PARA COMPUTADOR, Universidad EAFIT. Centro de Informática, Pruebas de Software, DESARROLLO DE PROGRAMAS PARA COMPUTADOR, Software measurement, Pruebas de rendimiento del software, MEDICIÓN DE SOFTWARE, Calidad del Software, Proyecto de Grado. Ingeniería de Sistemas, INGENIERÍA DE SOFTWARE
File Description: application/pdf
Access URL: http://hdl.handle.net/10784/2744
-
17Dissertation/ Thesis
Subject Terms: Computer programs - Validation, Computer programs, Software engineering, Requisitos funcionales, Computer software - Development, PROGRAMAS PARA COMPUTADOR, VALIDACIÓN DE PROGRAMAS PARA COMPUTADOR, Requisitos no funcionales, Computer programs, design, Ingeniería de Requisitos, DESARROLLO DE PROGRAMAS PARA COMPUTADOR, DISEÑO DE PROGRAMAS PARA COMPUTADORES, Requisitos de información, Proyecto de Grado. Ingeniería de Sistemas, INGENIERÍA DE SOFTWARE
File Description: application/pdf
Access URL: http://hdl.handle.net/10784/2465
-
18Dissertation/ Thesis
Authors: Ramírez Leal, Jenny Carolina
Contributors: Giraldo Osorio, William Joseph, Anaya de Páez, Raquel
Subject Terms: Computer programs - Validation, Software engineering, Computer software - Development, Component software, VALIDACIÓN DE PROGRAMAS PARA COMPUTADOR, Programming languages (electronic computers) - semantics, Tesis. Maestría en Ingeniería, PROGRAMAS PARA COMPUTADOR BASADOS EN COMPONENTES, DESARROLLO DE PROGRAMAS PARA COMPUTADOR, LENGUAJES DE PROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS) - SEMÁNTICA, COMUNICACIÓN DE LA INFORMACIÓN TÉCNICA, ARQUITECTURA DE COMPUTADORES, Communication of technical information, Computer architecture, INGENIERÍA DE SOFTWARE
File Description: application/pdf
Access URL: https://hdl.handle.net/10784/1471
-
19eBook
Authors: G. Nicolescu, Ahmed A. Jerraya
Resource Type: eBook.
Subjects: Systems engineering, Computer programs--Validation, Embedded computer systems, Heterogeneous computing
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Computer Simulation
-
20Dissertation/ Thesis
Authors: Sita Ramakrishnan
Subject Terms: Computer software Validation, Computer programs Validation, Distributed operating systems (Computers)