My Papers Presented at Professional Meetings
Note taking and the tablet PC E-mail

Scott Turner, Kibum Kim, Manuel A. Pérez-Quiñones, and Stephen H. Edwards. Note taking and the tablet PC. Presented at the First Workshop on the Impact of Pen-based Technology on Education, West Lafayette, Indiana, April 6-7, 2006, 5 pp.

Read more...
 
Using industrial tools to test and grade Resolve/C++ programs E-mail

Stephen H. Edwards. Using industrial tools to test and grade Resolve/C++ programs. In Proceedings of the Resolve Workshop 2006, Technical Report #06-10, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, April 2006, pp. 6-12.

Read more...
 
IDE support for test-driven development and automated grading in both Java and C++ E-mail

Anthony Allowatt and Stephen H. Edwards. IDE support for test-driven development and automated grading in both Java and C++. In Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology Exchange (San Diego, California, October 16 - 17, 2005). ACM Press, New York, NY, pp. 100-104.

Read more...
 
On the analysis and detection of collaborative behavior conflicts within the DEVS formalism E-mail

Levent Yilmaz and Stephen Edwards. On the analysis and detection of collaborative behavior conflicts within the DEVS formalism. Invited paper in the Proceedings of the 2004 UK Simulation Workshop, University of Birmingham, UK, 2004.

 
Using wrappers for run-time verification of Java Beans E-mail

Vladimir Glina and Stephen H. Edwards. Using wrappers to add run-time verification capability to Java Beans. In SAVCBS 2004: Specification and Verification of Component Based Systems, Technical Report #04-09, Dept. of Computer Science, Iowa State University, Ames, IA, August 2004, pp. 122-125.

Read more...
 
A language providing automated self-testing for formally specified components E-mail

Roy P. Tan and Stephen H. Edwards. Designing a programming language to provide automated self-testing for formally specified software components. In SAVCBS 2004: Specification and Verification of Component Based Systems, Technical Report \#04-09, Dept. of Computer Science, Iowa State University, Ames, IA, August 2004, pp. 130-133.

 
Experiences evaluating the effectiveness of JML-JUnit testing E-mail

Roy P. Tan and Stephen H. Edwards. Experiences evaluating the effectiveness of JML-JUnit testing. SIGSOFT Software Engineering Notes, 29(5): 1-4, Sep. 2004. Section: Proceedings of the Workshop on Empirical Research in Software Testing.

Read more...
 
Distributed, modular, open control architecture E-mail

Jinghong Guo, Stephen Edwards, and Dushan Boroyevich. Distributed, modular, open control architecture for power conversion systems. In Proceedings of the CPES 2004 Power Electronics Seminar and NSF/Industry Annual Review, April, 2004.

 
An assertion checking wrapper design for Java E-mail

Roy P. Tan and Stephen H. Edwards. An assertion checking wrapper design for Java. In SAVCBS 2003: Specification and Verification of Component Based Systems, Technical Report #03-11, Dept. of Computer Science, Iowa State University, Ames, IA, August 2003, pp. 29–34.

 
Automatically assessing assignments that use test-driven development E-mail

Stephen H. Edwards. Automatically assessing assignments that use test-driven development. Presented at the 2003 Workshop on Teaching Software Testing, February, 2003.

 
Making the case for assertion checking wrappers E-mail

Stephen H. Edwards. Making the case for assertion checking wrappers. In Proceedings of the RESOLVE Workshop 2002. Technical Report TR-02-11, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, June 2002, pp. 28-42.

 
Specifying and verifying collaborative behavior in component-based systems E-mail

Levent Yilmaz and Stephen H. Edwards. Specifying and verifying collaborative behavior in component-based systems. In Proceedings of the RESOLVE Workshop 2002. Technical Report TR-02-11, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, June 2002, pp. 95-104.

 
Implementing dataflow-based control software for power electronics E-mail

Jinghong Guo, Stephen H. Edwards, and Dushan Borojevic. Implementing dataflow-based control software for power electronics. In Proceedings of the IEEE 9th Workshop on Computers in Power Electronics (COMPEL), 2002.

 
Applying object-oriented techniques in embedded software design E-mail

Sumithra Bhakthavatsalam and Stephen H. Edwards. Applying object-oriented techniques in embedded software design. In Proceedings of the CPES 2002 Power Electronics Seminar and NSF/Industry Annual Review, April, 2002.

 
Protocol design of dual ring PESNet (DRPESNet) E-mail

Jerry Francis, Jinghong Guo, and Stephen H. Edwards. Protocol design of dual ring PESNet (DRPESNet). In Proceedings of the CPES 2002 Power Electronics Seminar and NSF/Industry Annual Review, April, 2002.

 
Designing reusable, reconfigurable control software for power electronics systems E-mail

Jinghong Guo, Stephen Edwards, and Dushan Boroyevich. Designing reusable, reconfigurable control software for power electronics systems. In Proceedings of the CPES 2002 Power Electronics Seminar and NSF/Industry Annual Review, April, 2002.

 
DARK: Designing a high performance micro-kernel for power electronics controllers E-mail

Kuljeet Singh and Stephen H. Edwards. DARK: Designing a high performance micro-kernel for power electronics controllers. In Proceedings of the CPES 2002 Power Electronics Seminar and NSF/Industry Annual Review, April, 2002.

 
Toward reflective metadata wrappers for formally specified software components E-mail

Stephen H. Edwards. Toward reflective metadata wrappers for formally specified software components. In Proceedings of the Workshop on Specification and Verification of Component Based Systems, held in conjunction with OOPSLA 2001, October, 2001.

 
Assessing the perceptions of the reuse community E-mail

Stephen H. Edwards. Assessing the perceptions of the reuse community. In Proceedings of the Ninth Annual Workshop on Software Reuse, January, 1999.

 
Software component relationships E-mail

Stephen H. Edwards, David S. Gibson, Bruce W. Weide, and Sergey Zhupanov. Software component relationships. In Proceedings of the Eighth Annual Workshop on Software Reuse, March, 1997.

 
Good mental models are necessary for understandable software E-mail

Stephen H. Edwards. Good mental models are necessary for understandable software. In Proceedings of the Seventh Annual Workshop on Software Reuse, August, 1995, 7 pp.

 
Inheritance: One mechanism, many conflicting uses E-mail

Stephen H. Edwards. Inheritance: One mechanism, many conflicting uses. In Proceedings of the Sixth Annual Workshop on Software Reuse, November, 1993, 7 pp.

 
Toward a model of reusable software subsystems E-mail

Stephen H. Edwards. Toward a model of reusable software subsystems. In Larry Latour, Steve Philbrick, and Mark Stevens, eds., Proceedings of the Fifth Annual Workshop on Software Reuse, October, 1992, 8 pp.

 
Common interface models for components are necessary to support composability E-mail

Stephen H. Edwards. Common interface models for components are necessary to support composability. In Larry Latour, Steve Philbrick, and Chandu Bhavsar, eds., Proceedings of the Fourth Annual Workshop on Software Reuse, November, 1991, 9 pp.

 
The 3C model of reusable software components E-mail

Stephen H. Edwards. The 3C model of reusable software components. In Proceedings of the Third Annual Workshop: Methods and Tools for Reuse, June, 1990, 5 pp.

 
Ada and RESOLVE: toward more reusable Ada components E-mail

Stephen H. Edwards. Ada and RESOLVE: toward more reusable Ada components. In James Baldo, Jr., ed., Reuse In Practice Workshop Summary, pp. 141-149, Alexandria, VA, April, 1990, IDA Document D-754, Institute for Defense Analyses.

 
A conceptual model for reusable components E-mail

Stephen H. Edwards. A conceptual model for reusable components. Accepted position paper for the "Workshop on Language Issues for Reuse: Ada for the 90's," September, 1989.