Software reliability: a preliminary handbook / Rodger Knaus, Hamid Aougab, Naim Bentahar.

Συγγραφείς: Knaus, Rodger

Θεματικοί όροι: Computer software -- Reliability., Computer software -- Verification., Computer software -- Validation., Highway engineering.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo93300
https://www.fhwa.dot.gov/publications/research/safety/04080/04080.pdf
https://catalog.gpo.gov/fdlpdir/locate.jsp?ItemNumber=0982-G-11&SYS=001061532

Post-processing V&V level II ASC milestone (2360) results.

Συνεισφορές: Shead, Timothy

Περιγραφή αρχείου: Medium: ED; Size: 48 p.

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/servlets/purl/933216

Predictive Capability Maturity Model for computational modeling and simulation.

Συνεισφορές: Pilch, Martin

Περιγραφή αρχείου: Medium: ED; Size: 71 p.

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/servlets/purl/976951

Using specification animation to support specification testing and software testing

Συγγραφείς: null Timothy Miller

Θεματικοί όροι: Computer software -- Development, Computer software -- Specifications -- Testing, 0899 Other Information and Computing Sciences, Computer software -- Verification, School of Information Technology and Electrical Engineering, Computer animation, 0803 Computer Software, Computer software -- Validation

Σύνδεσμος πρόσβασης: https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ_ALMA21103271690003131
https://api.library.uq.edu.au/view/UQ:275872/THE18489.pdf
https://api.library.uq.edu.au/view/UQ:275872

Cross-validation in Fuzzy ARTMAP for large databases

Συγγραφείς: Anna Koufakou, Michael Georgiopoulos, Georgios C. Anagnostopoulos, Takis Kasparis

Συνεισφορές: Κασπαρής, Τάκης

Πηγή: Neural Networks. 14:1279-1291

Θεματικοί όροι: Overtraining, Software Validation, generalization performance, 02 engineering and technology, Fuzzy ARTMAP, cross-validation, 01 natural sciences, CLASSIFICATION, Fuzzy Logic, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, Generalization performance, Accuracy, ARCHITECTURE, NEURAL-NETWORK, Cross-validation, Electrical Engineering - Electronic Engineering - Information Engineering, Fuzzy logic, overtraining, Databases as Topic, Computer Science, Engineering and Technology, Computer software--Validation, Neural Networks, Computer, Neural networks, Algorithms, STATISTICAL-THEORY

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

Σύνδεσμος πρόσβασης: https://pubmed.ncbi.nlm.nih.gov/11718426
https://hdl.handle.net/20.500.14279/1675

Software Fault Prevention, Verification, and Validation

Συγγραφείς: Shaoying Liu

Resource Type: eBook.

Θέματα: Computer software--Verification--Congresses, Computer software--Validation--Congresses

Categories: COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Computer Science

Análisis de desajustes con respecto a los requisitos en la selección de componentes OTS

Συγγραφείς: Carvallo Vega, Juan Pablo, Franch Gutiérrez, Javier

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: Programari -- Verificació, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Modelos de calidad, Software architecture, Selección, Informàtica::Enginyeria del software [Àrees temàtiques de la UPC], Componentes, Off-the-shelf, Programari -- Disseny, Requisitos, Desajustes, Computer software -- Validation

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

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

Applying i* metrics for the integration of goal-oriented modeling into MDD processes

Συγγραφείς: Giachetti, Giovanni, Alencar, Fernanda, Franch Gutiérrez, Javier, Pastor López, Oscar

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Services, Information and Data Engineering

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Model-driven software architecture, Software measurement, Computer software -- Validation, i, MDD, Metrics, Validation, UML Profile, Programari -- Mètrica, Programació orientada a l'objecte (Informàtica), Programari -- Verificació

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

Relation: ESSI-TR-10-2; http://www.essi.upc.edu/~franch/publis/essi-tr-10-2.pdf; https://hdl.handle.net/2117/6874

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

Post-processing V&V level II ASC milestone (2360) results

Συγγραφείς: Chavez, Elmer, Karelitz, David B., Brunner, Thomas A., Trucano, Timothy Guy, Moreland, Kenneth D., Weirs, V. Gregory, Shead, Timothy M.

Συνεισφορές: United States. Department of Energy.

Θεματικοί όροι: Testing Computer Software-Validation, Data Processing, Computer Software-Validation, Computing, High Performance Computing, Verification, 99 General And Miscellaneous//Mathematics, 7. Clean energy, Exact Solutions, And Information Science, Validation, Computerized Simulation, Computer Software-Verification

Περιγραφή αρχείου: Text

Σύνδεσμος πρόσβασης: https://digital.library.unt.edu/ark:/67531/metadc897247/m2/1/high_res_d/933216.pdf

A validation software package for discrete simulation models

Συγγραφείς: Florez, Rossana E.

Συνεισφορές: Industrial Engineering and Operations Research

Θεματικοί όροι: Computer software -- Development, Computer software -- Validation -- Automation, LD5655.V855 1986.F567, Computer simulation

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation

Συγγραφείς: Tiziana Margaria, Bernhard Steffen

Resource Type: eBook.

Θέματα: Conference proceedings, Formal methods (Computer science)--Congresses, Computer software--Verification--Congresses, Computer software--Validation--Congresses, Computer software--Validation, Computer software--Verification, Formal methods (Computer science)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General

Trustworthy Global Computing

Συγγραφείς: Roberto Bruni, Vladimiro Sassone

Resource Type: eBook.

Θέματα: Conference proceedings, Computer security--Congresses, Computer networks--Security measures--Congress, Computer software--Validation--Congresses, Computer software--Verification--Congresses, Computer networks--Security measures, Computer security, Computer software--Validation, Computer software--Verification

Categories: COMPUTERS / Security / Cryptography & Encryption, COMPUTERS / Information Theory, COMPUTERS / Management Information Systems, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Como novatos agem ao fazer a sua primeira contribuição com teste ; How newcomers act when writing their first contribution with test

Συγγραφείς: Souza, Jennifer Izabel Rodrigues de

Συνεισφορές: Wiese, Igor Scaliante, Silva, Marco Aurélio Graciotto, Silva, Narci Nogueira da

Θεματικοί όροι: Software livre, Software - Validação, Programadores de computador, Free computer software, Computer software - Validation, Computer programmers, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO

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

Relation: http://repositorio.utfpr.edu.br/jspui/handle/1/6017

Διαθεσιμότητα: http://repositorio.utfpr.edu.br/jspui/handle/1/6017

Um modelo conceitual para cenários de acidentes em atividades de manutenção ; A conceptual model for maintenance activity accident scenarios

Συγγραφείς: Samara, Jonathan Morris

Συνεισφορές: Tacla, Cesar Augusto, http://lattes.cnpq.br/2860342167270413, Paraiso, Emerson Cabrera, orcid:0000-0002-6740-7855, http://lattes.cnpq.br/3493899263715892, Lugo, Gustavo Alberto Gimenez, http://lattes.cnpq.br/2787038908575326, Agnol, Josiane Michalak Hauagge Dall, http://lattes.cnpq.br/7599246358679552, Espinoza, Miriam Mariela Mercedes Morveli, orcid:0000-0002-7376-2271, http://lattes.cnpq.br/5351129518161204

Θεματικοί όροι: Energia elétrica - Transmissão - Manutenção e reparos, Serviços de eletricidade, Acidentes de trabalho - Avaliação de riscos, Software - Validação, Sistemas multiagentes, Agentes inteligentes (Software), Interfaces (Computadores) Electric power transmission - Maintenance and repair, Electric power transmission - Maintenance and repair, Electric utilities, Industrial accidents - Risk assessment, Computer software - Validation, Multi-agent systems, Intelligent agents (Computer software), Computer interfaces, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO, Engenharia Elétrica

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

Relation: http://repositorio.utfpr.edu.br/jspui/handle/1/5265

Διαθεσιμότητα: http://repositorio.utfpr.edu.br/jspui/handle/1/5265

Proposta de sistema de baixo custo para triagem de pacientes com retinopatia diabética ; Proposal for a low cost system for screening patients with diabetic retinopathy

Συγγραφείς: Werner, Lucas Vieira

Συνεισφορές: Stebel, Sergio Leandro, http://lattes.cnpq.br/8340523025399467, Santos, Deivisson Vianna Dantas dos, orcid:0000-0002-1198-1890, http://lattes.cnpq.br/2082293854099988, Borba, Gustavo Benvenutti, http://lattes.cnpq.br/2591233508037006

Θεματικοί όροι: Retinopatia diabética - Diagnóstico, Rastreamento médico, Oftalmoscopia, Aplicativos móveis - Desenvolvimento, Aprendizado do computador, Processamento de imagens - Técnicas digitais, Lentes - Avaliação, Imagens e fantasmas (Radiologia) -Testes, Redes neurais (Computação), Interface de programas aplicativos (Software), Inteligência artificial, Software - Validação, Diabetic retinopathy - Diagnosis, Medical screening, Ophthalmoscopy, Mobile apps - Development, Machine learning, Image processing - Digital technique, Lenses - Evaluation, Phantoms (Radiology) - Testing, Neural networks (Computer science), Application Program Interfaces (Computer software), Artificial intelligence, Computer software - Validation, CNPQ::ENGENHARIAS::ENGENHARIA BIOMEDICA, Engenharia Biomédica

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

Relation: http://repositorio.utfpr.edu.br/jspui/handle/1/4838

Διαθεσιμότητα: http://repositorio.utfpr.edu.br/jspui/handle/1/4838

Desenvolvimento de aplicativo para o auxílio na condução de pesquisas clínicas em oncologia ; Application development to support oncology clinical research

Συγγραφείς: Marinho, Marianne Ferreira

Συνεισφορές: Barros, Frieda Saicla, http://lattes.cnpq.br/0143125613644268, Kalinke, Luciana Puchalski, Cunha, José Carlos da

Θεματικοί όροι: Oncologia, Clínica médica - Pesquisa - Administração, Aplicativos móveis - Desenvolvimento, Android (Recurso eletrônico), Interface de usuário baseada na Web, Aplicações Web - Avaliação, Software - Validação, Tecnologia médica, Tecnologia da informação, Engenharia biomédica, Oncology, Clinical medicine - Research - Administration, Mobile apps - Development, Android (Electronic resource), Web-based user interfaces, Web applications - Evaluation, Computer software - Validation, Medical technology, Information technology, Biomedical engineering, CNPQ::ENGENHARIAS::ENGENHARIA BIOMEDICA

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

Relation: http://repositorio.utfpr.edu.br/jspui/handle/1/4185

Διαθεσιμότητα: http://repositorio.utfpr.edu.br/jspui/handle/1/4185

Utilização de filtros adaptativos em sistemas de redução ativa de ruído para ambientes amplos ; Usage of adaptive filters in active noise cancellation systems for broad environments

Συγγραφείς: Pereira, Thiago Mendes

Συνεισφορές: Arruda, Lucia Valeria Ramos de, orcid:0000-0002-5704-8131, http://lattes.cnpq.br/8616017152145795, Pipa, Daniel Rodrigues, orcid:0000-0002-9398-332X, http://lattes.cnpq.br/5604517186200940, Riella, Rodrigo Jardim, http://lattes.cnpq.br/3160317807814481

Θεματικοί όροι: Ruído industrial, Ruído - Efeito fisiológico, Controle de ruído, Controle ativo de ruído e vibração, Pressão sonora - Medição, Interferência (Som), Filtros adaptativos, Filtros elétricos, Processamento de sinais - Técnicas digitais, Métodos de simulação, Software - Validação, Industrial noise, Noise - Physiological effect, Noise control, Active noise and vibration control, Sound pressure - Measurement, Interference (Sound), Adaptative filters, Electric filters, Signal processing - Digital technique, Simulation methods, Computer software - Validation, CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::ELETRONICA INDUSTRIAL, SISTEMAS E CONTROLES ELETRONICOS::AUTOMACAO ELETRONICA DE PROCESSOS ELETRICOS E INDUSTRIAIS, Engenharia Elétrica

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

Relation: http://repositorio.utfpr.edu.br/jspui/handle/1/4680

Διαθεσιμότητα: http://repositorio.utfpr.edu.br/jspui/handle/1/4680

Foundations of Software and System Performance Engineering : Process, Performance Modeling, Requirements, Testing, Scalability, and Practice

Συγγραφείς: André B. Bondi

Resource Type: eBook.

Θέματα: Computer systems--Evaluation, Computer systems--Reliability, Computer software--Validation, Computer architecture--Evaluation, System engineering

Categories: COMPUTERS / Software Development & Engineering / General

Introducing Gradle

Συγγραφείς: Balaji Varanasi

Resource Type: eBook.

Θέματα: Computer software--Validation, Computer software--Verification, Computer software--Development, Java (Computer program language)

Categories: COMPUTERS / Languages / Java, COMPUTERS / General