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. It also introduces students to the principles and practices of software engineering.

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.

• complete the implementation of an Program, given as specification of the required behaviour of the class. 
• 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 behaviour. 
• 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.
• understand some of the complexities of multi-threading 
• work in a group to complete an assigned task 
• independently use selected writings in computing to analyse and explain technical computing problems. 

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

Enrolment in BSEng; COMP1100

COMP1110 and COMP2750

Carrano, Frank, et. al Data Abstraction and Problem Solving with Java, Addison Wesley, second edition, 2006