Searching for authors named "Clyde Ruby" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

Specification Facets for More Precise, Focused Documentation
by Gary Leavens, Gary T. Leavens, Clyde Ruby, Clyde Ruby — In Latour [13
…Specification Facets for More Precise, Focused Documentation Gary T. Leavens and Clyde Ruby TR #97…
Cited by 1 (0 self) – Add To MetaCart

Safely Creating Correct Subclasses without Seeing Superclass Code
by Clyde Ruby, Clyde Ruby, Gary T. Leavens, Gary T. Leavens — 2000 — In OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications
…Safely Creating Correct Subclasses without Seeing Superclass Code Clyde Ruby and Gary T. Leavens…
Cited by 23 (5 self) – Add To MetaCart

Specification Facets for More Precise, Focused Documentation
by Gary Leavens Iowa, Gary T. Leavens, Clyde Ruby — In Latour [13
…) 294-0258 Email: leavens@(email omitted); Clyde Ruby Iowa State University Department of Computer Science…
Add To MetaCart

JML: a Java Modeling Language
by Gary T. Leavens, Albert L. Baker, Clyde Ruby — 1998 — In Formal Underpinnings of Java Workshop (at OOPSLA'98
…JML: a Java Modeling Language Gary T. Leavens , Albert L. Baker, and Clyde Ruby Department…
Cited by 13 (1 self) – Add To MetaCart

JML: notations and tools supporting detailed design in Java
by Gary T. Leavens, K. Rustan, M. Leino, Erik Poll, Clyde Ruby, Bart Jacobs, Gary T. Leavens, Clyde Ruby — 2000 — In OOPSLA 2000 Companion
…, Erik Poll, Clyde Ruby, and Bart Jacobs TR #00-15 August 2000 Keywords: Behavioral interface…
Cited by 57 (3 self) – Add To MetaCart

JML: A Notation for Detailed Design
by Gary T. Leavens, Albert L. Baker, Clyde Ruby — 1999
…JML: A Notation for Detailed Design by Gary T. Leavens, Albert L. Baker, and Clyde Ruby This paper…
Cited by 132 (12 self) – Add To MetaCart

Preliminary Design of JML: A Behavioral Interface Specification Language for Java
by Gary T. Leavens, Gary T. Leavens, Albert L. Baker, Albert L. Baker, Clyde Ruby, Clyde Ruby — 1999 — Department of Computer Science, Iowa State University
…, Albert L. Baker and Clyde Ruby TR #98-06f June 1998, revised July, November 1998, January, April, June…
Cited by 248 (23 self) – Add To MetaCart

JML Reference Manual
by Gary T. Leavens, Erik Poll, Curtis Clifton, Yoonsik Cheon, Clyde Ruby, David Cok, Joseph Kiniry — 2003
… Clifton, Yoonsik Cheon, Clyde Ruby, David Cok, Joseph Kiniry Copyright c○ 2002-2003 Iowa State University…
Cited by 19 (8 self) – Add To MetaCart

How the design of JML accommodates both runtime assertion checking and formal verification
by Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok, Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok — 2003 — Science of Computer Programming
…. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok TR #03-04a March 2003, revised March…
Cited by 51 (17 self) – Add To MetaCart

Advances and Issues in JML Java Verification Workshop 2002 January 12, 2002 Gary T. Leavens http://www.cs.iastate.edu/~leavens
by Iowa State University, Gary T. Leavens, Joint Yoonsik Cheon, Curt Clifton, Clyde Ruby, Arun Raghavan, At Isu, In Cooperation Rustan Leino, Raymie Stata, Bart Jacobs, Michael Ernst, Analogy Haskell
…://www.cs.iastate.edu/~leavens Iowa State University Joint with Yoonsik Cheon, Curt Clifton, Clyde Ruby, Arun Raghavan, ... at ISU…
Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB