CS-214
Software Construction

Welcome to CS-214 — Software Construction!

In this course, you will learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills and fundamental software construction concepts.

Useful links

• Syllabus
• Course policies
• Tools setup, Troubleshooting guide, Computer exam logistics
• Staff
• Moodle
• Course forum
• Course video channel
• Scala Documentation
• Help session rooms:
  • Mondays 1–3pm: INM 200
  • Wednesdays 4–7pm: INF 1, INF 2, INF 3, INM 201, INF 019
  • Fridays 4–6pm: INF 1, INF 2, INF 3
• Exam-lab rooms:
  • Wednesdays 4–7pm: BC 07, BC 08

Labs

• Degrees converter
• Find
• Boids
• Calculator
• Huffman Coding
• Anagrams

Callbacks

• Find, with a higher-order function

Exercises

• Week 1: Recursion & Git I
• Week 2: HOFs & Debugging
• Week 3: Pattern Matching
• Week 4: Polymorphism, Proofs and Tests
• Week 5: Comprehensions, Variance and Specs

Debriefs

• Week 1: Setup, Recursion exercises
• Week 2: Higher-order functions, equational reasoning
• Week 3: Pattern matching, calculator lab, complexity
• Week 4: huffman lab, dealing with stack overflows, and extra proofs

Good to understand

• Week 1
• Week 2
• Week 3
• Week 4

Other documents

• Transcript of Git live coding session (SE week 1)