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.
YearLocationPeriodInternalArea ExternalCentral External
2004Bentley CampusSemester 1Y  

 

Copyright and Disclaimer
Current as of: February 2, 2004
CRICOS provider code 00301J