Works matching DE "SOFTWARE validation"
Results: 503
Validation of a head-neck computer model for whiplash simulation.
- Published in:
- 2004
- By:
- Publication type:
- journal article
Exchanging information in cooperative software validation.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 3, p. 695, doi. 10.1007/s10270-024-01155-3
- By:
- Publication type:
- Article
Models as the subject of education.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
Temporal property patterns for model-based testing from UML/OCL.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 865, doi. 10.1007/s10270-017-0635-4
- By:
- Publication type:
- Article
Refinement-based Validation of Event-B Specifications.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 3, p. 789, doi. 10.1007/s10270-016-0514-4
- By:
- Publication type:
- Article
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 1, p. 125, doi. 10.1007/s10270-015-0470-4
- By:
- Publication type:
- Article
Developing BP-driven web applications through the use of MDE techniques.
- Published in:
- Software & Systems Modeling, 2012, v. 11, n. 4, p. 609, doi. 10.1007/s10270-010-0177-5
- By:
- Publication type:
- Article
ZeusAR: a process and an architecture to automate the development of augmented reality serious games.
- Published in:
- Multimedia Tools & Applications, 2022, v. 81, n. 2, p. 2901, doi. 10.1007/s11042-021-11695-1
- By:
- Publication type:
- Article
Three Ethical Challenges of Applications of Artificial Intelligence in Cybersecurity.
- Published in:
- 2019
- By:
- Publication type:
- Letter to the Editor
Virtual testing of realistic aerospace composite structures.
- Published in:
- Journal of Materials Science, 2008, v. 43, n. 20, p. 6586, doi. 10.1007/s10853-008-2695-x
- By:
- Publication type:
- Article
Situation-model representations of conflicting textual information in L2 readers: the effects of prior beliefs and L2 proficiency.
- Published in:
- Language Awareness, 2023, v. 32, n. 2, p. 323, doi. 10.1080/09658416.2022.2091583
- By:
- Publication type:
- Article
Review of Water Network Analysis and Validation of SCALER Hydraulic Simulator.
- Published in:
- Journal of Civil Engineering Frontiers (JoCEF), 2022, v. 3, n. 1, p. 1, doi. 10.38094/jocef30142
- By:
- Publication type:
- Article
Simulation and performance characteristics of rock with borehole using Visual Finite Element Analysis.
- Published in:
- Mining of Mineral Deposits, 2024, v. 18, n. 3, p. 33, doi. 10.33271/mining18.03.033
- By:
- Publication type:
- Article
Novel lightweight connecting bracket design with multiple performance constraints based on optimization and verification process.
- Published in:
- Electronic Research Archive, 2023, v. 31, n. 4, p. 1, doi. 10.3934/era.2023104
- By:
- Publication type:
- Article
Verification and Validation.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
Evaluating Well-Formedness Constraints on Incomplete Models.
- Published in:
- Acta Cybernetica, 2017, v. 23, n. 2, p. 687, doi. 10.14232/actacyb.23.2.2017.15
- By:
- Publication type:
- Article
Spatial weed distribution models under climate change: a short review.
- Published in:
- PeerJ, 2023, p. 1, doi. 10.7717/peerj.15220
- By:
- Publication type:
- Article
USING VIRTUAL PLATFORMS FOR BIOS DEVELOPMENT AND VALIDATION.
- Published in:
- Intel Technology Journal, 2013, v. 17, n. 2, p. 32
- By:
- Publication type:
- Article
AlkaSAP computer system validation.
- Published in:
- Macedonian Pharmaceutical Bulletin / Makedonsko Farmacevtski Bilten, 2016, v. 62, p. 237
- By:
- Publication type:
- Article
Software Program for the Evaluation of Human Exposure to Electric and Magnetic Fields.
- Published in:
- Technologies (2227-7080), 2023, v. 11, n. 6, p. 159, doi. 10.3390/technologies11060159
- By:
- Publication type:
- Article
Validation of HiG-Flow Software for Simulating Two-Phase Flows with a 3D Geometric Volume of Fluid Algorithm.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 18, p. 3900, doi. 10.3390/math11183900
- By:
- Publication type:
- Article
Estimation of nonbinary random response.
- Published in:
- Doklady Mathematics, 2014, v. 89, n. 2, p. 225, doi. 10.1134/S1064562414020306
- By:
- Publication type:
- Article
Adaptation and Validation of the Perceived Control in Unemployment Scale.
- Published in:
- Frontiers in Psychology, 2019, p. N.PAG, doi. 10.3389/fpsyg.2019.00383
- By:
- Publication type:
- Article
The development and validation of an attitude towards MALL instrument.
- Published in:
- Educational Technology Research & Development, 2019, v. 67, n. 3, p. 733, doi. 10.1007/s11423-019-09663-6
- By:
- Publication type:
- Article
A software development for establishing optimal production lots and its application in academic and business environments.
- Published in:
- Revista Ingeniería e Investigación, 2014, v. 34, n. 3, p. 81, doi. 10.15446/ing.investig.v34n3.41578
- By:
- Publication type:
- Article
Simulation Approaches Used for Management and Decision Making in the Beef Production Sector: A Systematic Review.
- Published in:
- Animals (2076-2615), 2024, v. 14, n. 11, p. 1632, doi. 10.3390/ani14111632
- By:
- Publication type:
- Article
A finite-sample simulation study of cross validation in tree-based models.
- Published in:
- Information Technology & Management, 2009, v. 10, n. 4, p. 223, doi. 10.1007/s10799-009-0052-7
- By:
- Publication type:
- Article
Conception of a tunable analog reflection-type phase shifter based on capacitive RF MEMS for radar application.
- Published in:
- International Journal of Microwave & Optical Technology, 2016, v. 11, n. 5, p. 339
- By:
- Publication type:
- Article
Propagation model for 2.4 GHz wireless sensor network in four-year-old young apple orchard.
- Published in:
- International Journal of Agricultural & Biological Engineering, 2014, v. 7, n. 6, p. 47, doi. 10.3965/j.ijabe.20140706.007
- By:
- Publication type:
- Article
Towards a Software Tool Supporting Decisions in Planning Heap Revitalization Processes.
- Published in:
- Sustainability (2071-1050), 2022, v. 14, n. 5, p. N.PAG, doi. 10.3390/su14052492
- By:
- Publication type:
- Article
Usevalia: Managing Inspection-Based Usability Audits.
- Published in:
- International Journal of Human-Computer Interaction, 2024, v. 40, n. 3, p. 719, doi. 10.1080/10447318.2022.2121879
- By:
- Publication type:
- Article
iCARE: An R package to build, validate and apply absolute risk models.
- Published in:
- PLoS ONE, 2020, v. 15, n. 2, p. 1, doi. 10.1371/journal.pone.0228198
- By:
- Publication type:
- Article
Validation of publicly-available software used in analyzing NGS data for HIV-1 drug resistance mutations and transmission networks in a Washington, DC, Cohort.
- Published in:
- PLoS ONE, 2019, v. 14, n. 4, p. 1, doi. 10.1371/journal.pone.0214820
- By:
- Publication type:
- Article
A New User Dependent Iris Recognition System Based on an Area Preserving Pointwise Level Set Segmentation Approach.
- Published in:
- EURASIP Journal on Advances in Signal Processing, 2009, p. 1, doi. 10.1155/2009/980159
- By:
- Publication type:
- Article
Rapid Formal Verification as Requirements Stage Verification and Validation Technique.
- Published in:
- International Review on Computers & Software, 2019, v. 14, n. 1, p. 27, doi. 10.15866/irecos.v14i1.17684
- By:
- Publication type:
- Article
1-Rule-Based Selection Scheme for Enzyme Classification.
- Published in:
- International Review on Computers & Software, 2012, v. 7, n. 4, p. 1840
- By:
- Publication type:
- Article
Validation of OPEN Process Activity Model Using OCL Framework.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 2, p. 141
- By:
- Publication type:
- Article
Validation of a semi-automatic software for optical coherence tomography – analysis in heart transplanted patients.
- Published in:
- International Journal of Cardiovascular Imaging, 2023, v. 39, n. 2, p. 257, doi. 10.1007/s10554-022-02722-9
- By:
- Publication type:
- Article
Validation of phonetic transcriptions in the context of automatic speech recognition.
- Published in:
- Language Resources & Evaluation, 2007, v. 41, n. 2, p. 129, doi. 10.1007/s10579-007-9033-9
- By:
- Publication type:
- Article
Macro- and Micro-Validation: Beyond the 'Five Sources' Framework for Classifying Validation Evidence and Analysis.
- Published in:
- Practical Assessment, Research & Evaluation, 2016, v. 21, n. 12, p. 1
- By:
- Publication type:
- Article
A New Approach for High Performance Computing Systems with Various Checkpointing Schemes.
- Published in:
- 2005
- By:
- Publication type:
- Editorial
Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems.
- Published in:
- Journal of Supercomputing, 2003, v. 25, n. 1, p. 73, doi. 10.1023/A:1022804303992
- By:
- Publication type:
- Article
Validation and Practical Application of a Data Reduction Software for the Analysis of Data from Stress Relief Tests.
- Published in:
- Geotechnical & Geological Engineering, 2022, v. 40, n. 7, p. 3779, doi. 10.1007/s10706-022-02115-8
- By:
- Publication type:
- Article
A vulnerability-centric requirements engineering framework: analyzing security attacks, countermeasures, and requirements based on vulnerabilities.
- Published in:
- Requirements Engineering, 2010, v. 15, n. 1, p. 41, doi. 10.1007/s00766-009-0090-z
- By:
- Publication type:
- Article
Validating software requirements with enactable use case descriptions.
- Published in:
- Requirements Engineering, 2009, v. 14, n. 1, p. 1, doi. 10.1007/s00766-008-0070-8
- By:
- Publication type:
- Article
Goal and scenario validation: a fluent combination.
- Published in:
- Requirements Engineering, 2006, v. 11, n. 2, p. 123, doi. 10.1007/s00766-005-0024-3
- By:
- Publication type:
- Article
Development and validation of the Strategy Inventory for Dictionary Use (S.I.D.U.)1.
- Published in:
- International Journal of Lexicography, 2013, v. 26, n. 2, p. 135, doi. 10.1093/ijl/ect007
- By:
- Publication type:
- Article
Verification of Uncertain Knowledge-based Systems: An Empirical Verification Approach.
- Published in:
- 1996
- By:
- Publication type:
- Product Review
Development of Clinical Decision Models for the Prediction of Systemic Lupus Erythematosus and Sjogren's Syndrome Overlap.
- Published in:
- Journal of Clinical Medicine, 2023, v. 12, n. 2, p. 535, doi. 10.3390/jcm12020535
- By:
- Publication type:
- Article
Two Rule-Based Natural Language Strategies for Requirements Discovery and Classification in Open Source Software Development Projects.
- Published in:
- Journal of Management Information Systems, 2012, v. 28, n. 4, p. 11, doi. 10.2753/MIS0742-1222280402
- By:
- Publication type:
- Article