This course introduces students to the tools and techniques for developing software systems of a size and quality of an industrially relevant nature. The course teaches the fundamental strategies of abstraction, decomposition and reuse as methods for constructing such systems. Verification and validation techniques, with an emphasis on testing, are taught as a means to ensure that students are able to deliver software products of the quality required.

In particular, the course will cover: recursive data structures and algorithms; structured data types, abstract data types and their applications; object-oriented programming; and software life-cycle. The course will also introduce some of the theoretical fundamentals that underpins software engineering, including: reasoning about software and its application to specifications, and verification and validation

Upon completion of this course, the student will be able to:

• complete the implementation of an Program, given as specification of the required behavior of the class.
• understand some of the complexities of multi-threading
• work in a group to complete an assigned task
• independently use selected writings in computing to analyze and explain technical computing problems.
• analyze alternatives among simple data-structures -- lists, tables, and trees, for example -- and select the most appropriate structure for a simple task.
• analyze alternatives among simple algorithms -- sorting and searching, for example -- and select the most appropriate for a simple task.
• rigorously analyze the correctness of a simple program fragment given a logical description of its required behavior.
• apply their knowledge of regular expressions to devise a regular expressions to match target phrases.
• apply their knowledge of testing principles to select appropriate test data for an individual software routine.
• identify economic implications of the software life cycle to the process of software construction.
• identify the invariant of a simple loop.
• apply the technique of recursion to implement simple requirements.

Assignment (30%); Lab Tests (20%); Final Exam (50%)

Thirty one-hour lectures and nine two-hour tutorial/laboratory sessions.

Enrollment in the Master of Information Technology Studies, Master of Engineering, Master of Information Systems Studies, Master of Business Information Systems or Graduate Studies Program.

The equivalent in programming background to the undergraduate courses COMP1100 or COMP1730.

Cay Horstmann,, Big Java, Wiley, 4th Edition, 2010