D. E. Stevenson  Home/Search
Context Related
| clemson.edu/~steve/vandvcse.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: clemson.edu/~steve/resint (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article as widely accessible as possible. I have also provided a Bibliography. I. There Is A Disconnect Between Us? (Update)
Cited by: More
Practical Application of Formal Methods in Modeling and Simulation - National (Correct)
Active bibliography (related documents): More All
1.5: Science, Computational Science and Computer Science: At a.. - Stevenson (1993) (Correct)
1.2: Confidence in ASCI Scientific Simulations - James Ang And (Correct)
1.2: A Foundation For Validation - Stevenson (Correct)
Similar documents based on text: More All
0.4: Performance Of Multi-Split Decision Feedback Equalizer - Waleed Saif Azzedine (Correct)
0.1: A Primer on Validation and Accreditation - Stevenson (2000) (Correct)
0.1: A Constructive Theory of Euclidean Geometry: The first.. - Stevenson (1995) (Correct)
BibTeX entry: (Update)
D.E. Stevenson, "A Critical Look at Design, Verification, and Validation of Large Scale Simulations " , IEEE Computational Science and Engineering (to appear). http://citeseer.ist.psu.edu/183323.html More
@misc{ stevenson-critical,
author = "D. Stevenson",
title = "A Critical Look at Design, Verification, and Validation of Large Scale
Simulations",
text = "D.E. Stevenson, A Critical Look at Design, Verification, and Validation
of Large Scale Simulations , IEEE Computational Science and Engineering
(to appear).",
url = "citeseer.ist.psu.edu/183323.html" }
Citations (may not include all citations):532 LAPACK Users' Guide (context) - Anderson, Bai et al. - 1995
346 Introduction to numerical analysis (context) - Stoer, Bulirsch - 1980
237 Software Testing Techniques (context) - Beizer - 1990
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
223 The structure of scientific revolutions (context) - Kuhn - 1962
206 The Art of Software Testing (context) - Myers - 1979
143 Foundations of Constructive Mathematics (context) - Beeson - 1985
133 Mathematical Theory of Computation (context) - Manna - 1974
128 Logic and computation : interactive proof with Cambridge LCF (context) - Paulson - 1987
123 Software Metrics: A Rigorous and Practical Approach (context) - Fenton, Pfleeger - 1997
122 Computer Arithmetic Algorithms (context) - Koren - 1993
119 What every computer scientist should know about floating-poi.. - Goldberg - 1991
117 Rounding Errors in Algebraic Processes (context) - Wilkinson - 1963
110 A complexity measure (context) - McCabe - 1976
107 An experimental evaluation of the assumption of independence.. - Knight, Leveson - 1986
95 Verification of Sequential and Concurrent Programs (context) - Apt, Olderog - 1991
75 Constructive Analysis (context) - Bishop, Bridges - 1985
56 Complexity Theory of Real Functions (context) - Ko - 1991
56 Testing programs with the aid of a compiler (context) - Hamlet - 1977
55 Lectures on Finite Precision Computations (context) - Chaitin-Chatelin, Frayss'e - 1996
49 Symbolic execution and program testing (context) - King - 1976
48 Non-Standard Analysis (context) - Robinson - 1965
46 Computer Arithmetic in Theory and Practice (context) - Kulisch, Miranker - 1981
46 No silver bullet (context) - Brooks - 1986
41 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1989
41 Proofs and Refutation (context) - Lakatos - 1976
38 Software Manual for the Elementary Functions (context) - Cody, Waite - 1980
35 Out of the Crisis (context) - Deming - 1986
34 Intuitionism: an introduction (context) - Heyting - 1971
34 Numerical methods for scientists and engineers (context) - Hamming - 1973
29 A categorical approach to general systems theory (context) - Goguen, Ginali - 1978
28 Computer Related Risks (context) - Neumann - 1995
26 The Mythical Man-Month : Essays on Software Engineering (context) - Brooks - 1995
23 Floating Point Computations (context) - Sterbenz - 1974
22 Faster numerical algorithms via exception handling - Demmel, Li - 1994
21 Program verification: the very idea (context) - Fetzer - 1988
16 Software risk management (context) - Boehm, DeMarco - 1997
16 Symbolic evaluation and analysis of programs (context) - Cheatham, Holloway et al. - 1979
13 Software safety: What (context) - Leveson - 1986
12 Zur Deutung der intuitionistischen Logik (context) - Kolmogoroff - 1932
12 The Art of Software Testing (context) - Meyers - 1979
12 Normal Accidents (context) - Perrow - 1984
12 and computer science: At a crossroads (context) - Stevenson, computational - 1994
12 Philosophy of Mathematics: selected readings (context) - Benacerraf, Putnam - 1983
12 machar: A subroutine to dynamically determine machine parame.. (context) - Cody - 1988
11 Real Computing Made Real: Preventing Errors in Scientific an.. (context) - Acton - 1996
11 Number 27 in Cambridge Tracts in Theoretical Computer Scienc.. (context) - Hesselink, Recursion et al. - 1992
10 Computability and noncomputability in classical analysis (context) - Pour-El, Richards - 1983
9 Developing Software for HighIntegrity and Safety Critical Sy.. (context) - Hatton - 1995
8 Wiley Teubner Series in Computer Science (context) - Loeckx, Sieber et al. - 1984
7 High-integrity software (context) - Sennett - 1989
7 Designing for software testability using automated oracles - Bieman - 1992
7 Investigating the influence of formal methods (context) - Pfleeger, Hatton - 1997
7 Refinement complements verification and validation (context) - Craw - 1996
7 Simulation Validation: A Confidence Assessment Methodology (context) - Knepell, Arangno - 1993
6 Specification of software quality attributes (context) - Bowen, Wigle et al. - 1985
6 Seminumerical Algorithms of The Art of Computer Programming (context) - Knuth - 1969
6 Abstract computability and its relation to the general purpo.. (context) - Pour-El - 1974
6 Automatic generation of self-metric software (context) - Stucki - 1973
6 The Day the Phones Stopped (context) - Lee - 1992
6 Scientific American (context) - Littlewood, Stringini et al. - 1992
5 A software architecture of collaborating agents for solving .. - Drashansky - 1995
5 Workshop on problem-solving environments: findings and recom.. (context) - Gallopoulos, Houstis et al. - 1995
4 Mathematics: The loss of certainty (context) - Kline - 1980
4 The Principles of Scientific Thinking (context) - Harr'e - 1970
4 How accurate is scientific software (context) - Hatton, Roberts - 1994
3 Introduction and afterword (context) - Suppe - 1977
3 Applicability of software validation techniques to scientifi.. (context) - Howden - 1980
3 Software engineering frontiers in computational science and .. - Stevenson - 1995
3 Foundations of Mathematics (context) - Hatcher - 1968
3 The softlab experience: Building virtual laboratories for co.. (context) - Catlin, Gaitatzes et al. - 1997
3 Pdelab: An object-oriented framework for building problem so.. (context) - Catlin, Chui et al. - 1994
2 What should computer scientists teach to physical scientists.. (context) - Wilson - 1996
2 Noncomputability in analysis and physics: a complete determi.. (context) - Pour-El, Richards - 1983
2 Adding formal specifications to a proven v&v process for sys.. - Hagar, Bieman - 1995
2 Omega Perspectives in Mathematical Logic (context) - Pour-El, Richards et al. - 1989
2 Computational verifiability and feasibility of the asci prog.. (context) - Gustafson - 1998
2 Towards problem solving environments for high performance co.. (context) - Cornea-Hasegan, Costian et al. - 1994
2 What is computational knowledge and how do we acquire it - Stevenson - 1997
2 What is computational knowledge and how do we acquire it - Stevenson
2 Formulated problem verification as an explicit requirement o.. (context) - Balci, Nance - 1985
2 Models and Methods in the Philosophy of Science (context) - Suppes - 1993
2 A systems approach to software testing and reliability (context) - Hagar - 1992
1 Compiler support for floating point computation (context) - Famum - 1988
1 IEEE Computational Science & Engineering (context) - Creating - 1998
1 testing and documentation of mathematical software (context) - Read, Hopper - 1980
1 Napss - a numerical analysis problem solving system (context) - Rice, Rosen - 1966
1 Total Quality Management Basics: A Primer for Technicians (context) - Richardson - 1997
1 The numerical testing of integral equation routines (context) - Riddell, Delves - 1980
1 Number 2 in Studies in Computational Mathematics (context) - Brezinski, Theory - 1991
1 and Validated Numerics (context) - GAMM, on et al. - 1998
1 The logical foundations of validation (context) - Stevenson - 1999
1 Using formal specifications as test oracles for system criti.. (context) - Hagar, Bieman - 1996
1 Measuring software reliability (context) - Pfleeger - 1992
1 Portable Programming (context) - Wallis - 1982
1 Pythia expert system (context) - Weerawarana, Houstis et al. - 1997
1 Roundoff error and the patriot missile (context) - Skeel - 1992
1 Reliability and Risk Analysis: What Every Engineer Should Kn.. (context) - Modarres - 1993
1 he Capability Maturity Model : Guidelines for Improving the .. (context) - Paulk, Weber et al. - 1995
1 and accreditation or advanced distributed simulation (context) - Page, Canova et al. - 1997
1 reasons for not proving programs correct: A survey - Stevenson - 1990
1 A bibliography of simulation (context) - Balci, Sargent - 1984
1 A system to generate and symbolically execute programs (context) - Clarke - 1976
1 Models in software development and evolution (context) - Lehman - 1993
1 IEEE Computational Science and Engineering (context) - Hatton, experiments et al. - 1997
1 A process for preventing software hazards (context) - Connolly - 1993
1 Functors and categories of Banach spaces: tensor products (context) - Michor - 1978
1 The use of case tools as an aid to the verification of compl.. (context) - Gledhill - 1994
1 Transactions of the society for computer simulation (context) - Balci, simulation et al. - 1997
1 Enhanced environments for the development and validation of .. (context) - Murray-Smith - 1995
1 ellpack: A problem solving environment for pde based applica.. (context) - Houstis, Rice et al. - 1996
1 Thoughts on the IEEE CS workshop at Purdue (context) - Stevenson, CSE - 1997
1 Validation of scientific programs (context) - Howden - 1982
1 Computer as thinker/doer: Problem-solving environments for c.. (context) - Gallopoulos, Houstis et al. - 1994
1 ACM Software Engineering Notes (context) - Moody, an - 1992
1 Numerical Methods That (context) - Acton - 1970
1 Testing the port utilities (context) - Fox, Hall et al. - 1978
1 Lapack and ieee arithmetic (context) - Demmel - 1998
1 Computing Methods For Scientists and Engineers (context) - Fox, Mayers - 1968
1 Techniques of static program analysis (context) - Fosdick - 1980
1 SciAgents --- an agent based environment for distribute coop.. (context) - Drashansky, Joshi et al. - 1995
1 National Aeronautics and Space Administration (context) - standard - 1992
1 Static analysis and dynamic testing of computer software (context) - Fairley - 1978
Documents on the same site (http://cyclone.cs.clemson.edu/~steve/resint.html): More
Software Engineering Frontiers in Computational Science and.. - Stevenson (1995) (Correct)
Science, Computational Science and Computer Science: At a.. - Stevenson (1993) (Correct)
What Is Computational Knowledge And How Do We Acquire It? - Stevenson (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC