R. Shukla, P. Strooper and D. Carrington. A Framework For Statistical Testing Of Software Components, accepted (18 Jan 2007) for International Journal of Software Engineering and Knowledge Engineering, 2007.

E. Mealy, D. Carrington, P. Strooper and P. Wyeth. Improving Usability for Software Refactoring tools, accepted (22 Dec 2006) for Australian Software Engineering Conference, 2007. 

V-Y. Sien and D. Carrington. A Concepts-First Approach To Object-Oriented Modelling, accepted (12 Jan 2007) for The Third IASTED International Conference on Advances in Computer Science and Technology (ACST 2007), 2007.

B.W. Long, C.J. Fidge and D. Carrington. Cross-Layer Verification of Type Flaw Attacks on Security Protocols, Proc. Australasian Computer Science Conference (ACSC-2007), Australian Computer Society, pages 171-180, 2007.

S-K. Kim and D. Carrington. A Pattern-based Model-Evolution Approach, Proc. Asia-Pacific Software Engineering Conference (APSEC-2006), pages 217-224, 2006.

D. Hyland-Wood, D. Carrington, and S. Kaplan. Toward a Software Maintenance Methodology using Semantic Web Techniques, Proc. of Second International IEEE Workshop on Software Evolvability, IEEE, pp. 23-30, 2006

S-K. Kim and D. Carrington. A Tool for a Formal Pattern Modeling Language, Proc. International Conference on Formal Engineering Methods (ICFEM-2006), Springer, pp. 568-587, 2006.

B. Cahill, D. Carrington, B. Song, and P. Strooper. An Industry-Based Evaluation of Process Modeling Techniques, Proc. EuroSPI 2006 Conference, Springer, pp. 111-122, 2006.

J. Wang, S-K. Kim and D. Carrington. Verifying Metamodel Coverage of Model Transformations, Proc. of Australian Software Engineering Conference (ASWEC'2006), IEEE, pages 270-282, 2006.

D. Carrington, P. Strooper, S. Newby, and T. Stevenson. An industry/university collaboration to upgrade software engineering knowledge and skills in industry, The Journal of Systems and Software, 75(1-2):29-39, 2005.

R. Shukla, D. Carrington, and P Strooper. A passive test oracle using a component's API, Proc. of the
12th Asia-Pacific Software Engineering Conference, IEEE, pages 561-567, 2005.

R. Shukla, P. Strooper, and D. Carrington. Tool support for statistical testing of software components, Proc. of the 12th Asia-Pacific Software Engineering Conference, IEEE, pages 719-726, 2005.

D. Carrington, A. Baker and A van der Hoek. It’s all in the game: teaching software process concepts, Proc. of Frontiers in Education conference, IEEE, pages F4G.13 – F4G.18, 2005.

S-K Kim, D. Burger and D. Carrington. An MDA approach towards integrating formal and informal modeling languages, Proc. of FM 2005: Formal Methods, Springer, pages 448-464, 2005.

S-K Kim and D. Carrington. A rigorous foundation for pattern-based design models, Proc. of ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Springer,  pages 242-261, 2005.

S-K Kim and D. Carrington. Using integrated metamodeling to define OO design patterns with Object-Z and UML, In Proc. Asia-Pacific Software Engineering Conference, IEEE, pages 528-537, 2004.

R. Shukla, P. Strooper and D. Carrington. Systematic operational profile development for software components, In Proc. Asia-Pacific Software Engineering Conference, IEEE, pages 257-264, 2004.

N. Davis, J. Mullaney and D. Carrington. Using measurement data in a TSP^SM project, In Proc. of Software Process Improvement: EuroSPI conference, Springer, pages 91-101, 2004.

R. Shukla, P. Strooper and D. Carrington. A Framework for Reliability Assessment of Software Components, In Proc. of the 7th International Symposium on Component-based Software Engineering, pages 272-279, 2004.

S-K. Kim and D. Carrington. A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models, In Proc. of the Australian Software Engineering Conference, IEEE, pages 87-94, 2004.

L. Murray, D. Carrington, and P. Strooper. An approach to specifying software frameworks. In Proc. of the Twenty-Seventh Australasian Computer Science Conference, ACS, pages 185-192, 2004.

L. Wildman, C. Fidge and D. Carrington. The Variety of Variables in Automated Real-time Refinement, Formal Aspects of Computing, 15(2-3):258-279, 2003.

H.C. Purchase, L. Colpoys, D. Carrington and M. McGill. UML Class Diagrams: An Empirical Study of Comprehension, In Software Visualization - From Theory to Practice, Kluwer Academic Publishers, pp. 149-178, 2003.

D. Carrington and S-K. Kim. Teaching Software Design with Open Source Software, Proc. 33^rd Annual Frontiers in Education Conference, pp. S1C-9 – S1C-14, IEEE, 2003.

P. Strooper, D. Carrington, S. Newby and T. Stevenson. Teaching Software Engineering Fundamentals to Practicing Engineers, Proc. Conference on Software Engineering Education and Training (CSEE&T 2003), IEEE Computer Society Press, pp. 36-43, 2003.

J. Börstler, D. Carrington, G. W. Hislop, S. Lisack, K. Olson, and L. Williams. Teaching PSP: Challenges and Lessons Learned, IEEE Software, 19(5):42-47, 2002.

H.C. Purchase, D. Carrington and J-A. Alder. Graph Layout Aesthetics in UML Diagrams: User Preferences, Journal of Graph Algorithms and Applications, 6(3):255-279, 2002.

H.C. Purchase, J-A. Alder and D. Carrington. Empirical Evaluation of Aesthetic-based graph layout, Empirical Software Engineering, 7(3):233-255, 2002.

S-K. Kim and D. Carrington. Integrating Use-case Analysis and Task Analysis for  Interactive Systems, Proc. APSEC2002, pp. 12-21, 2002

H.C. Purchase, L. Colpoys, M. McGill, D. Carrington. UML collaboration diagram syntax: an empirical study of comprehension, Proc. VISSOFT 2002:  Workshop on Visualizing Software for Understanding and Analysis, IEEE Computer Society Press, pp. 13-22, 2002.

S-K. Kim & D. Carrington. A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z, Proc. 4th International Conference on Formal Engineering Methods, Springer Verlag, pp. 548-560, 2002.

S-K. Kim and D. Carrington. A Formal Model of the UML Metamodel: the UML State Machine and its Integrity Constraints, Proc. 2nd International Conference of B and Z Users, Springer Verlag, pp. 497-516, 2002.

S-K. Kim and D. Carrington. A Formal Denotational Semantics of UML in Object-Z. L’Objet, 7(1):323-362, 2001.

D. Carrington. Software Engineering Tools and Methods, In Guide to the Software Engineering Body of Knowledge: Trial Version, Alain Abran et al. (eds.), chapter 10, IEEE Computer Society Press, 2001.

H.C. Purchase, M. McGill, L. Colpoys, and D. Carrington. Graph Drawing aesthetics and the comprehension of UML class diagrams: an empirical study, Proc. Australian Symposium on Information Visualisation, pp. 129-137, 2001.

H.C. Purchase, L. Colpoys, M. McGill, D. Carrington, and C. Britton. UML Class Diagram Syntax: an empirical study of comprehension, Proc. Australian Symposium on Information Visualisation, pp. 113-120, 2001.

S-K. Kim, D. Carrington and R. Duke. A Metamodel-based Transformation between UML and Object-Z. Proc. Symposium on Visual Languages and Formal Methods, IEEE Press, pp. 112-119, 2001.

A. Hussey, I. MacColl and D. Carrington. Assessing Usability from Formal User-Interface Designs. Proc Australian Software Engineering Conference, IEEE Press, pp. 40-47, 2001.

D. Carrington, B. McEninery and D. Johnston. PSP in the Large Class. Proc. Conference on Software Engineering Education and Training (CSEE&T 2001), IEEE Computer Society Press, pp. 81-88, 2001.

J. Shield, I.J. Hayes and D.A. Carrington. Using Theory Interpretation to Mechanise the Reals in a Theorem Prover, Electronic Notes in Theoretical Computer Science, 42, Elsevier Science Publishers, Colin Fidge (editor), 2001.

M. Toleman, D. Carrington, P. Cook, A. Coyle, T. Jones, A. MacDonald and J. Welsh. Generic description of a software document environment. In R. H. Sprague, editor, Proc. 34th Annual Hawaii International Conference on System Sciences, IEEE Computer Society, January 2001.

A. MacDonald and D. Carrington. Some elements of Z specification style: structuring techniques, Journal of Universal Computer Science, 6(12):1203-1225, December 2000.

D. Carrington, I. MacColl, J. McDonald, L. Murray and P. Strooper. From Object-Z Specifications to ClassBench Test Suites, Software Testing, Verification and Reliability, 10(2):111-137, 2000.

L. Wildman, C. Fidge and D. Carrington. Computer-Aided Development of a Real-Time Program, Software---Concepts & Tools, 19(4):190-202, August 2000.

S-K. Kim and D. Carrington. An Integrated Framework with UML and Object-Z for Developing a Precise and Understandable Specification: The Light Control Case Study. In Proc. Seventh Asia-Pacific Software Engineering Conference, IEEE Computer Society, pp. 240-248, December 2000.

S-K. Kim and D. Carrington. A Formal Mapping between UML Models and Object-Z specifications. Proc. 1^st International Conference of Z and B users, LNCS 1878, Springer-Verlag, pp. 2-21, 2000.

H.C. Purchase, J.-A. Alder and D. Carrington. User Preference of Graph Layout Aesthetics: a UML study, Proc. Graph Drawing Symposium, LNCS 1984, Springer Verlag, pp. 5-18, 2000.

H.C. Purchase, D. Carrington and J.-A. Alder. Experimenting with aesthetics-based graph layout Proc. Theory and Application of Diagrams conference, Lecture Notes in Artificial Intelligence 1889, Springer Verlag, pp. 498-501, 2000.

I. MacColl and D. Carrington. Translating UAN into CSP. Proc. Third International Conference on Formal Engineering Methods, pp. 121-129. IEEE Computer Society Press, 2000.

A. Hussey and D. Carrington. Object-Oriented User-Interface Development. IEE Proc. on Software, 146(5):221-231, October 1999.

S-K. Kim and D. Carrington. Visualization of Formal Specifications. Proc. Sixth Asia-Pacific Software Engineering Conference, pp. 38-45, IEEE Computer Society, December 1999.

L. Murray, D. Carrington, I. MacColl and P. Strooper. TinMan - A Test Derivation and Management Tool for Specification-based Class Testing. Proc. Technology of Object-Oriented Languages and Systems TOOLS 32, pp. 222-233, IEEE Computer Society, November 1999.

S-K. Kim and D. Carrington. Formalizing the UML class diagram using Object-Z. Proc. 2nd International Conference on UML: UML'99, pp. 83-98, Springer Verlag, October 1999.

A. Hussey and D. Carrington. Model-based Design of User-Interfaces using Object-Z. Proc. Computer-Aided Design of User Interfaces II, pp. 43-53, Kluwer, October, 1999.

I. MacColl and D. Carrington. Specifying interactive systems in Object-Z and CSP, Proc. First International Workshop on Integrated Formal Methods, Springer, pp. 335-352, June 1999.

I. MacColl and D Carrington. Extending the test template framework for specification-based testing of interactive systems. Proc Australasian Computer Science Conference (ACSC’99), pp. 372-383, Springer, 1999.

D. Carrington, I. Hayes, R. Nickson, G. Watson and J. Welsh. A refinement tool for developing correct programs. Formal Aspects of Computing, 10(2):97-124, 1998.

A. Hussey and D. Carrington. Specifying a web browser interface using Object-Z, In Formal Methods in Human-Computer Interaction, P. Palanque and F. Paterno (eds.), Chapter 8, Spring Verlag, 1998.

A. Hussey and D. Carrington. An empirical study of formal user-interface design. HCI Letters, 1(1):19-24, Springer, 1998.

I. MacColl, L. Murray, P. Strooper and D. Carrington. Specification-based class testing: a case study. Proc. Second International Conference on Formal Engineering Methods (ICFEM98), pp. 222-231, IEEE Computer Society Press, 1998.

D. Carrington. Time monitoring for students. Proc. 28^th Annual Frontiers in Education Conference (FIE’98), pp. 8-13, IEEE Computer Society Press, 1998.

D. Carrington. Teaching software design and testing. Proc. 28^th Annual Frontiers in Education Conference (FIE’98), pp. 547-550, IEEE Computer Society Press, 1998.

L. Murray, D. Carrington, I. MacColl, J. MacDonald and P. Strooper. Formal derivation of finite state machines for class testing. Proc. ZUM’98: The Z formal specification notation, pp. 42-59, Springer-Verlag, 1998.

I. MacColl and D. Carrington. Testing MATIS: A case study on specification-based testing of interactive systems. Proc. Formal Aspects of HCI (FAHCI98), pp. 57-69, Sheffield-Hallam University, 1998.

A. MacDonald and D. Carrington. Guiding Object-Oriented Design, Proc. Technology of Object-Oriented Languages (TOOLS 28), pp. 88-100, 1998.

I. MacColl and D. Carrington. Extending the Test Template Framework. Proc. Third Northern Formal Methods Workshop (NFMW’98), BCS, 1998.

A. Hussey and D. Carrington. Which widgets? Deriving implementations from user-interface specifications. Proc. Design, Specification and Verification of Interactive Systems’98, pp. 206-224, Springer, 1998.

A. Hussey and D. Carrington. Which widgets? Transforming formal user-interface specifications to implementations, Proc. 21^st Australasian Computer Science Conference, pp. 295-306, Springer, 1998.

A. Hussey and D. Carrington. Comparing the MVC and PAC architectures: a formal perspective. In IEE Proc. on Software Engineering, 144(4):224-236, 1997.

A. Hussey and D. Carrington. Specifying the UQ* user-interface in Object-Z, In Proc. Asia-Pacific Software Engineering Conference ’97, pp. 374-383, IEEE Computer Society Press, 1997.

W. Allison, D. Carrington, T. Jones, L. Stewart-Zerba and J. Welsh. Visualising software documents in a generic development environment. In Proc. 1997 Australian Software Engineering Conference, pp. 49-59, IEEE Computer Society Press, 1997.

L. Murray, D. Carrington, I. MacColl and P. Strooper. Extending test templates with inheritance. In Proc. Australian Software Engineering Conference, pp. 80-87, IEEE Computer Society Press, 1997.

D. Carrington. Teaching software testing. In Proc. 2^nd Australasian Conference on Computer Science Education, pp. 59-64, ACM Press, 1997.

J. Shield, R. Nickson and D. Carrington. Supporting data refinement in a program refinement tool. In Proc. Formal Methods Pacific, pp. 208-222, Springer-Verlag, 1997.

P. Stocks and D. Carrington. A framework for specification-based testing. IEEE Transactions on Software Engineering, 22(11):777-793, 1996.

A. Hussey and D. Carrington. Using Object-Z to specify a web browser. In Proc. OzCHI’96, pp. 236-243, IEEE Computer Society Press, 1996.

W. Allison, D. Carrington, T. Jones, L. Stewart-Zerba, G. Watson and J. Welsh. Software visualisation in a generic development environment. In Proc. 1996 Australian Software Engineering Conference, pp. 47-54, IEEE Computer Society Press, 1996.

A. Hussey and D. Carrington. Using Object-Z to compare the MVC and PAC architectures. In Proc. BCS-FACS Workshop on Formal Aspects of the Human-Computer Interface, Springer-Verlag, 1996.

D. Carrington, I. Hayes, R. Nickson, G. Watson and J. Welsh. A tool for developing correct programs by refinement. In Proc. BCS-FACS 7^th Refinement Workshop, Springer-Verlag, 1996.

P. Strooper, P. Bakker, D. Carrington, P. Creasy, A. Goodchild, I. MacColl and H. Purchase. Setting up a tutor training programme in computer science, In Proc. 1^st Australasian Computer Science Education Conference, pp. 254-259, ACM Press, 1996.

I. MacColl, D. Carrington, P. Stocks. An experiment in specification-based testing. In Proc. 19^th Australasian Computer Science Conference (ACSC’96), pp. 159-168, 1996.

D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh. Structured presentation of refinements and proofs, In Proc. 19^th Australasian Computer Science Conference (ACSC’96), pp. 87-96, 1996.

A. Hussey and D. Carrington. Rapid evolutionary prototyping using Tcl/Tk. In Proc. OzCHI’95, pp. 270-275, Ergonomics Society of Australia, 1995.

P. Bakker, D. Carrington, A. Goodchild, I. Hayes, H. Purchase and P. Strooper. The communicating technologist: an educational challenge. In Proc. 25^th Annual Frontiers in Education Conference, pp. 4a4.1-4a4.4, IEEE Computer Society Press, 1995.

A. MacDonald and D. Carrington. Structuring Z specifications: some choices. In Proc. ZUM’95 (9^th International Conference of Z Users), LNCS-967, pp. 203-223, Springer-Verlag 1995.

A. Hussey and D. Carrington. Comparing two user-interface architectures: MVC and PAC. In Proc. QCHI’95 Symposium, pp. 3-21, Ergonomics Society of Australia, 1995.

T. Jones, W. Allison and D. Carrington. Relational views for program comprehension. In Proc. 3^rd Workshop on Program Comprehension, pp. 136-144, IEEE Computer Society Press, 1994.

D. Carrington and P. Stocks. A tale of two paradigms: formal methods and software testing. In Proc. Z User Workshop (8^th Z User Meeting), pp. 51-68, Springer-Verlag, 1994.

A. MacDonald and D. Carrington. Deriving modularity from specifications. In Proc. 17^th Australasian Computer Science Conference, pp. 229-237, 1994.

D. Carrington, D. Duke, I. Hayes and J. Welsh. Deriving modular designs from formal specifications. In Proc. First ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 89-98, ACM Press, 1993.

P. Stocks and D. Carrington. Test template framework: a specification-based testing case study. In Proc. International Symposium on Software Testing and Analysis, pp. 11-18, ACM Press, 1993.

P. Stocks and D. Carrington. Test templates: a specification-based testing framework. In Proc. 15^th International Conference on Software Engineering, pp. 405-414, IEEE Computer Society Press, 1993.

P. Stocks, K. Raymond, D. Carrington and A. Lister. Modelling open distributed systems in Z. Computer Communications, 15(2):103-113, 1992.

D. Carrington. ZOOM Workshop Report. In Proc. 6^th Annual Z User Meeting, pp. 352-364, Springer-Verlag, 1991.

P. Stocks and D. Carrington. Deriving software test cases from formal specifications. In Proc. 6^th Australian Software Engineering Conference, pp. 327-340, Australian Computer Society, 1991.

A. Lee and D. Carrington. Formalising extensions and modifications to telecommunications software. In 1^st Australian Conference on Telecommunications Software, pp. 205-210. IREE, 1991.

P. Eades, W. Lai and D. Carrington. Dion: a visual language for representing abstract relational information. In Proc. 14^th Australian Computer Science Conference, pp. 27-1 – 27-10, 1991.

D. Carrington and K. Robinson. Refinement of two graph problems. In Proc. BCS-FACS 4^th Refinement Workshop, pp. 241-257, Springer-Verlag, 1991,

D. Carrington and K. Robinson. Computer Assistance for Program Refinement, In Computer-aided Verification, LNCS 531, pp. 312-321, Springer Verlag, 1990.

D. Carrington, I. Hayes and J. Welsh. A syntax-directed editor for object-oriented specifications. In Proc. Tools Pacific ’90, pp. 46-57, 1990.

D. Carrington and G. Smith. Extending Z for object-oriented specifications. In Proc. 5^th Australian Software Engineering Conference, pp. 9-14, IREE, 1990.

D. Carrington and K. Robinson. Tool support for the refinement calculus. In Proc. CAV’90, pp. 381-394, American Mathematical Society, 1990.

D. Carrington and K. Robinson. Refinement of the graph sink problem. In Proc. 13^th Australian Computer Science Conference, pp. 41-50, 1990.

D. Carrington, D. Duke, R. Duke, P. King, G. Rose and G. Smith. Object-Z: an object-oriented extension to Z. In Proc. Formal Description Techniques (FORTE'89), pp. 281-296, North-Holland, 1990.

D. Carrington and K. Robinson. Specification of a program refinement editor. In Proc. Australian Computing Conference, pp. 203-226, Australian Computer Society, 1988.

D. Carrington and K. Robinson. A prototype program refinement editor. In Proc. Australian Software Engineering Conference, pp. 45-63, Australian Computer Society, 1988.

D. Carrington. User interface issues in programming environments. Australian Computer Journal, 18(2):55-60, Australian Computer Society, 1986.

D. Carrington. The performance of an inverted hash index for phrase matching. In Proc. 9^th Australian Computer Science Conference, pp. 243-249, 1986.

D. Carrington, K. Robinson, G. Whale. GIVE: A system for collecting and testing student assignments. In Proc. 7^th Australian Computer Science Conference, pp. 21.1-21.10, 1984.

D. Carrington. Profiling under ELXSI UNIX. Software – Practice and Experience, 16(9):865-873, 1986.

D. Carrington. A monitoring system for the PDP-11. In Proc. 2^nd Australian Computer Science Conference, pp. 98-104, 1979.