Clyde Ruby (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Gary T. Leavens, Albert L. Baker, Clyde Ruby: Preliminary design of JML: a behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes 31(3): 1-38 (2006)

3 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): 185-208 (2005)

2 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: 262-284

1 Clyde Ruby, Gary T. Leavens: Safely creating correct subclasses without seeing superclass code. OOPSLA 2000: 208-228

Selection of 4 from 4 records - Clyde Ruby has 5 coauthors

4		Gary T. Leavens, Albert L. Baker, Clyde Ruby: Preliminary design of JML: a behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes 31(3): 1-38 (2006)
3		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): 185-208 (2005)
2		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: 262-284
1		Clyde Ruby, Gary T. Leavens: Safely creating correct subclasses without seeing superclass code. OOPSLA 2000: 208-228