• Offered by Research School of Computer Science
  • ANU College ANU College of Engineering and Computer Science
  • Classification Transitional
  • Course subject Computer Science
  • Academic career PGRD
  • Course convener
    • Dr Stephen Blackburn
  • Mode of delivery In Person
  • Co-taught Course
  • Offered in Second Semester 2014
    See Future Offerings

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

Learning Outcomes

Upon successful completion, students will have the knowledge and skills to:

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.

Indicative Assessment

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

The ANU uses Turnitin to enhance student citation and referencing techniques, and to assess assignment submissions as a component of the University's approach to managing Academic Integrity. While the use of Turnitin is not mandatory, the ANU highly recommends Turnitin is used by both teaching staff and students. For additional information regarding Turnitin please visit the ANU Online website.

Workload

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

Requisite and Incompatibility

You are not able to enrol in this course if you have previously completed COMP6700.

Prescribed Texts

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

Fees

Tuition fees are for the academic year indicated at the top of the page.  

If you are a domestic graduate coursework or international student you will be required to pay tuition fees. Students continuing in their current program of study will have their tuition fees indexed annually from the year in which you commenced your program. Further information for domestic and international students about tuition and other fees can be found at Fees.

Student Contribution Band:
2
Unit value:
6 units

If you are an undergraduate student and have been offered a Commonwealth supported place, your fees are set by the Australian Government for each course. At ANU 1 EFTSL is 48 units (normally 8 x 6-unit courses). You can find your student contribution amount for each course at Fees.  Where there is a unit range displayed for this course, not all unit options below may be available.

Units EFTSL
6.00 0.12500
Domestic fee paying students
Year Fee
1994-2003 $1980
2004 $2088
2005 $2088
2006 $2088
2007 $2088
2008 $2190
2009 $2916
2010 $2916
2011 $2946
2012 $2946
2013 $2946
2014 $2952
International fee paying students
Year Fee
1994-2003 $3450
2004 $3450
2005 $3534
2006 $3618
2007 $3618
2008 $3618
2009 $3618
2010 $3750
2011 $3756
2012 $3756
2013 $3756
2014 $3762
Note: Please note that fee information is for current year only.

Offerings and Dates

The list of offerings for future years is indicative only

Second Semester

Class number Class start date Last day to enrol Census date Class end date Mode Of Delivery Class Summary
8003 21 Jul 2014 08 Aug 2014 31 Aug 2014 30 Oct 2014 In Person N/A

Responsible Officer: Registrar, Student Administration / Page Contact: Website Administrator / Frequently Asked Questions