User Interface issues in Programming Environments. - David A. Carrington (Aust. Comput. J., 1986)

Profiling under ELXSI UNIX. - David A. Carrington (Softw. Pract. Exp., 1986)

Object-Z: An Object-Oriented Extension to Z. - David A. Carrington; David J. Duke; Roger Duke; Paul King; Gordon A. Rose; Graeme Smith 001 (FORTE, 1989)

Computer Assistance for Program Refinement. - David A. Carrington; Kenneth Arthur Robinson (CAV, 1990)

Tool Support for the Refinement Calculus. - David A. Carrington; Kenneth Arthur Robinson (CAV (DIMACS/AMS volume), 1990)

ZOOM Workshop Report. - David A. Carrington (Z User Workshop, 1991)

Modelling open distributed systems in Z. - Phil Stocks; Kerry Raymond; David A. Carrington; Andrew Lister (Comput. Commun., 1992)

Test Templates: A Specification-Based Testing Framework. - Phil Stocks; David A. Carrington (ICSE, 1993)

Test Template Framework: A Specification-Based Testing Case Study. - Phil Stocks; David A. Carrington (ISSTA, 1993)

Deriving Modular Designs from Formal Specifications. - David A. Carrington; David J. Duke; Ian J. Hayes; Jim Welsh (SIGSOFT FSE, 1993)

Relational views for program comprehension. - Tim Jones; Warwick Allison; David A. Carrington (WPC, 1994)

A Tale of Two Paradigms: Formal Methods and Software Testing. - David A. Carrington; Phil Stocks (Z User Workshop, 1994)

Structuring Z Specifications: Some Choices. - Anthony MacDonald; David A. Carrington (ZUM, 1995)

Setting up a tutor training programme in computer science. - Paul Bakker; Andrew Goodchild; Paul A. Strooper; David A. Carrington; Ian MacColl; Peter Creasy; Helen C. Purchase (ACSE, 1996)

Software Visualisation in a Generic Development Environment. - Warwick Allison; David A. Carrington; Tim Jones; Larry Stewart-Zerba; Geoffrey Watson; Jim Welsh (Australian Software Engineering Conference, 1996)

A Framework for Specification-Based Testing. - Phil Stocks; David A. Carrington (IEEE Trans. Software Eng., 1996)

Teaching software testing. - David A. Carrington (ACSE, 1997)

Specifying the UQ* user-interface with Object-Z. - Andrew Hussey; David A. Carrington (APSEC, 1997)

Visualising Software Documents in a Generic Development Environment. - Warwick Allison; David A. Carrington; Tim Jones; Larry Stewart-Zerba; Jim Welsh (Australian Software Engineering Conference, 1997)

Extending Test Templates with Inheritance. - Leesa Murray; David A. Carrington; Ian MacColl; Paul A. Strooper (Australian Software Engineering Conference, 1997)

User interface correctness. - Ian MacColl; David A. Carrington (XRDS, 1997)

Comparing the MVC and PAC architectures: a formal perspective. - Andrew Hussey; David A. Carrington (IEE Proc. Softw. Eng., 1997)

Which widgets? deriving implementations from user-interface specifications. - Alfred Hussey; David A. Carrington (DSV-IS, 1998)

Specification-Based Class Testing: A Case Study. - Ian MacColl; Leesa Murray; Paul A. Strooper; David A. Carrington (ICFEM, 1998)

Guiding Object-Oriented Design. - Anthony MacDonald; David A. Carrington (TOOLS (28), 1998)

Formal Derivation of Finite State Machines for Class Testing. - Leesa Murray; David A. Carrington; Ian MacColl; Jason McDonald; Paul A. Strooper (ZUM, 1998)

A Program Refinement Tool. - David A. Carrington; Ian J. Hayes; Ray Nickson; Geoffrey Watson; Jim Welsh (Formal Aspects Comput., 1998)

Visualization of Formal Specifications. - Soon-Kyeong Kim; David A. Carrington (APSEC, 1999)

Model-Based Design of User Interfaces Using Object-Z. - Andrew Hussey; David A. Carrington (CADUI, 1999)

A Model of Specification-Based Testing of Interactive Systems. - Ian MacColl; David A. Carrington (World Congress on Formal Methods, 1999)

Specifying Interactive Systems in Object-Z and CSP. - Ian MacColl; David A. Carrington (IFM, 1999)

TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. - Leesa Murray; David A. Carrington; Ian MacColl; Paul A. Strooper (TOOLS (32), 1999)

Formalizing the UML Class Diagram Using Object-Z. - Soon-Kyeong Kim; David A. Carrington (UML, 1999)

Object-oriented user-interface development. - Andrew Hussey; David A. Carrington (IEE Proc. Softw., 1999)

An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. - Soon-Kyeong Kim; David A. Carrington (APSEC, 2000)

Experimenting with Aesthetics-Based Graph Layout. - Helen C. Purchase; David A. Carrington; Jo-Anne Allder (Diagrams, 2000)

User Preference of Graph Layout Aesthetics: A UML Study. - Helen C. Purchase; Jo-Anne Allder; David A. Carrington (GD, 2000)

Translating UAN into CSP. - Ian MacColl; David A. Carrington (ICFEM, 2000)

A Formal Mapping between UML Models and Object-Z Specifications. - Soon-Kyeong Kim; David A. Carrington (ZB, 2000)

CSE Special Australasian Issue - Guest Editorial. - John Fulcher; David A. Carrington (Comput. Sci. Educ., 2000)

Some Elements of Z Specification Style: Structuring Techniques. - Anthony MacDonald; David A. Carrington (J. Univers. Comput. Sci., 2000)

Computer-aided development of a real-time program. - Luke Wildman; Colin J. Fidge; David A. Carrington (Softw. Concepts Tools, 2000)

From Object-Z Specifications to ClassBench Test Suites. - David A. Carrington; Ian MacColl; Jason McDonald; Leesa Murray; Paul A. Strooper (Softw. Test. Verification Reliab., 2000)

UML Class Diagram Syntax: An Empirical Study of Comprehension. - Helen C. Purchase; Linda Colpoys; Matthew McGill; David A. Carrington; Carol Britton (InVis.au, 2001)

Graph Drawing Aesthetics and the Comprehension of UML Class Diagrams: An Empirical Study. - Helen C. Purchase; Matthew McGill; Linda Colpoys; David A. Carrington (InVis.au, 2001)

Assessing Usability from Formal User-Interface Designs. - Andrew Hussey; Ian MacColl; David A. Carrington (Australian Software Engineering Conference, 2001)

Teaching PSPSM and TSPi in Universities. - David A. Carrington (CSEE&T, 2001)

PSP SM in the Large Class. - David A. Carrington; Ben McEniery; Dan B. Johnston (CSEE&T, 2001)

SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel). - Ann E. Kelley Sobel; Donald J. Bagert; David A. Carrington; Yoshihiro Matsumoto; Pierre N. Robillard; J. Barrie Thompson (CSEE&T, 2001)

Generic Description of a Software Document Environment. - Mark A. Toleman; David A. Carrington; Phil Cook; Andrew Coyle; Anthony MacDonald; Jim Welsh; Tim Jones (HICSS, 2001)

A Metamodel-based transformation between UML and Object-Z. - Soon-Kyeong Kim; David A. Carrington; Roger Duke (HCC, 2001)

A formal denotational semantics of UML in Object-Z. - Soon-Kyeong Kim; David A. Carrington (Obj. Logiciel Base données Réseaux, 2001)

Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. - Jamie Shield; Ian J. Hayes; David A. Carrington (CATS, 2001)

Integrating Use-Case Analysis and Task Analysis for Interactive Systems. - Soon-Kyeong Kim; David A. Carrington (APSEC, 2002)

A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. - Soon-Kyeong Kim; David A. Carrington (ICFEM, 2002)

UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. - Helen C. Purchase; Linda Colpoys; Matthew McGill; David A. Carrington (VISSOFT, 2002)

A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. - Soon-Kyeong Kim; David A. Carrington (ZB, 2002)

Empirical Evaluation of Aesthetics-based Graph Layout. - Helen C. Purchase; David A. Carrington; Jo-Anne Allder (Empir. Softw. Eng., 2002)

Graph Layout Aesthetics in UML Diagrams: User Preferences. - Helen C. Purchase; Jo-Anne Allder; David A. Carrington (J. Graph Algorithms Appl., 2002)

Teaching the PSP: Challenges and Lessons Learned. - Jürgen Börstler; David A. Carrington; Gregory W. Hislop; Susan K. Lisack; Keith Olson; Laurie A. Williams (IEEE Softw., 2002)

Teaching Software Engineering Fundamentals to Practicing Engineers. - Paul A. Strooper; David A. Carrington; Sharron Newby; Terry Stevenson (CSEE&T, 2003)

The Variety of Variables in Automated Real-Time Refinement. - Luke Wildman; Colin J. Fidge; David A. Carrington (Formal Aspects Comput., 2003)

An Approach to Specifying Software Frameworks. - Leesa Murray; David A. Carrington; Paul A. Strooper (ACSC, 2004)

Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. - Soon-Kyeong Kim; David A. Carrington (APSEC, 2004)

Systematic Operational Profile Development for Software Components. - Rakesh Shukla; David A. Carrington; Paul A. Strooper (APSEC, 2004)

A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. - Soon-Kyeong Kim; David A. Carrington (Australian Software Engineering Conference, 2004)

A Framework for Reliability Assessment of Software Components. - Rakesh Shukla; Paul A. Strooper; David A. Carrington (CBSE, 2004)

Using Measurement Data in a TSPSM Project. - Noopur Davis; Julia Mullaney; David A. Carrington (EuroSPI, 2004)

An Environment for Building a System out of its Requirements. - Cameron Smith; Kirsten Winter; Ian J. Hayes; R. Geoff Dromey; Peter A. Lindsay; David A. Carrington (ASE, 2004)

A Passive Test Oracle Using a Component's API. - Rakesh Shukla; David A. Carrington; Paul A. Strooper (APSEC, 2005)

Tool Support for Statistical Testing of Software Components. - Rakesh Shukla; Paul A. Strooper; David A. Carrington (APSEC, 2005)

An MDA Approach Towards Integrating Formal and Informal Modeling Languages. - Soon-Kyeong Kim; Damian Burger; David A. Carrington (FM, 2005)

A Rigorous Foundation for Pattern-Based Design Models. - Soon-Kyeong Kim; David A. Carrington (ZB, 2005)

An industry/university collaboration to upgrade software engineering knowledge and skills in industry. - David A. Carrington; Paul A. Strooper; Sharron Newby; Terry Stevenson (J. Syst. Softw., 2005)

A Pattern based Model Evolution Approach. - Soon-Kyeong Kim; David A. Carrington (APSEC, 2006)

Verifying Metamodel Coverage of Model Transformations. - Junhua Wang; Soon-Kyeong Kim; David A. Carrington (ASWEC, 2006)

An Industry-Based Evaluation of Process Modeling Techniques. - Brent Cahill; David A. Carrington; Brian Song; Paul A. Strooper (EuroSPI, 2006)

A Tool for a Formal Pattern Modeling Language. - Soon-Kyeong Kim; David A. Carrington (ICFEM, 2006)

Cross-Layer Verification of Type Flaw Attacks on Security Protocols. - Benjamin W. Long; Colin J. Fidge; David A. Carrington (ACSC, 2007)

Improving Usability of Software Refactoring Tools. - Erica Mealy; David A. Carrington; Paul A. Strooper; Peta Wyeth (ASWEC, 2007)

A Framework for Statistical Testing of Software Components. - Rakesh Shukla; Paul A. Strooper; David A. Carrington (Int. J. Softw. Eng. Knowl. Eng., 2007)

Automatic Generation of Test Models for Model Transformations. - Junhua Wang; Soon-Kyeong Kim; David A. Carrington (Australian Software Engineering Conference, 2008)

Model-Based Generation of Interlocking Controller Software from Control Tables. - Cédric Chevillat; David A. Carrington; Paul A. Strooper; Jörn Guy Süß; Luke Wildman (ECMDA-FA, 2008)

Investigating Factors Affecting the Usability of Software Process Descriptions. - Mohd Naz'ri Mahrin; David A. Carrington; Paul A. Strooper (ICSP, 2008)

Selecting Usability Evaluation Methods for Software Process Descriptions. - Mohd Naz'ri Mahrin; Paul A. Strooper; David A. Carrington (APSEC, 2009)

A formalism to describe design patterns based on role concepts. - Soon-Kyeong Kim; David A. Carrington (Formal Aspects Comput., 2009)