Clyde Ruby – Publications
Clyde Ruby. Modular subclass verification: Safely creating correct subclasses without superclass code. PhD Thesis, Iowa State University, 2006. Technical Report TR #06-34
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.
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.
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.
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, 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.
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.
More Information