|
 | Biography |  |
Software engineering methods and tools, software specification, software design, software testing, software processes (Personal Software Process (PSP) & Team Software Process (TSP)), software metrics, empirical studies in software engineering, software engineering education. Dr Carrington has been a chief investigator on several projects (funded by ARC large grants) investigating and prototyping innovative software engineering tools. His research includes developing techniques for formally specifying user-interfaces, and testing from specifications. Particular contributions include the Test Template Framework with Phil Stocks for deriving specification-based testing information from formal specifications and the extension of these ideas for Object-Z with Paul Strooper and Ian MacColl. Dr Carrington has also been active in tools for program refinement from formal specifications, and techniques for formally specifying user interfaces. One result of his previous research and teaching is a realisation of the importance of the software process on software development. More recent research includes empirically investigating the effectiveness of approaches to the presentation of UML (Unified Modeling Language) diagrams.
While on sabbatical from the University of Queensland, Dr Carrington was a Visiting Scientist at the Software Engineering Institute at Carnegie Mellon University, from September 2000 until June 2001. His work involved looking at issues associated with technology transfer to industry associated with the Team Software Process. During this period, he organised a half-day workshop at the CSEE&T 2001 conference on teaching PSP and TSPi (the educational version) of TSP at Universities. His association with the SEI has continued with observations of newly trained TSP launch coaches performing their first TSP launch, on behalf of the SEI.
|
