External Links

    Journal: IEEE Trans. Software Eng.

    Volume 20, Issue 10

    749 -- 0Richard A. DeMillo. Introduction to the Special Section
    750 -- 759Yabo Wang, David Lorge Parnas. Simulating the Behavior of Software Modules by Trace Rewriting
    760 -- 773Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein. A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
    774 -- 784Marc G. Bradac, Dewayne E. Perry, Lawrence G. Votta. Prototyping a Process Monitoring Experiment
    785 -- 797Les Hatton, Andy Roberts. How Accurate Is Scientific Software?
    798 -- 811Daniel L. Kiskis, Kang G. Shin. SWSL: A Synthetic Workload Specification Language for Real-Time Systems
    812 -- 824James A. Whittaker, Michael G. Thomason. A Markov Chain Model for Statistical Software Testing
    runs on