Formal methods, design, and collaborative learning in the first computer science course
Douglas R. Troeger · New Directions for Teaching and Learning · 1995
Abstract This chapter presents an overview of the first course in computer science offered at City College of New York. The course is a strong departure from conventional introductory programming courses, offering students a logic‐based introduction to program design.