Integrating a problem-solving methodology and group skills into CS1

Many industry leaders recognize the importance of introducing software engineering techniques and group skills into the curriculum early in a computer science program. The difficulty in accomplishing this lies partly in teaching topics such as logic, formal specification and problem solving to beginning students. The paper discusses ideas and techniques that can be used to teach these challenging topics and to integrate group skills into an undergraduate computer science introductory course