Wayne D. Heym

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.
Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2013

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput., 2011

2009
Traditional assignment considered harmful.
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.
Proceedings of the Verified Software: Theories, 2008

2007
Which pointer errors do students make?
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2005
Issues in performance certification for high-level automotive control software.
ACM SIGSOFT Softw. Eng. Notes, 2005

2002
Algorithms and object-oriented programming: bridging the gap.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

2000
Reasoning about Software-Component Behavior.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1996
Characterizing observability and controllability of software components.
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

1995
Reverse Engineering of Legacy Code Exposed.
Proceedings of the 17th International Conference on Software Engineering, 1995

1992
Systematic Testing of Data Abstractions Based on Software Specifications.
Softw. Test. Verification Reliab., 1992


  Loading...