Sage Journals: Discover world-class research

Retricted access

Research article

First published 1995-1

How to Validate a Computer System

Mary Lou Cardie, Nancy G. Tucker

Therapeutic Innovation & Regulatory Science

Retricted access

Research article

First published 1994-11

The Use of Case Tools as an Aid to the Verification of Complex Software Systems

David W. Gledhill

SIMULATION

Retricted access

Research article

First published 2004-11

Software Project Management and Quality Engineering Practices for Complex,Coupled Multiphysics,Massively Parallel Computational Simulations: Lessons Learned From ASCI

D. E. Post, R. P. Kendall

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2007-1

High integrity real-time software

D J Allerton

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2020-11

DEv-PROMELA: modeling,verification,and validation of a video game by combining model-checking and simulation

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman

SIMULATION

Retricted access

Research article

First published 2025-10

Multi-level risk classification of distributed embedded software failures for autonomous systems

Alojz Gomola, Susanna Dybwad Kristensen, Ingrid Bouwer Utne

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2004

Development of a High-Level Algorithm Verification and Validation Procedure for Traffic Microsimulation Models

David Reinke, Richard Dowling, Robert Hranac [...]

Transportation Research Record: Journal of the Transportation Research Board

Open access

Research article

First published 2012-10

A Ground-Based Validation System of Teleoperation for a Space Robot

Xueqian Wang, Houde Liu, Wenfu Xu [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2010-11

SYNERGISTIC VALIDATION METHODOLOGY FOR KNOWLEDGE-BASED ENGINEERING SYSTEMS

U. John Tanik

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2022-06

Development and Validation of a Differential Diagnosis Model for Acute Appendicitis and Henoch-Schonlein Purpura in Children

Yishan Zhan, Min Wu, Kehao Li [...]

Pediatric Allergy,Immunology,and Pulmonology

Search results