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. |
| Text and references listed above are for your information only and current as of September 30, 2003. Please check with the unit coordinator for up-to-date information. |
| 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. |
| Year | Location | Period | Internal | Area External | Central External | | 2004 | Bentley Campus | Semester 1 | Y | | | |
Current as of: February 2, 2004
CRICOS provider code 00301J
