Clyde Ruby

According to our database, Clyde Ruby authored at least 7 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

Preliminary design of JML: a behavioral interface specification language for java.

Gary T. Leavens, Albert L. Baker, Clyde Ruby

ACM SIGSOFT Softw. Eng. Notes, 2006

2005

How the design of JML accommodates both runtime assertion checking and formal verification.

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok

Sci. Comput. Program., 2005

2002

How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok

Proceedings of the Formal Methods for Components and Objects, 2002

2000

Safely creating correct subclasses without seeing superclass code.

Clyde Ruby, Gary T. Leavens

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Safely creating correct subclasses without seeing superclass code.

Clyde Ruby

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

JML (poster session): notations and tools supporting detailed design in Java.

Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

1999

JML: A Notation for Detailed Design.

Gary T. Leavens, Albert L. Baker, Clyde Ruby

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999