|
You are here:
Macquarie
» 2007 Handbooks
» Units
» ITEC825
ITEC825: Software Engineering for Critical Systems |
Designing, building and maintaining critical systems is more complex than any other type of software engineering. The aim of this course is to equip students with standards-based skills in analytical tools, architectural design, and the organisational and human factors context of safety critical systems. Students will investigate non-functional requirements, including reliability and maintainability, as well as engineering tools and processes for high-integrity programming. The course will involve a practical component of case study work based on formal methods.
|
|
| Unit Web Pages |
|
No web pages available.
|
|
|
