| Clyde Ruby |
| Assistant Professor of Computer Science |
| Email: |
cruby at mum.edu |
| Work Phone: |
(641) 472-7000 x4324 |
| Home Phone: |
(641) 469-6483 |
Education
Research Interests
Programming language semantics (especially for object-oriented
languages), programming methodology, specification (Larch/C++, Java
Modeling Language [JML]), and verification.
Publications:
Clyde Ruby. Modular subclass verification: Safely creating correct
subclasses without superclass code. Ph.D. Thesis, Iowa State University,
2006. Technical Report TR #06-34 [abstract][PDF]
Gary T. Leavens,
Albert L. Baker, and Clyde Ruby.
Preliminary Design of JML:
A Behavioral Interface Specification Language for Java.
ACM SIGSOFT Software Engineering Notes, 31(3):1-38,
March 2006.
http://doi.acm.org/10.1145/1127878.1127884.
[PDF]
Preliminary version: Iowa State University, Department of Computer Science, TR #98–06k, July 2000.
[postscript]
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton,
Clyde Ruby, and David R. Cok. How the design of JML accommodates both
runtime assertion checking and formal verification. Science of Computer
Programming, 55(1-3):185-205, Elsevier, 2005. http://dx.doi.org/10.1016/j.scico.2004.05.015.
Preprint: Department of Computer Science, Iowa State University, TR #03-04a, revised March 2004. [PDF]
Clyde Ruby and Gary T. Leavens. Safely Creating Correct Subclasses without Seeing Superclass Code. In OOPSLA 2000 Conference Proceedings, pages 208–228. Volume 35, number 10 of ACM SIGPLAN Notices,
October 2000. Also Department of Computer Science, Iowa State
University, TR #00-05d, April 2000, revised April, June, July 2000.
[abstract]
[postscript]
[PDF]
Clyde Ruby. Safely Creating Correct Subclasses without Seeing Superclass Code. In OOPSLA 2000 Companion: Doctoral Symposium, Minneapolis, Minnesota, October 2000, pages 155–156.
Gary T. Leavens,
K. Rustan M. Leino,
Erik Poll,
Clyde Ruby,
and
Bart Jacobs.
JML: notations and tools supporting detailed design in Java.
In OOPSLA '00 Companion, Minneapolis, Minnesota, pp. 105-106.
Copyright ACM, 2000.
Also Department of Computer Science, Iowa State University,
TR #00-15, August 2000.
[abstract]
[postscript]
[PDF]
Gary T. Leavens and
Albert L. Baker and Clyde Ruby. JML: A Notation for Detailed Design in Behavioral Specifications of Businesses and Systems, Editors: Haim Kilov and Bernhard Rumpe and Ian Simmonds, 1999, Kluwer Academic Publishers, Boston, pages 175–188.
Gary T. Leavens and
Albert L. Baker and Clyde Ruby. JML: a Java Modeling Language, in Formal Underpinnings of Java Workshop (at OOPSLA ’98), October 1998.
[html]
Gary T. Leavens
and Clyde Ruby. Specification Facets for More Precise, Focused
Documentation. In the Proceedings of the Eighth Annual Workshop on
Software Reuse (WISR8), Columbus, Ohio, March 1997. Also Department of
Computer Science, Iowa State University, TR #97–04, January 1997. [abstract]
[postscript]
More Information