Wayne D. Heym

According to our database, Wayne D. Heym authored at least 13 papers between 1992 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.

Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar

Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2013

A Language for Building Verified Software Components.

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

2011

Building a push-button RESOLVE verifier: Progress and challenges.

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide

Formal Aspects Comput., 2011

2009

Traditional assignment considered harmful.

Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

Incremental Benchmarks for Software Verification Tools and Techniques.

Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier

Proceedings of the Verified Software: Theories, 2008

2007

Which pointer errors do students make?

Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2005

Issues in performance certification for high-level automotive control software.

Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni

ACM SIGSOFT Softw. Eng. Notes, 2005

2002

Algorithms and object-oriented programming: bridging the gap.

Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

2000

Reasoning about Software-Component Behavior.

Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1996

Characterizing observability and controllability of software components.

Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden

Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

1995

Reverse Engineering of Legacy Code Exposed.

Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Part II: specifying components in RESOLVE.

Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1994

1992

Systematic Testing of Data Abstractions Based on Software Specifications.

Stuart H. Zweben, Wayne D. Heym, Jon Kimmich

Softw. Test. Verification Reliab., 1992