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 program analysis, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsProgram AnalysisVerificationComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware Design

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 · 781 citations

Engineering, Java Expressions, Verification +24

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 · 188 citations

Engineering, Runtime Verification, Program Analysis +11

JML: notations and tools supporting detailed design in Java

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

JML (poster session)

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

Engineering, Program Analysis, Poster Session +6

Safely creating correct subclasses without seeing superclass code

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

Software Maintenance, Engineering, Object-oriented Frameworks +22

1–5 of 6