As a Senior Lecturer in Computer and Information
Science and a participant in the OSU Reusable
Software Research Group, I seek to serve as an advisor or co-advisor to some
Europa students. For more information, please see my
official home page.
I would be glad to learn about any research area that might interest a
student. My expertise is in specifying software components and reasoning
whether implementations satisfy their specifications. I'm also interested
in the theoretical foundations of computer science.
All of the Software Component Engineering courses need objectively-graded (i.e., easily-graded) examination questions. These courses need (in order of preference) multiple choice, matching, and true/false questions. Some educational research has indicated that many (all or most?) course objectives can be effectively tested using multiple choice questions.
Are_In_Order_At and Exchange_At extensions of Array and Static_Array, including checking versions.
Last modified: Monday, March 10, 2003 04:01:36 PM