dblp.uni-trier.dewww.uni-trier.de

Clyde Ruby Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
4EEGary 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)
2005
3EEGary 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)
2002
2EEGary 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
2000
1EEClyde Ruby, Gary T. Leavens: Safely creating correct subclasses without seeing superclass code. OOPSLA 2000: 208-228

Coauthor Index

1Albert L. Baker [4]
2Yoonsik Cheon [2] [3]
3Curtis Clifton [2] [3]
4David R. Cok [2] [3]
5Gary T. Leavens [1] [2] [3] [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)