CSCI 2030U - Programming Workshop (Winter 2010)

Description: This is an intensive course on computer programming that covers both theory and practice. The lectures introduce modern concepts in program design and construction along with advanced features of modern object oriented programming languages. The laboratories and assignments provide an opportunity to apply these concepts to practical programming problems. Topics that are covered in this course include program design, problem solving strategies, program documentation, object oriented program design, inheritance, templates and standard template libraries.

Textbook:

• Absolute C++, 4/E
  Author: Walter Savitch
  Publisher: Pearson Education

CSCI 3060U - Software Engineering II: Software Quality Assurance (Winter 2010)

Description: Building on previous software design courses, this course concentrates onthe rigorous development of high quality software systems. Topics covered in this course include software process, software verification and validation (e.g., testing, inspection), software metrics and software maintenance. A major team project is an important feature of this course.

Textbooks:

• Introduction to Software Testing
  Authors: Paul Ammann, Jeff Offutt
  Publisher: Cambridge University Press

• Extreme Programming Explained: Embrace Change, 2/E
  Authors: Kent Beck with Cynthia Andres
  Publisher: Addison-Wesley Professional

CSCI 5100G - Development of Concurrent Software Systems (Winter 2010)

Description: This course is an introductory course to software development for concurrent software with an emphasis on design, implementation and verification. Topics in the design and implementation of concurrent software include: design patterns for concurrency, programming with threads, programming in coordination languages. Topics in the verification of concurrent software include: static analysis, model checking and testing.

[NOTE: In the Winter 2010 this course will be delivered as a reading course.]