Module details
This module has been withdrawn
and is no longer available.
CO888 Advanced Software Engineering (15 credits)
Syllabus
- Review of software development methodologies and development
life-cycles, including design, modelling languages, evolution, deployment,
re-engineering and refactoring;
- Review of software quality standards and quality management;
- Development, deployment and evolution of rich-client applications (e.g.
web-based);
- Development, deployment and evolution of distributed applications (e.g.
cloud computing);
- Software verification through automated testing and formal reasoning,
using appropriate methodologies and tools (e.g. JML annotations and the
ESC/Java2 static checker);
- Software development for real-time critical applications.
Note
This web page provides advance information about a module due
to run in the coming academic year. We believe the details are
accurate at the time of writing but they may be subject to
change.