Výsledky vyhledávání - software integration testing with SQL AND GUI~

YERITH_QVGE : A Framework for Verifying SQL Correctness Temporal Properties of GUI Software at Runtime

Autoři: Noundou, XAVIER

Témata: model-based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

YERITH_QVGE : A Framework for Verifying SQL Correctness Temporal Properties of [GUI] Software at Runtime

Autoři: Noundou, XAVIER

Témata: model-based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

Relation: https://zenodo.org/records/14997343; oai:zenodo.org:14997343; https://doi.org/10.5281/zenodo.14997343

Dostupnost: https://doi.org/10.5281/zenodo.14997343
https://zenodo.org/records/14997343

YR_DB_RUNTIME_VERIF: A FRAMEWORK FOR VERIFYING SQL CORRECTNESS PROPERTIES OF GUI SOFTWARE AT RUNTIME

Autoři: Noundou Noumbissi, Xavier

Témata: model–based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

Relation: https://zenodo.org/records/8051303; oai:zenodo.org:8051303; https://doi.org/10.5281/zenodo.8051303

Dostupnost: https://doi.org/10.5281/zenodo.8051303
https://zenodo.org/records/8051303

Runtime Verification Of SQL Correctness Properties with YR-DB-RUNTIME-VERIF

Autoři: Noundou Noumbissi, XAVIER

Témata: model-based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

Anna: an open-source platform for real-time integration of machine learning classifiers with veterinary electronic health records.

Autoři: Kong, Chun Yin Vasquez, Picasso Farhoodimoghadam, Makan a další

Zdroj: BMC Veterinary Research. 10/2/2025, Vol. 21 Issue 1, p1-12. 12p.

Témata: Machine learning, Electronic health records, Open source software, Patient care, Veterinary medicine, Diagnosis, Classification algorithms, Synchronization

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Autoři: Li, Shenglin Erickson, Caleb Zajac, Michal a další

Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

Témata: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Development of a Water Temperature Modeling Platform to Support Short- and Long-Term Water Temperature Management in Reservoir–River Systems.

Autoři: Deas, Michael Sun, Yung-Hsin DeGeorge, John a další

Zdroj: Water (20734441); Sep2025, Vol. 17 Issue 18, p2714, 26p

Témata: WATER temperature, SIMULATION methods & models, DATA management, FISH conservation, RESERVOIR ecology, STRATEGIC planning, TECHNOLOGICAL innovations

Geografický termín: CENTRAL Valley (Calif. : Valley), SACRAMENTO Valley (Calif.)

Korporace: UNITED States. Bureau of Reclamation

Migrating a Well-Established Longitudinal Cohort Database From Oracle SQL to Research Electronic Data Entry (REDCap): Data Management Research and Design Study.

Autoři: Kusejko, Katharina Smith, Daniel Scherrer, Alexandra a další

Zdroj: JMIR Formative Research; 2023, Vol. 7 Issue 1, p1-9, 9p

A Spiking Neural Network Builder for Systematic Data-to-Model Workflow.

Autoři: Gutierrez, Carlos Enrique Henrik Skibbe Hugo Musset a další

Zdroj: Frontiers in Neuroinformatics; 7/13/2022, Vol. 16, p1-17, 17p

Témata: BIOLOGICAL neural networks, ARTIFICIAL neural networks, NEURAL circuitry, DATABASES, WORKFLOW, BUSINESS software

PROGRAMINĖS ĮRANGOS TESTAVIMAS. (Lithuanian)

Alternate Title: SOFTWARE TESTING. (English)

Autoři: Petrauskienė, Janina

Zdroj: Professional Studies: Theory & Practice / Profesines Studijos: Teorija ir Praktika; 2013, Issue 12, p173-179, 7p

Témata: COMPUTER software quality control, INFORMATION technology, COMPUTER software development, CHAOS theory, SOFTWARE productivity, MATHEMATICAL models, COMPUTER software testing

Pharmacometrics in the Age of Large Language Models: A Vision of the Future.

Autoři: Tosca, Elena Maria Aiello, Ludovica De Carlo, Alessandro a další

Zdroj: Pharmaceutics; Oct2025, Vol. 17 Issue 10, p1274, 26p

Témata: LANGUAGE models, ARTIFICIAL intelligence, PREDICTION models, DIGITAL twin, PHARMACOLOGY, ELECTRONIC data processing, DRUG development

The 34th Anual Meeting of the Asian Pacific Association for the study of the liver.

Zdroj: Hepatology International; 2025 Suppl 1, Vol. 19, p1-1554, 1554p

JINR Cloud Infrastructure.

Autoři: Korenkov, V.V. Kutovskiy, N.A. Balashov, N.A. a další

Zdroj: Procedia Computer Science. 2015, Vol. 66, p574-583. 10p.

Témata: Cloud computing, Information technology industry, Debugging, Computer software developers, Distributed computing, SQL

Handbook of Research on Software Quality Innovation in Interactive Systems

Autoři: Francisco Vicente Cipolla-Ficarra

Resource Type: eBook.

Témata: Computer software--Quality control

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing

Microcontroller-Based Detector and Monitoring System for Overspeeding Vehicles for Traffic Management Unit: A Prototype.

Autoři: Malik, Sahawi S.

Zdroj: IUP Journal of Electrical & Electronics Engineering; Apr2021, Vol. 14 Issue 2, p38-58, 21p

Témata: PROTOTYPES, TRAFFIC accidents, DETECTORS, TEST systems, MICROCONTROLLERS, VEHICLES

Korporace: GOOGLE Inc.

CONNJUR Workflow Builder: a software integration environment for spectral reconstruction.

Autoři: Fenwick, Matthew Weatherby, Gerard Vyas, Jay a další

Zdroj: Journal of Biomolecular NMR; Jul2015, Vol. 62 Issue 3, p313-326, 14p

Automated Lightweight Model for Asthma Detection Using Respiratory and Cough Sound Signals.

Autoři: Xu, Shuting Deo, Ravinesh C. Faust, Oliver a další

Zdroj: Diagnostics (2075-4418); May2025, Vol. 15 Issue 9, p1155, 28p

Témata: MACHINE learning, PLURALITY voting, RESPIRATORY diseases, FEATURE selection, ARTIFICIAL intelligence

A Novel Digitalization Approach for Smart Materials – Ontology‐Based Access to Data and Models.

Autoři: Maas, Jürgen Leemhuis, Mena Mertens, Jana a další

Zdroj: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-13, 13p

Témata: SMART materials, DATA warehousing, DATABASES, DATA modeling, RESEARCH & development

Fundamental Approaches to Software Engineering : 28th International Conference, FASE 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autoři: Artur Boronat Gordon Fraser

Resource Type: eBook.

Témata: Software engineering--Congresses, Operating systems (Computers)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Testing JavaScript Applications

Autoři: Lucas Fernandes da Costa

Resource Type: eBook.

Témata: Application software--Development, JavaScript (Computer program language)

Categories: COMPUTERS / Languages / JavaScript, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Tools