- ProblemBased Learning Applied to Programming Instruction
- Models as Arguments: An Approach to Computational Science Education
- This Maple file investigates the use of Shannon information entropy as a measure of dissimilarity between the real number version
- Exploring an InformationBased Approach to Computation and Computational Complexity
- AN EXPLANATION-BASED APPROACH TO VERIFICATION AND VALIDATION OF MODELS
- Problem-Based and Case-Based Methods in Computer Science D. E. Stevenson
- An EvidenceBased Approach to Fidelity D. E. Stevenson
- A Critical Look at Design, Verification, and Validation of Large Scale Simulations
- Executive Summary on PetaScale Education Project D. E. Stevenson
- Draft: A Primer on Validation and Accreditation D. E. Stevenson
- Interdisciplinary Knowledge for Education in Modeling and D. E. Stevenson
- [ 20 ] Hoare, C. A. R. and P. E. Lauer, ``Consistent and Complimentary Formal Theories of Se mantics of Programming Languages,'' Acta Informatica, 3, 1974. p 135--153.
- WORKING PAPER: INFORMATION-BASED COMPUTATIONAL D. E. STEVENSON
- A Foundation for Validation: The MichelsonMorley Experiment D. E. Stevenson
- 1. Project Management The VVSimLab project is designed to explore the process of verification and vali-
- ProblemBased Learning Applied to Programming Instruction
- The MichelsonMorley Experiment as a Primer on Validation 1 March 2002
- A MENTAL MODELS APPROACH TO PROBLEM SOLVING1 D. E. STEVENSON2
- Draft: Problem Development Using Formal Methods1 D. E. Stevenson
- D. E. STEVENSON AND DAVID BECK2 1. Introduction3
- EXECUTIVE SUMMARY ON PETASCALE EDUCATION1 D. E. STEVENSON2
- FROM DEVS TO FORMAL METHODS: A CATEGORICAL
- Problem-based and case-based learning are well-known inquiry-based pedagogies.3 We propose a new inquiry-based approach called systems-questions-solutions (SQS)4
- An Evidence-Based Approach to Fidelity1 VVSIMLAB CONCEPTS2
- Consent to Publish Lecture Notes in Computer Science 123
- General Mathematical Computational Focus Questions: Questions that serve to focus the inquiry about events and or
- Interdisciplinary Knowledge for Education in Modeling and D. E. Stevenson
- Problem-Based Learning Applied to Programming Instruction
- Methodologies and Artifacts in Software Design Ken Kennedy, Tacksoo Im, David Beck, D.E. Stevenson
- Methodologies and Artifacts in Software Design Ken Kennedy, Tacksoo Im, David Beck, D.E. Stevenson
- DRAFT November 1991 48. Rogers, Hartley, Jr., Theory of Recursive Functions and Effective Computability, New York
- (x) + cos 2 (x) 6= 1 and Other NonIdentities
- The MichelsonMorley Experiment as a Case Study in Validation
- A CRITICAL LOOK AT DESIGN, VERIFICATION, AND VALIDATION OF LARGE SCALE SIMULATIONS
- WORKING PAPER: INFORMATION-BASED COMPUTATIONAL COMPLEXITY
- The Evolution of Methodologies and Artifacts in Software Design
- A FOUNDATION FOR VALIDATION SUBMITTED TO EUROPEAN
- VALIDATION WARRANTS ARE INVERSE PROOFS Abstract. Veri cation has a long history of development in science, engineering, and mathematics. Valida-
- VERIFICATION AND VALIDATION OF MODELS IN THE NATIONAL SCIENCE DIGITAL LIBRARY
