|
| |
306694 (v.1) Software Engineering 551
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, pages 34-39. Hall, A (1990) Seven Myths of Formal Methods, IEEE Software , September, pp 11-19. Wing, JM (1990) A Specifier's Introduction to Formal Methods, IEEE Computer, September, 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, 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
| Year | Location | Period | Internal | Area External | Central External | | 2004 | Bentley Campus | Semester 1 | Y | | |
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
|
|
|
|
