Abstract
I hope you were able to read the contribution from Maria and Gary Litvin, Pre-college Math Concepts vs Skills - Preparation for Computing Studies, in my last column. This article addressed one of the most important issues our discipline faces, the preparation and motivation of young people to pursue a career in computing. To repeat, here is a quote from the back cover of their book for high school students Mathematics for the Digital Age and Programming in Python: "The vision behind this book is that math and computer science should help each other. A programmer needs to be comfortable with abstractions, and that is precisely what math teaches. Computer science reciprocates by providing models and hands-on exercises that help clarify and illustrate more abstract math." This columns contribution "Reflections on Teaching Abstraction and Other Soft Ideas" by Orit Hazzan, which can be found on page?? of this issue of Inroads, further reinforces the relevance of abstraction for software developers.
Index Terms
Abstraction, model checking and software correctness
Recommendations
Engineering software correctness
FDPE '05: Proceedings of the 2005 workshop on Functional and declarative programming in educationSoftware engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results from taking advantage of this opportunity in a two-semester sequence of ...
A comprehensive software engineering education program for grades 6 to 12 in NYC public schools (abstract only)
SIGCSE '13: Proceeding of the 44th ACM technical symposium on Computer science educationHow do we best prepare middle and high school students for college and career pathways in software engineering? Current industry and academic trends suggest that students are best prepared for postsecondary success in new and emerging interdisciplinary ...
Learning Abstraction in Computer Science: A Gender Perspective
WiPSCE '17: Proceedings of the 12th Workshop on Primary and Secondary Computing EducationIn a previous study, we investigated a framework for teaching abstraction in computer science (CS) in the context of an introductory CS course for 7th-grade students. The framework was found effective for developing CS abstraction skills. In this paper, ...






Comments