Software Engineering Research Group

Main Focus

Software Engineering research in the school has three strands. Empirical software engineering includes analysis of software process and project estimation. There is also work on the measurement and modelling of computer usage behaviour, including longitudinal studies. Automated reasoning and formal models are used for analysis and verification of concurrent and distributed systems.

Staff

Rachel Cardell-Oliver
Tim French
Peter Jones
Mark Reynolds
Richard Thomas
Terry Woodings

Research Students

Erryn Binning
Michael Jones
Zee Yeow Gong
Sarah Hatton
Stephen Mace
Peter Spain

Projects

Combining modal logics for dynamic and multi-agent systems

Seminars

School Seminar Series

Resources

Undergraduate Course BE(Software)
Prospective Postgraduates
Conferences
Journals
Online Tutorial Material for Software Engineering Students

Top of Page

CRICOS Provider Code: 00126G
Last updated: Thursday, 18 August, 2005
Location: http://web.csse.uwa.edu.au/page/
Page Information | Printer Friendly Version
Notify me when this page is updated