Abstract
Over the past several years, the author has written, used, and refined several modules that help introduce the concepts of assertions and loop invariants within CS1. After discussing the motivation for this work, this paper describes the development of the modules themselves, including both successes and disappointments. Feedback from students and the observation of students within a lab setting may shed light on the background and perspectives of introductory computer science students. This work also suggests some preliminary conclusions, which might be worthy of more formal, carefully-controlled validation studies in the future.
Index Terms
Modules to introduce assertions and loop invariants informally within CS1: experiences and observations
Recommendations
Generic radial orthogonal moment invariants for invariant image recognition
As the variation of parameters in Jacobi polynomial, Jacobi-Fourier moments can form various types of orthogonal moments: Legendre-Fourier moments, Orthogonal Fourier-Mellin moments, Zernike moments, pseudo-Zernike moments, and so on. In this paper, we ...
Invariant Image Recognition Using Radial Jacobi Moment Invariants
ICIG '11: Proceedings of the 2011 Sixth International Conference on Image and GraphicsAs orthogonal moments in the polar coordinate, radial orthogonal moments such as Zernike, pseudo-Zernike and orthogonal Fourier-Mellin moments have been successfully used in the field of pattern recognition. However, the scale and rotation invariant ...
Loop invariants: Analysis, classification, and examples
Software verification has emerged as a key concern for ensuring the continued progress of information technology. Full verification generally requires, as a crucial step, equipping each loop with a “loop invariant.” Beyond their role in verification, ...






Comments