Concepedia

Wayne D. Heym

WD

8

Publications

199

Citations

8

H-Index

1990

Active since

Affiliations

The Ohio State University(Current)

Indiana University Southeast

Wayne D. Heym is an author at The Ohio State University specializing in engineering, software testing, and software design.

Top concepts

Publications per year

1990–2010

8

Publications

8

Building a push-button RESOLVE verifier: Progress and challenges

Murali Sitaraman, Bruce Adcock, Jeremy Avigad et al. · Formal Aspects of Computing · 2010 · 49 citations · Full text

Part II: specifying components in RESOLVE

Stephen H. Edwards, Wayne D. Heym, Timothy J. Long et al. · ACM SIGSOFT Software Engineering Notes · 1994 · 34 citations

, , +7

Computer Program Verification: Improvements for Human Reasoning /

Wayne D. Heym · OhioLink ETD Center (Ohio Library and Information Network) · 1995 · 31 citations · Full text

Reverse engineering of legacy code exposed

Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth · 1995 · 29 citations · Full text

Specification and Verification with References

Bruce W. Weide, Wayne D. Heym · 2001 · 18 citations

Rows per page

1–5 of 8