Link to Curtin homepage      CurtinSearch | Curtin Site Index 
Online handbook 2004
CoursesUnitsNew CoursesJoint Uni CoursesDefinition of TermsContact / Help
About Curtin University
Academic calendar
Admissions Information
Applying for a research higher degree
Applying to Curtin
Bookshop
Prospective student service
Curtin scholarships
Enrolment information
Fee Information
Grading system
IT Policy
Student rights and responsibilities
Student policy and procedures
    

306693 (v.1) Software Engineering 651


 

Area:

Department of Computing

Credits:

25.0

Contact Hours:

3.0

Lecture:

1 x 2 Hours Weekly

Practical:

1 x 1 Hours Weekly

Prerequisite(s):

10079 (v.3) Software Engineering 501 or any previous version

Syllabus:

Requirements engineering, real time system analysis, quality and reliability issues, CASE tools and verification and validation.
 

Unit Outcomes:

The primary goal of this unit is to expose the students to advanced software engineering techniques. The topics include formal specification techniques, real-time system design, software fault-tolerance, verification and validation, software quality management, software reliability and software reuse.

Texts and references listed below are for your information only and current as of September 30, 2003. Some units taught offshore are modified at selected locations. Please check with the unit coordinator for up-to-date information and approved offshore variations to unit information before finalising study and textbook purchases.

Unit References:

Oberg, J (1999) Why the mars Probe went off course, IEEE Spectrum, December 1999, pages 34-39. Hall, A (1990) Seven Myths of Formal Methods, IEEE Software , September, 1999, pp 11-19. Wing, JM (1990) A Specifier's Introduction to Formal Methods, IEEE Computer, September, 1999, pp 8-24. Nissanke, N (1999) Chapter 2: Schema Language in Formal Specification: Techniques and Applications, Springer, ISBN 1-85233-002-3, pp 11-47. Nissanke, N (1999) Chapter 2: Specifications for Fun in Formal Specification: Techniques and Applications, Springer, ISBN 1-85233-002-3, pp 69-72. Delisle, N and Garlan, D (1990) A Formal Specification of an Oscilloscope, IEEE Software, September, 1999, pp 29-36. Ward, PT and Mellor, SJ (1985) Structured development of Real-Time Systems, Vol. 1, Prentice Hall. Douglass, BP (2000) Chapter 1: Introduction to Real-Time Systems and Objects in Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd ed., ISBN 0-201-65784-8, pp 1-47

Unit Texts:

No prescribed text.
 

Unit Assessment Breakdown:

Final Examination 60%. Assignments (2) 40%. This is by grade/mark assessment.

Field of Education:

 31300 Electrical and Electronic Engineering and Technology (Narrow Grouping)

HECS Band (if applicable):

2  

Extent to which this unit or thesis utilises online information:

 Not Online  

Result Type:

 Grade/Mark


Availability

YearLocationPeriodInternalArea ExternalCentral External
2004Bentley CampusSemester 1Y  

Area
External
refers to external course/units run by the School or Department, offered online or through Web CT, or offered by research.
Central
External
refers to external course/units run through the Curtin Bentley-based Distance Education Area

 
Click here for a printable version of this page

    

Picture of sun setting over Henderson Court on Curtin's Bentley Campus

 

Curtin crest