Wayne D. Heym
According to our database1, Wayne D. Heym authored at least 12 papers between 1992 and 2017.
Legend:Book In proceedings Article PhD thesis Other
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
Proceedings of the Safe and Secure Software Reuse, 2013
Formal Aspects Comput., 2011
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Verified Software: Theories, 2008
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007
ACM SIGSOFT Softw. Eng. Notes, 2005
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002
Proceedings of the Software Reuse: Advances in Software Reusability, 2000
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996
Proceedings of the 17th International Conference on Software Engineering, 1995
Systematic Testing of Data Abstractions Based on Software Specifications.
Softw. Test. Verification Reliab., 1992