Principles and techniques for verification of software specifications and validation of software systems. Relative merits of analysis methods through the life cycle, from verification and validation to testing, prototyping and abstract modelling.
Availability
Availability Information has not been provided by the respective School or Area. Prospective students should contact the School or Area listed above for further information.