Clyde Ruby

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Gary T. Leavens, Albert L. Baker, Clyde Ruby
Preliminary design of JML: a behavioral interface specification language for java. ACM SIGSOFT Softw. Eng. Notes 31 (3) (2006)
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55 (1-3) (2005)
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. FMCO (2002)
Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs
JML (poster session): notations and tools supporting detailed design in Java. OOPSLA Addendum (2000)
Clyde Ruby, Gary T. Leavens
Safely creating correct subclasses without seeing superclass code. OOPSLA (2000)
Clyde Ruby
Safely creating correct subclasses without seeing superclass code. OOPSLA Addendum (2000)