School of Computer Science

Software Design and Quality


Software Design and Quality focusses on questions such as:

  • What does quality mean (for software) and how to measure it?
  • What factors affect software quality and how to establish good designs?
  • What techniques are available to enhance the quality of software development?
  • How do creativity, agility, sustainability, distribution, cognition, perception, complexity, and emotion affect software development?

We apply a variety of techniques to address these questions, including techniques that focus on the software itself, such as formal modeling and verification, automated code and test generation, code analysis, to techniques that focus on the social aspects of the software development (e.g., developer interviews, lab experiments, grounded theory, case studies, action research, questionnaire studies).

We have a broad range of research interests in Software Engineering (SE) related sub-disciplines, including, but not limited to: Requirement Engineering, Formal Methods, Software Testing, Quality Assurance, Software Metrics, Software Reuse, Runtime Verification and Monitoring, Code Generation, Software Visualisation, Game Development, Project Management, Cognitive Psychology, Sensemaking, Exergaming, etc.

Members (academic staff or PhD students):

Academic staff:
Jing SunEwan Tempero

PhD students:
Chenghao CaiNacha Chondamrongkul, Sanuri Gunawardena

More information:

Qualitas Corpus:
Formal Methods: