D. E. Stevenson. Programming Language Principles by Example. Boca Raton, Fl: Auerbach Publications. October, 2006. 0-8493-7016-7.
DMSO Archive Site David C. Gross, D. E. Stevenson, Simone Youngblood, and Bernard Zeigler eds. V & V State of the Art: Proceedings of Foundations 2004, a Workshop on Model and Simulation Verification and Validation for the 21st Century, October 13--15, 2004, Arizona State University, Tempe, AZ. San Diego, CA: The Society for Modeling and Simulation, 2005.
CD Contents Dale K. Pace, D. E. Stevenson, and Simone Youngblood, eds. V & V State of the Art: Proceedings of Foundations '02, a Workshop on Model and Simulation Verification and Validation for the 21st Century, October 22-24, 2002, Laurel, MD. San Diego, CA: The Society for Modeling and Simulation, 2002. ISBN 1-56555-256-3. CD only.
Dean Bushey and D. E. Stevenson. Problem-Solving and Critical Thinking Skills of Experts and
Their Importance in Computer Science Education Teragrid 2007. Accepted.
Dean Bushey and D. E. Stevenson. Intermediate results in expertise in computational science (working title). FECS 2007. Accepted.
PDF D. E. Stevenson and Jennifer Parham. "Problem-Based and Case-Based Methods in Computer Science." The Creative College Teaching Journal. 3 (1). 53-66.
PDF D. E. Stevenson, ``Free Programming''. Journal of Computing Sciences in Colleges. 16(2). Dec, 2002. 295-305.
PDF D. E. Stevenson. ``The Michelson-Morley Experiment as a Case Study in Validation.'' Computers in Science and Engineering. Nov-Dec, 2002. 40-51
PDF D. E. Stevenson, ``A Critical Look at Quality in Large Scale Simulations,'' Computing in Science and Engineering, May-Jun., 1999, 53-63.
D. E. Stevenson, review of Great Ideas in Computer Science: A Gentle Introduction in International Journal of Scientific Programming, 6(4), 1998. 399-400.
D. E. Stevenson, ``Introducing Computational Science Methods Using Parallax'', SIAM Review. 40(1). Mar, 1998. 81-86.
D. E. Stevenson, ``How Goes CS&E: Thoughts on the IEEE CS Workshop at Purdue. IEEE Computational Science and Engineering, 4(2), Apr-Jun, 1997. 49-54.
D. E. Stevenson, ``Science, Computational Science, and Computer Science: At A Crossroad.'' Comm. ACM, 37(12). 1994. 85-96.
D. E. Stevenson, L. K. Ammons, W. G. Crosmun, A. Jackson, and G. L. Raj. ``A Vector C and Fortran Compiler for the FPS T-Series: experiences with compiling to occam I'', Software - Practice & Experience, vol. 26. May, 1992. 371-390.
R. Geist, D. E. Stevenson, and R. A. Allen, ``The Perceived Effect of Breakdown and Repair on the Performance of Multiprocessor Systems,'' Performance Evaluation 6, 1986, 249-260.
Jack D. Welsh, Dennis E. Stevenson, J. Rainer Poly, and Anthony W. Walker, Jr. ``Intestinal Alkaline Phosphatase Activity in Relation to Age in Humans.'' J. Pediatric Gastroenterolgy 4. 1985. 954-959.
D. E. Stevenson, D. D. Warner, and T. R. Brown ``BIOBELL - A Simulation System for Biochemistry and Biophysics,'' Computers in Biology and Medicine 14(1), 1984. 35-46.
J. D. Welsh, J. R. Poley, M. Bhatia, and D. E. Stevenson, ``Intestinal Disaccharidase Activities in Relation to Age, Race and Mucosal Damage,'' Gastroenterology, 1978. 847-855.
PDF D. E. Stevenson, "The Problem with Problems in Computational Science and Engineering Problem-Based Learning: The SQS Approach." International Conference on Computational Science Education. 2006.
PDF D. E. Stevenson, "Reprise of Foundations 2004". In Proceedings of Summer Computer Simulation Conference, 24-28 July, Philadelphia, PA. San Diego,CA: SCS. 2005
PDF. D. E. Stevenson. From DEVS to Formal Methods: A Categorical Approach. In Proceedings of SCSC 03, Summer Simulation Multiconference, Montreal, Canada, July 20-24, 2003. San Diego, CA: SCS. 2003.Powerpoint Presentation
PDF. D. E. Stevenson. ``Research Issues in Verification and Validation from Foundations'02.'' In Proceedings of SCSC '03. San Diego: SCS. 2003.Powerpoint Presentation
WordD. E. Stevenson. ``Problem Solving Principles and Free-Writing Techniques in a Computer Science Class.'' ACMSE '03 -- ACM Southeast Conference, 41st ACM Southeast Regional Conference, Savannah, GA, March, 2003.'' 392-396.
PDF D. E. Stevenson. ``Verification and Validation in Complex Systems.'' In Intelligent Engineering Systems through Artificial Neural Networks. ASME Press, 2002. 159-164.
D. E. Stevenson, ``Interdisciplinary Knowledge for Education in Modeling and Simulation.'' Proc. of SCSC '02, San Diego, CA, 14-18 Jul. 2002. San Diego: SCS. CD version.
PDF D. E. Stevenson, ``An Evidence-Based Approach to Fidelity''. Proc. of SCSC '01, Orlando, FL, 16-18 Jul. 2001. Available on CD, which has no page numbers.
PDF D. E. Stevenson. ``Exploring an Information-Based Approach to Computational Complexity.'' Proc. of the 38th Ann. ACM Southeast Conf., Clemson, SC, Apr. 7-8, 2000. 42-50.
D. E. Stevenson. ``A Foundation for Validation: The Michelson-Morley Experiment'', 13th European Simulation Multi-conference, vol. 1, Warsaw Poland, Jun. 1-4, 1999. 269-275 .
Myron Ginsberg, Bowen Alpern, Charles Grassl, Thomas Sterling, and D. E. Stevenson. Panel: Are HPC Hardware and Software Paradigms Converging or Diverging. Adrian Tentner, ed. Proc. High-Performance Computing (HPC '98). Boston, MA: Apr. 5-9, 1998. The Society for Computer Simulation. 1998. 7-12.
R. H. Nowaczyk and D. E. Stevenson. ``Perceptual Issues in Understanding Higher Dimensional Optimizations.'' Sixth AIAA/USAF/NASA/ISSMO Symp. on Multidisciplinary Analysis and Optimization, Sep. 4-6, 1996. 1047-1052. Paper 96-4100.
G. Fadel, M. Bridgewood, R. Figliola, J. Greenstein, M. Kostrevea, R. H. Nowaczyk, and D. E. Stevenson, ``Undergraduate MDA Curriculum at Clemson University.'' Proc. Sixth AIAA/USAF/ NASA/ISSMO Symp. on Multidisciplinary Analysis and Optimization, Sep. 4-6, 1996. 813-819. Paper 96-4066.
D. E. Stevenson. ``The Constructive Foundations of the System eb''. Proc. 34th Ann. Southeast Conf., Tuskegee, Alabama, Apr. 17-19, 1996. 333-340.
D. E. Stevenson, ``Software Engineering Frontiers in Computational Science and Engineering'', Proc. 33d Ann. Southeast Conf., Clemson, SC, Mar. 17-18, 1995,
120-127.D. E. Stevenson, ``Science, Computational Science, and Computer Science: At A Crossroads'', Proc. Computer Science Conf. Indianapolis, IN. 1993. 85-96
D. E. Stevenson, ``Frontiers for Computer Science in Computational Science,'' Proc. of 30th Ann. ACM Southeast Conf., Raleigh, NC, Apr. 8-10, 1992. 7-14.
D. E. Stevenson and R. M. Panoff, ``Building the Computational Science Program at Clemson,'' Supercomputing '90, Dec., 1990, 336-343.
Raghu Toppur, J. M Westall, and D. E. Stevenson, ``Performance of Mutual Exclusion Algorithms on Hypercubes'', DMCC5, Charleston, SC, Apr. 9-12, 1990.
D. E. Stevenson, ``Experiences in Language Development for Distributed Computing,'' Hypercube Concurrent Computers and Applications, Monterey, CA, Mar. 7-9, 1989. 561-564.
Abbas Youssefi and D. E. Stevenson, ``Parallel Processing Languages,'' Proc. ACM Southeast Conf., Birmingham, AL, 1988, 202-210.
D. E. Stevenson, ``A Parallel Implementation of Neville's Algorithm,'' in Computational Atomic and Nuclear Physics at One Gigaflop, Oak Ridge National Laboratory: Apr. 14-16, 1988. Nuclear Science Research Conference Series, Vol 16, C. Bottcher, M. R. Strayer, and J. B. McGrory, eds. NY: Harwod Academic Publishers, 1989. 221-228.
D. E. Stevenson, ``A Canonical Form for Parallel Programs,'' Hypercube Concurrent Computers and Applications, Pasadena, CA, Jan. 19-20, 1988. 536-540.
D. E. Stevenson, ``Considerations in the System Design of Scientific Supercomputer Applications'', Proc. 3rd International Conf. on Supercomputing, Volume III, Boston, MA, May 15-19, 1988. 352-357.
R. H. Nowaczyk, A. C. Connor, D. E. Stevenson, and E. O. Hare, ``Developing a Prediction Equation for Success in Introductory Computer Science Course: A First Attempt'', NECC85. 1985. 271-278.
D. E. Stevenson, ``Modelers Workbenches: Concepts for developing friendly simulation systems.'' ACM Southeastern Conf., Apr. 25-27, 1984. 51-55.
``Problem Solving Principles and Free-Writing Techniques in A Computer Science Class'', ACMSE 2003, Savannah Georgia. April, 2003.
``Formal Methods in Validation.'' Proc. of SCSC '02, San Diego, CA, 14-18. Jul. 2002. San Diego, CA: Society for Computer Simulation. CD version.
``How Do You Know Your Simulation is Right?''. First SIAM Conference on Computational Science and Engineering, Washington, DC, Sep 20-24, 2000.
``Computational Science and Engineering: Science in the 90s'', International Conf. on Mathematics and the Web, hosted by Department of Mathematics, Stockholm University, Stockholm, Sweden, Oct 22-27, 1995.
``A Computationalist Looks at the Web'', International Conf. on Mathematics and the Web, hosted by Department of Mathematics, Stockholm University, Stockholm, Sweden, Oct 22-27, 1995.
D. E. Stevenson, ``Developing a constructive theory of Euclidean geometry: the first twenty-eight theorems'' Bull. ASL. 2(4). 1996. 463-464.
D. E. Stevenson, ``Encapsulating Semantics: An approach to unifying semantic concepts,'' Conf. on the Mathematical Foundations of Programming Semantics, Kansas State University, Apr. 11-12, 1985. 1 page. (Abstract only)
Eduardo D. Sontag and D. E. Stevenson, ``Remarks on Multiserver Multipriority Queuing Models Related to MVS Job Scheduling,'' Jan., 1981. 20 pages.
``Choosing Control Interval Size in VSAM,'' Mar., 1980. 8 pages.
``ESCHER Physical Input-Output Subsystem,'' Feb., 1980. 16 pages.
``Estimating Resource Requirements Via Steady State Probabilities,'' Feb., 1980. 18 pages.
``The ESCHER System-Introduction,'' Dec., 1979. 16 pages.
``The Number of Data Characters per Physical Device Record in Direct Access Files,'' Sep., 1979. 3 pages.
``A Continuum of Buffer Replacement Strategies,'' Jan., 1977. 12 pages.
``Database Management Primitives and the SLIPDISC System,'' Mar., 1977. 24 pages.
``Database Management Primitives and their Relation to Operating Systems,'' Jul., 1975. 17 pages.
``TESTBED - A Proposed Approach to Computer Software Development,'' Jun., 1975. 23 pages.
R. M. Panoff and D. E. Stevenson, ``The National Computational Science Institute'' Consortium for Computing in Small Colleges Conference CCSC '01, David Lipscomb University, Nashville TN, Nov 1-2, 2001.
``An Evidence-Based Approach to Validation''. Sandia National laboratory. Apr. 6, 2001.
``A Unified Framework for VV$amp;A Research''. Summer Computer Simulation Conference. The Society for Computer Simulation International, Vancouver, BC, Canada, Jul. 18, 2000.
``Validation and Verification: A CSE View''. Sandia National Laboratories, Jan. 23, 1998.
``Computational Science and Engineering for Computer Science,'' Vanderbilt University, Mar. 15, 1996.
``Applications of Geometry at Clemson,'' Geometry Center, University of Minnesota, Oct. 7, 1994.
``Computational Science and Engineering,'' George Washington University, Mar. 15, 1995.
``Computational Science at Clemson,'' Department of Energy Conf. on High Performance Computing Education, Albuquerque, NM, Feb 11, 1993.
``Research Frontiers for Computer Science in Computational Science,'' Virginia Tech, Apr. 8, 1992.
R. H. Nowaczyk, J. S. Greenstein, G. Fadel, D. E. Stevenson. ``Assessing Collaborative Work in the Science and Engineering Disciplines.'' South Carolina Higher Education Assessment Conf., Myrtle Beach, SC, Nov, 1996.
`` Developing a Constructive Theory of Euclidean Geometry: The First 28 Theorems.'' Ann. Meeting of the Association for Symbolic Logic, Mar. 8-12, 1996.
``1001 Reasons for Not Proving Your Programs Correct: a survey,'' accepted by 5th Conf. in Philosophy and Computer Science, 8-12 Aug., 1990, Stanford University. (Proceedings never published.)
``Computational Science at Clemson,'' Science and Technology Week, Benedict College, Apr. 6, 1990, Columbia, SC.
Tutorial on Distributed Processing, University of South Carolina Computer Science Symposium, Apr. 7-8, 1989.
``The nC Programming Language,'' 35th Ann. Meeting of SIAM, Denver, CO, Oct. 12-15, 1987. (No Proceedings.)
``The nC Programming Language,'' Array Users Group, Montreal, Canada, Apr. 27-29, 1987.
[PDF] ``Retaining Best and Brightest IT Talent'' InnoVenture Conference, 27-28 March 2006.
``Skills versus Concepts: Does Industry Know What is Best?'', ACM Southeast Conference, Mar. 17, 2001, University of Georgia.
Computational Science and Engineering, SIGCSE Meeting, Mar. 10,
2000.Computational science and engineering, SIGCSE Meeting, Mar. 2,
1995.Computational science education, Scalable High-Performance Computers Conf., Williamsburg, VA, Apr. 26-29. 1992.
Computational science education, ACM Regional Conf. Raleigh, NC, Apr. 9-10, 1992.
Education in Supercomputing, ``Supercomputing '91'', Albuquerque, NM, Nov 18-22, 1991.
D. E. Stevenson, ``Principles for a Constructive Foundation to Euclidean Geometry.'' TR number pending.
D. E. Stevenson and Mark. K. Smotherman, ``Counting in Floating Point Considered Harmful,'' submitted to SIAM Review. TR number pending.
D. E. Stevenson, ``What Is Computational Knowledge and How Do We Acquire It?'' submitted to the PreComet, the IFIPS Working Group on Programming Theory.
``A Constructive Theory of Euclidean Geometry: The first twenty-eight theorems,'' TR 95-116. 1995. 15 pages.
``Challenging Computer Oriented High School Students with Non-Euclidean Geometry'' TR 95-109. 1995. 6 pages.
``W2C: A WAM to C Assembler''. TR 95-102. 1995. 7 pages.
``Software Engineering Frontiers in Computational Science and Engineering.'' TR 95-101. 1995. 7 pages.
Nadakumar Sankaran, H. Grossman, D. E. Stevenson, and J. B. Green, ``Restricted Permutation Trees: Construction and Semantics''. TR 94-115. 1994. 16 pages.
``A Computational Science Manifesto'', TR 93-113, 1993. 32 pages.
``Computational Structures and Their Use in Modeling Systems,'' Technical Report, Department of Computer Science, Clemson, SC. 1985.
``An Equivalence between Programs and Nets,'' Technical Report, Department of Computer Science, Clemson, SC. 1985.
D. E. Stevenson. ``Formal Definition of Validation.'' SCSC '02, San Diego, CA, 14-18 Jul. 2002.
D. E. Stevenson and Dale Pace, ``Status of Foundations '02.'' Jan. 19, 2001. Defense Modeling and Simulation Office.
``Multidisciplinary Programs at Clemson University,'' SIAM National Conf., Charlotte, NC, Oct. 23-26, 1995. (Poster).
D. E. Stevenson and D. D. Warner conducted a two-day seminar on distributed computing at FPS Corporation in Portland, OR, Apr. 24-27, 1991.
James C. Hite and D. E. Stevenson, ``Rural Development in Thunen Space: Formulation and Testing of a Baseline Model,'' North American Meeting of the Regional Science Association, Boston, MA, Nov. 10, 1990.
``Computational Science at Clemson,'' South Carolina Academy of Sciences Ann. Meeting, Mar. 30, 1990, Charleston, SC.
``A Distributed Kernel for Logic Programming,'', SIAM Conf. on Parallel Processing, Chicago, Dec, 1989. (Poster).
``Issues in the Design of Languages for Parallel Scientific Computing,'' Clemson University Workshop on Parallel Computing, Nov. 18-19, 1987,
``Fortran 9y: Concepts for Parallel Processing,'' SIAM Scientific Computing Conf., Los Angeles, CA, Dec 1 - 4, 1987. (Poster.)
D. E. Stevenson and D. D. Warner, ``The FPS T-Series Hypercube.'' Supercomputer and Networking Conf., George Mason University, Jun. 9-11, 1987.
R. A. Rankin (presenter), J. D. Welsh, D. E. Stevenson, M. Q. Tran and W. R. Griffiths, ``Site of Rebleeding in Patients with Liver Disease,'' presented at The Fourteenth Ann. William Beaumont Gastronintestinal Symposium for Federal Service Physicians, William Beaumont Army Medical Center, El Paso, TX. Mar. 26-28, 1985.
R. Nowaczyk (presenter) and D. E. Stevenson, ``Some Results in Predicting Success in Computer Science Courses,'' Southeastern Psychological Association, Atlanta, GA, Mar., 1985.
D. E. Stevenson. ``A Primer for Validation: The Michelson-Moreley Experiment''. Submitted to special issue of the International Journal of the SCS. 2000.
D. E. Stevenson. ``Problem Based Learning Applied to Programming Instruction''. Submitted to ACM SIGCSE 2001.
The fundamental paper we use in computatational science and engineering education at Shodor Education Foundation and the National Computational Science Institute is 1,2,3,...Infinity, an obvious reference to George Gamov's book.
A collection of good problems in both CSE and computer science.