Stephen H. Edwards, editor. Proceedings of the RESOLVE Workshop 2006. Technical Report #06-10, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, April 2006, 62 pp.

Stephen H. Edwards, editor. SAVCBS 2005: Specification and Verification of Component Based Systems. Technical Report #05-19, Dept. of Computer Science, Iowa State University, Ames, IA, September 2005.

Stephen H. Edwards, editor. SAVCBS 2004: Specification and Verification of Component Based Systems. Technical Report #04-09, Dept. of Computer Science, Iowa State University, Ames, IA, August 2004.

Stephen H. Edwards, editor. SAVCBS 2003: Specification and Verification of Component Based Systems. Technical Report #03-11, Dept. of Computer Science, Iowa State University, Ames, IA, August 2003.

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, and Stephen Edwards. Model variables: Cleanly supporting abstraction in Design by Contract. Technical Report #03-10, Dept. of Computer Science, Iowa State University, Ame, IA, March 2003.

Stephen H. Edwards, editor. Proceedings of the RESOLVE Workshop 2002. Technical Report TR-02-11, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, June 2002.

Stephen H. Edwards. Assessing the perceptions of the reuse community ACM. ACM SIGSOFT Software Engineering Notes, May/June, 1999.

Joseph L. Linn, Cy D. Ardoin, Cathy Jo Linn, Stephen H. Edwards, Michael R. Kappel, and John Salasin. Strategic Defense Initiative Architecture Dataflow Modeling Technique, Version 1.5. IDA Paper P-2035, Institute for Defense Analyses, Alexandria, VA, 1988.

Joseph L. Linn, Cy D. Ardoin, Cathy Jo Linn, Stephen H. Edwards, and Michael R. Kappel. A Simple Example of an SADMT Architecture Specification, Version 1.5. IDA Paper P-2036, Institute for Defense Analyses, Alexandria, VA, 1988.

Stephen H. Edwards and Bruce W. Weide. WISR8: 8th Annual Workshop on Software Reuse; Summary and working group reports ACM. ACM SIGSOFT Software Engineering Notes, September/October 1997.

Tim Long, Bruce Weide, Paolo Bucci, David Gibson, Joseph Hollingsworth, Murali Sitaraman, and Stephen Edwards. Providing Intellectual Focus to CS1/CS2. Technical report OSU-CISRC-9/97-TR42, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, September, 1997.

Stephen H. Edwards. Modeling Modular Software Structure for Human Understanding. Technical report OSU-CISRC-6/96-TR34, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, June, 1996.

Stephen H. Edwards. A Formal Model of Software Subsystems. Ph.D. dissertation, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, March, 1995. Available as technical report OSU-CISRC-4/95-TR14.

Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, and Bruce W. Weide. Specifying components in RESOLVE. ACM SIGSOFT Software Engineering Notes, 19(4):29-39, October, 1994.

Stephen H. Edwards. Annotated bibliography of RESOLVE research. ACM SIGSOFT Software Engineering Notes, 19(4):64-67, October, 1994.

Stephen H. Edwards, ed. The Reusable Software Research Group Archive Handbook. The Ohio State University, Columbus, OH, 1994, 424 pp.

Stephen H. Edwards. The Ada Temporal Reasoning System. IDA Paper P-2324, Institute for Defense Analyses, Alexandria, VA, 1990.

Stephen H. Edwards. An Approach for Constructing Reusable Software Components in Ada. IDA Paper P-2378, Institute for Defense Analyses, Alexandria, VA, September, 1990.

John Kramer, Stephen Edwards, Cathy Jo Linn, Terry Mayfield, Al Gschwendtner, Shen Shey, and Danny Cohen. "White Paper on the Simulation of Smart Weapon Systems." White paper prepared for the DARPA/ISTO ISAT Study Group, August, 1989.

Stephen H. Edwards. The Ada Recompilation Containment Tool. IDA Paper P-2099, Institute for Defense Analyses, Alexandria, VA, July, 1988.