Designation: Reader Location: Room 323, General Purpose South (Building 78) Telephone: 61-7-3365-3310 E-mail: davec@itee.uq.edu.au My publications

Research Interests

Dr Carrington has a strong record of research in software engineering and formal methods. He 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. He presented a half-day industry tutorial on the TSP at the first Australian Software Engineering Process Group conference held in September 2003, and again at the same conference in 2006.

In 2001, Dr Carrington was chosen to be an A.D. Welliver Fellow by the Boeing Company. This fellowship program involved an eight-week assignment visiting groups within Boeing with the goal of learning how Boeing handles the challenge of software process improvement.

Dr Carrington was the Knowledge Area Specialist for the methods and tools area for the Guide to the Software Engineering Body of Knowledge (SWEBOK) project, which is sponsored by ACM and the IEEE Computer Society. He is a member of the editorial boards of the Universal Journal of Computer Science and Computer Science Education, as well as being a member of the various software engineering conference program committees.