Design and evaluation of testing protocols for rectangularly discretized ground-water simulation models, The

Συγγραφείς: Kanzer, David A.

Συνεισφορές: Turner, A. Keith, 1941-

Θεματικοί όροι: Groundwater flow -- Computer programs, Computer programs -- Testing, Computer programs -- Validation

Περιγραφή αρχείου: masters theses; application/pdf

Relation: 1990-1999 - Mines Theses & Dissertations; T 4570; https://hdl.handle.net/11124/175487

Διαθεσιμότητα: https://hdl.handle.net/11124/175487

Validation in Thermal Analysis

Συγγραφείς: Markus Schubnell

Resource Type: eBook.

Θέματα: Computer programs--Validation, Thermal analysis--Computer programs

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General, COMPUTERS / Reference, TECHNOLOGY & ENGINEERING / Chemical & Biochemical

Sensitivity and uncertainty analysis in hydrological modeling: a case study of South Chickamauga Creek watershed using BASINS/HSPF

Συγγραφείς: Dey, Preyanka

Πηγή: Masters Theses and Doctoral Dissertations

Θεματικοί όροι: Computer programs--Validation, Hydraulic models

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.utc.edu/theses/712; https://scholar.utc.edu/context/theses/article/1886/viewcontent/ThesisFinal_PD_4.28.21.pdf

Διαθεσιμότητα: https://scholar.utc.edu/theses/712
https://scholar.utc.edu/context/theses/article/1886/viewcontent/ThesisFinal_PD_4.28.21.pdf

Issues and Challenges in Validating Military Simulation Models

Συγγραφείς: Elmer, Michael R.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Military art and science--Computer simulation, Computer programs--Validation, Operational Research

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/6239; https://scholar.afit.edu/context/etd/article/7242/viewcontent/AFIT_GSO_ENS_95D_02_Elmer_M_ADA303046_Redacted.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/6239
https://scholar.afit.edu/context/etd/article/7242/viewcontent/AFIT_GSO_ENS_95D_02_Elmer_M_ADA303046_Redacted.pdf

The Effective Use of Animation in Simulation Model Validation

Συγγραφείς: Swider, Christopher L.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Computer animation, Computer simulation, Computer programs--Validation, Graphics and Human Computer Interfaces, Operational Research

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/6775; https://scholar.afit.edu/context/etd/article/7778/viewcontent/AFIT_GOR_ENS_94M_20_Swider_C_ADA278500_no_vita.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/6775
https://scholar.afit.edu/context/etd/article/7778/viewcontent/AFIT_GOR_ENS_94M_20_Swider_C_ADA278500_no_vita.pdf

Using Animation in the Validation of Simulation Models

Συγγραφείς: Carpenter, Michael L.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Computerized simulation, Computer animation, Computer programs--Validation, Operations research, Operational Research

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/7197; https://scholar.afit.edu/context/etd/article/8200/viewcontent/AFIT_GOR_ENS_93M_02_Carpenter_M_ADA262611_no_vita.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/7197
https://scholar.afit.edu/context/etd/article/8200/viewcontent/AFIT_GOR_ENS_93M_02_Carpenter_M_ADA262611_no_vita.pdf

A Unified Model of Program Behavior

Συγγραφείς: Michel, Douglas T.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Computer programs--Validation, Program behavior, Locality of reference, Cache, Software Engineering

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/7105; https://scholar.afit.edu/context/etd/article/8108/viewcontent/AFIT_GCS_ENG_92D_09_Michel_D_ADA259142_no_vita.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/7105
https://scholar.afit.edu/context/etd/article/8108/viewcontent/AFIT_GCS_ENG_92D_09_Michel_D_ADA259142_no_vita.pdf

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Συγγραφείς: Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

Resource Type: eBook.

Θέματα: 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

Validation of Evolving Software

Συγγραφείς: Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Resource Type: eBook.

Θέματα: Computer programs--Validation, Computer software--Validation

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science

Software Engineering Reviews and Audits

Συγγραφείς: Boyd L. Summers

Resource Type: eBook.

Θέματα: 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

Secure Digital Provenance: Challenges and a New Design

Συγγραφείς: Rangwala, Mohammed M.

Συνεισφορές: Zou, Xukai, 1963-, Li, Feng, Raje, Rajeev, Fang, Shiaofen

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: https://hdl.handle.net/1805/6051; http://dx.doi.org/10.7912/C2/2312

Διαθεσιμότητα: https://hdl.handle.net/1805/6051
https://doi.org/10.7912/C2/2312

Apropiación de técnicas de elicitación de conocimiento y de comunicación personalizadas para potenciar el proceso de ingeniería de requisitos

Συγγραφείς: Ramírez Leal, Jenny Carolina

Συνεισφορές: Giraldo Osorio, William Joseph, Anaya de Páez, Raquel

Θεματικοί όροι: 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

Θέμα γεωγραφικό: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: https://hdl.handle.net/10784/1471

Testowanie bezpiecze?stwa aplikacji internetowych. Receptury

Συγγραφείς: Paco Hope, Ben Walther

Resource Type: eBook.

Θέματα: Computer software--Validation, Web sites--Security measures, Computer programs--Validation

Categories: COMPUTERS / Internet / Online Safety & Privacy

Proceso de pruebas de requisitos basados en la ingeniería de requisitos para ser aplicada a los proyectos de software

Συγγραφείς: Morales Isaza, John Felipe, Hernández González, Juan Camilo

Θεματικοί όροι: 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

Θέμα γεωγραφικό: 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

Περιγραφή αρχείου: application/pdf

Relation: 005.12CD H557D; http://hdl.handle.net/10784/2465

Διαθεσιμότητα: http://hdl.handle.net/10784/2465

Metodologías de testing de software y su aplicación en el Centro de Informática de la Universidad Eafit

Συγγραφείς: Ruíz Calle, Juan David, Cálad Alvarez, Alejandro

Συνεισφορές: Montoya, Carlos Hernando

Θεματικοί όροι: 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

Θέμα γεωγραφικό: 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

Περιγραφή αρχείου: application/pdf

Relation: 005.14CD C141; http://hdl.handle.net/10784/2744

Διαθεσιμότητα: http://hdl.handle.net/10784/2744

Web Security Testing Cookbook : Systematic Techniques to Find Problems Fast

Συγγραφείς: Paco Hope, Ben Walther

Resource Type: eBook.

Θέματα: 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

Introduction to Software Testing

Συγγραφείς: Paul Ammann, Jeff Offutt

Resource Type: eBook.

Θέματα: Computer software--Validation, Computer programs--Validation, Computer software--Testing, Debugging in computer science, Computer programs--Testing

Categories: COMPUTERS / Computer Architecture

The application of structure and code metrics to large scale systems

Συγγραφείς: Canning, James Thomas

Συνεισφορές: Computer Science and Applications, Kafura, Dennis G., Henry, Sallie M., Lindquist, Timothy E., Skarpness, Bradley O., Nunnally, Charles E.

Θεματικοί όροι: Computer software -- Development, Computer programs -- Validation, LD5655.V856 1985.C366, Computer programs -- Testing

Περιγραφή αρχείου: ix, 180 leaves; application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10919/54209

Metodologías de testing de software y su aplicación en el Centro de Informática de la Universidad Eafit

Συγγραφείς: Ruíz Calle, Juan David, Cálad Alvarez, Alejandro

Συνεισφορές: Montoya, Carlos Hernando

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10784/2744

Proceso de pruebas de requisitos basados en la ingeniería de requisitos para ser aplicada a los proyectos de software

Συγγραφείς: Morales Isaza, John Felipe, Hernández González, Juan Camilo

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10784/2465