CECS Home | ANU Home | Search ANU
The Australian National University
ANU College of Engineering and Computer Science
Department of Computer Science
COMP3110/6311
Introduction
People
Lectures and Notes
Workshops
Assessment Scheme
Reading Materials
Forums
CECS Links
DCS Home
CECS Home
ANU Home
Printer Friendly Version of this Document

UniSAFE

COMP3110/6311 - Software Analysis and Design

Lectures and Notes

We have timetabled a two hour lecture slot and a two hour tutorial (workshop) slot each week.

  • Lectures. Lecture slots will be used to discuss the topics listed in the schedule shown below. In general, the direction of each lecture will be determined by the students - that is, I will not be reading out lecture notes.

    As the course proceeds, lecture content, suggested readings and other resources will be posted on this page. Students should read the suggested readings prior to each lecture..

    Additional references can be found on the Reading Materials page.

  • Workshops. In most weeks, students will be required to attend a two hour workshop. In these workshops, you will practice the use of techniques discussed in lectures. You will work in small groups (3-4 students) and will hand in your work for assessment at the end of each workshop. See the assessment scheme for more information.

Schedule

While COMP3110/6311 may appear to cover some techniques with which you are already familiar, you will find that we will use them in very different (and interesting) ways.

First Teaching Period (Semester One - Term One)

  • Week 1: 23 - 27 February
    • [Lecture]
      • Course introduction and overview
      • No more than 1 hour for the first lecture !
    • [Workshop]
      • None
  • Week 2: 2 - 6 March
  • Week 3: 9 - 13 March
    • [Lecture]
      • Modelling Data - Part 2
      • [pdf] Lecture Notes - Relationships and Associations - Part 2
      • [pdf] Lecture Notes - Constraints and the Object Constraint Language
      • [pdf] Starr, L., How to Build Articulate Class Models and get Real Benefits from UML, http://www.modelint.com, August 2008
    • [Workshop]
      • Data Modeling - Part 2
      • [pdf] Exercise worksheet.
  • Week 4: 16 - 20 March
    • [Lecture]
      • Modelling Process
      • [pdf] Lecture Notes - Modelling processes with Data Flow Models
      • [HTML] Wikipedia article on Data Flow Diagrams. There is lots of information about SA/SD on the web..
      • [Book] Structured analysis and system specification / by Tom DeMarco (please look at it in the library - it should be on 2hr loan).
      • [Book] Modern sturctured analysis / by Edward Yourdon (please look at it in the library - it should be on 2hr loan).
      • [Book] Structured analysis methods for computer information systems / by Lavette C. Teague, Jr. and Christopher W. Pidgeon (please look at it in the library - it should be on 2hr loan).
    • [Workshop]
      • Process Modeling
      • [pdf] Exercise worksheet.
  • Week 5: 23 - 27 March
    • [Lecture]
      • Modelling State
      • [pdf] Lecture Notes - Introduction to State Models
    • [Workshop]
      • State Modeling
      • [pdf] Exercise worksheet.
  • Week 6: 30 March - 3 April
    • [Lecture]
      • Executable Specifications
      • [pdf] Lecture Notes - Executable Specifications
      • [pdf] Lecture Notes - Some notes on Action Language
    • [Workshop]
      • Executable Specifications
      • [pdf] Exercise worksheet (now with figures 8 and 9).
  • Week 7: 6 - 10 April
    • [Lecture]
      • Separating concerns
      • [pdf] Lecture Notes - Separating Concerns
      • Mid-Semester Examination Preparation
      • [pdf] Sample mid-semester examination paper
      • [pdf] Sample mid-semester examination paper - (most) solutions
    • [Workshop]
      • None

Second Teaching Period (Semester One - Term Two)

  • Week 8: 27 April - 1 May
    • [Lecture]
      • Mid-Semester Examination
      • [pdf] Examination Notification
    • [Workshop]
      • None
  • Week 9: 4 - 8 May
    • [Lecture]
      • Model Driven Development, model translation and code generation
      • [pdf] Lecture Notes - Model Driven Development
      • [pdf] Lecture Notes - Model Translation
      • [pdf] Lecture Notes - Model Translation - part 2
      • [pdf] Lecture Notes - Model Translation - part 3
    • [Workshop]
      • Translating an xtUML model into Java
      • This workshop will be held in the following computer labs:
        • Group 4: Tuesday 13-15 in N115/116
        • Group 3: Tuesday 15-17 in N112
        • Group 5: Wednesday 09-11 in N112
        • Group 2: Wednesday 15-17 in N114
        • Group 1: Wednesday 17-19 in N114
      • [pdf] Exercise worksheet.
      • [pdf] Exercise source code.
  • Week 10: 11 - 15 May
    • [Lecture]
      • Domain Specific Modeling
      • [pdf] Lecture Notes - Domain Specific Modeling
      • [book] Domain-Specific Modeling: Enabling Full Code Generation, by Kelly and Tolvanen, 2008
      • [web] DSM Forum
      • [web] MetaCase commercial tools and background information
      • [web] Univerity of Auckland, Marama meta-tools (open source)
      • [web] Oslo, Microsoft's new modeling platform
    • [Workshop]
      • None
  • Week 11: 18 - 22 May
    • [Lecture]
      • Aspect-Oriented Thinking
      • [pdf] Lecture Notes - Aspect-Oriented Thinking
    • [Workshop]
      • None
  • Week 12: 25 - 29 May
    • [Lecture]
      • Cancelled - Formal Modeling Techniques (see the announcement forum)
      • [pdf] Lecture Notes (from 2008) - Introduction to Petri Nets
    • [Workshop]
      • [pdf] 2008 Exercise worksheet.
  • Week 13: 01 - 05 Jun
    • [Lecture]
      • CEDAM Course Evaluations
      • Revision - Final examination preparation
      • [pdf] Sample final examination paper
      • [pdf] Sample final examination paper - (most) solutions
    • [Workshop]
      • None
Last updated Tue Jun 16 08:39:44 EST 2009 by shayne
Please direct all enquiries to: shayne.flint@anu.edu.au
Page authorised by: Head of Department, DCS
The Australian National University — CRICOS Provider Number 00120C