Stephen Schaub

Learn More
This paper discusses an approach to teaching basic object-oriented concepts in CS1 using Java graphics. Students first use a simplified turtle graphics API to explore introductory programming issues. Later, they see a real-world example of how inheritance can be used to add functionality to the standard Java Abstracting Windowing Toolkit, to facilitate the(More)
This paper summarizes our experience in communicating the elements of reasoning about correct-ness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed for the purpose. Our experience in using such an IDE, supported by a 'push-button' verifying compiler in a(More)
  • 1