Concepedia

Clyde Ruby

CR

Statistics

Publications

6

Citations

1.2K

H-Index

6

Active since

2000

Affiliations

Iowa State University(Current)

Radboud University Nijmegen

Clyde Ruby is an author at Iowa State University specializing in computing, programming languages, and formal methods.

Publications per year

2000–2006

6

Publications

6

Preliminary design of JML

Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 787 citations

, , +14

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

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton et al. · Science of Computer Programming · 2004 · 191 citations

, , +11

JML: notations and tools supporting detailed design in Java

Gary T. Leavens, Clyde Ruby, K. Rustan et al. · 2000 · 126 citations

, , +14

JML (poster session)

Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino et al. · 2000 · 78 citations · Full text

, , +16

Safely creating correct subclasses without seeing superclass code

Clyde Ruby, Gary T. Leavens · 2000 · 44 citations

, , +10

1–5 of 6