-
1Book
Συγγραφείς: Palumbo, Daniel L., author
Θεματικοί όροι: 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
Συγγραφείς: Markus Schubnell
Resource Type: eBook.
Categories: TECHNOLOGY & ENGINEERING / Materials Science / General, COMPUTERS / Reference, TECHNOLOGY & ENGINEERING / Chemical & Biochemical
-
3Dissertation/Thesis
Συγγραφείς: 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
-
4eBook
Συγγραφείς: 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
-
5eBook
Συγγραφείς: Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Resource Type: eBook.
-
6eBook
Συγγραφείς: 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
-
7Dissertation/ Thesis
Συγγραφείς: 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
-
8Dissertation/ Thesis
Συγγραφείς: 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
-
9eBook
Συγγραφείς: Paco Hope, Ben Walther
Resource Type: eBook.
Categories: COMPUTERS / Internet / Online Safety & Privacy
-
10Dissertation/ Thesis
Θεματικοί όροι: 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; https://hdl.handle.net/10784/2465
Διαθεσιμότητα: https://hdl.handle.net/10784/2465
-
11Dissertation/ Thesis
Συγγραφείς: 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; https://hdl.handle.net/10784/2744
Διαθεσιμότητα: https://hdl.handle.net/10784/2744
-
12eBook
Συγγραφείς: Paco Hope, Ben Walther
Resource Type: eBook.
Categories: COMPUTERS / Internet / Online Safety & Privacy, COMPUTERS / Security / General, COMPUTERS / Internet / General, COMPUTERS / Internet / Web Browsers, COMPUTERS / Internet / Web Design
-
13Dissertation/Thesis
Συγγραφείς: 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
-
14eBook
Συγγραφείς: 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
-
15Dissertation/ Thesis
Συγγραφείς: 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
-
16Dissertation/ Thesis
Συγγραφείς: 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
-
17Dissertation/ Thesis
Θεματικοί όροι: 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
-
18Dissertation/ Thesis
Συγγραφείς: Ramírez Leal, Jenny Carolina
Συνεισφορές: Giraldo Osorio, William Joseph, Anaya de Páez, Raquel
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://hdl.handle.net/10784/1471
-
19eBook
Συγγραφείς: G. Nicolescu, Ahmed A. Jerraya
Resource Type: eBook.
Θέματα: 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
Συγγραφείς: Sita Ramakrishnan
Θεματικοί όροι: Computer software Validation, Computer programs Validation, Distributed operating systems (Computers)