David A. Carrington

	2009
84		Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington: Selecting Usability Evaluation Methods for Software Process Descriptions. APSEC 2009: 523-529
83		Soon-Kyeong Kim, David A. Carrington: A formalism to describe design patterns based on role concepts. Formal Asp. Comput. 21(5): 397-420 (2009)
	2008
82		Junhua Wang, Soon-Kyeong Kim, David A. Carrington: Automatic Generation of Test Models for Model Transformations. Australian Software Engineering Conference 2008: 432-440
81		Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman: Model-Based Generation of Interlocking Controller Software from Control Tables. ECMDA-FA 2008: 349-360
80		Mohd Naz'ri Mahrin, David A. Carrington, Paul A. Strooper: Investigating Factors Affecting the Usability of Software Process Descriptions. ICSP 2008: 222-233
	2007
79		Benjamin W. Long, Colin J. Fidge, David A. Carrington: Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC 2007: 171-180
78		Erica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth: Improving Usability of Software Refactoring Tools. ASWEC 2007: 307-318
77		Rakesh Shukla, Paul A. Strooper, David A. Carrington: A Framework for Statistical Testing of Software Components. International Journal of Software Engineering and Knowledge Engineering 17(3): 379-405 (2007)
	2006
76		Soon-Kyeong Kim, David A. Carrington: A Pattern based Model Evolution Approach. APSEC 2006: 217-224
75		Junhua Wang, Soon-Kyeong Kim, David A. Carrington: Verifying Metamodel Coverage of Model Transformations. ASWEC 2006: 270-282
74		Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper: An Industry-Based Evaluation of Process Modeling Techniques. EuroSPI 2006: 111-122
73		Soon-Kyeong Kim, David A. Carrington: A Tool for a Formal Pattern Modeling Language. ICFEM 2006: 568-587
	2005
72		Rakesh Shukla, David A. Carrington, Paul A. Strooper: A Passive Test Oracle Using a Component's API. APSEC 2005: 561-567
71		Rakesh Shukla, Paul A. Strooper, David A. Carrington: Tool Support for Statistical Testing of Software Components. APSEC 2005: 719-728
70		Soon-Kyeong Kim, Damian Burger, David A. Carrington: An MDA Approach Towards Integrating Formal and Informal Modeling Languages. FM 2005: 448-464
69		Soon-Kyeong Kim, David A. Carrington: A Rigorous Foundation for Pattern-Based Design Models. ZB 2005: 242-261
68		David A. Carrington, Paul A. Strooper, Sharron Newby, Terry Stevenson: An industry/university collaboration to upgrade software engineering knowledge and skills in industry. Journal of Systems and Software 75(1-2): 29-39 (2005)
	2004
67		Leesa Murray, David A. Carrington, Paul A. Strooper: An Approach to Specifying Software Frameworks. ACSC 2004: 185-192
66		Soon-Kyeong Kim, David A. Carrington: Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. APSEC 2004: 257-264
65		Rakesh Shukla, David A. Carrington, Paul A. Strooper: Systematic Operational Profile Development for Software Components. APSEC 2004: 528-537
64		Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington: An Environment for Building a System out of its Requirements. ASE 2004: 398-399
63		Soon-Kyeong Kim, David A. Carrington: A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. Australian Software Engineering Conference 2004: 87-95
62		Rakesh Shukla, Paul A. Strooper, David A. Carrington: A Framework for Reliability Assessment of Software Components. CBSE 2004: 272-279
61		Noopur Davis, Julia Mullaney, David A. Carrington: Using Measurement Data in a TSPSM Project. EuroSPI 2004: 91-101
	2003
60		Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson: Teaching Software Engineering Fundamentals to Practicing Engineers. CSEE&T 2003: 36-43
59		Luke Wildman, Colin J. Fidge, David A. Carrington: The Variety of Variables in Automated Real-Time Refinement. Formal Asp. Comput. 15(2-3): 258-279 (2003)
	2002
58		Soon-Kyeong Kim, David A. Carrington: Integrating Use-Case Analysis and Task Analysis for Interactive Systems. APSEC 2002: 12-21
57		Soon-Kyeong Kim, David A. Carrington: A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. ICFEM 2002: 548-560
56		Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington: UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. VISSOFT 2002: 13-22
55		Soon-Kyeong Kim, David A. Carrington: A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. ZB 2002: 497-516
54		Helen C. Purchase, David A. Carrington, Jo-Anne Allder: Empirical Evaluation of Aesthetics-based Graph Layout. Empirical Software Engineering 7(3): 233-255 (2002)
53		Jürgen Börstler, David A. Carrington, Gregory W. Hislop, Susan K. Lisack, Keith Olson, Laurie A. Williams: Teaching the PSP: Challenges and Lessons Learned. IEEE Software 19(5): 42-48 (2002)
52		Helen C. Purchase, Jo-Anne Allder, David A. Carrington: Graph Layout Aesthetics in UML Diagrams: User Preferences. J. Graph Algorithms Appl. 6(3): 255-279 (2002)
	2001
51		Andrew Hussey, Ian MacColl, David A. Carrington: Assessing Usability from Formal User-Interface Designs. Australian Software Engineering Conference 2001: 40-47
50		David A. Carrington: Teaching PSPSM and TSPi in Universities. CSEE&T 2001: 139-
49		Ann E. Kelley Sobel, Donald J. Bagert, David A. Carrington, Yoshihiro Matsumoto, Pierre N. Robillard, J. Barrie Thompson: SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel). CSEE&T 2001: 293
48		David A. Carrington, Ben McEniery, Dan B. Johnston: PSP SM in the Large Class. CSEE&T 2001: 81-88
47		Soon-Kyeong Kim, David A. Carrington, Roger Duke: A Metamodel-based transformation between UML and Object-Z. HCC 2001: 112-119
46		Mark A. Toleman, David A. Carrington, Phil Cook, Andrew Coyle, Anthony MacDonald, Jim Welsh, Tim Jones: Generic Description of a Software Document Environment. HICSS 2001
45		Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington, Carol Britton: UML Class Diagram Syntax: An Empirical Study of Comprehension. InVis.au 2001: 113-120
44		Helen C. Purchase, Matthew McGill, Linda Colpoys, David A. Carrington: Graph Drawing Aesthetics and the Comprehension of UML Class Diagrams: An Empirical Study. InVis.au 2001: 129-137
43		Jamie Shield, Ian J. Hayes, David A. Carrington: Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. Electr. Notes Theor. Comput. Sci. 42: (2001)
42		Soon-Kyeong Kim, David A. Carrington: A formal denotational semantics of UML in Object-Z. L'OBJET 7(1): (2001)
	2000
41		Soon-Kyeong Kim, David A. Carrington: An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. APSEC 2000: 240-248
40		Helen C. Purchase, David A. Carrington, Jo-Anne Allder: Experimenting with Aesthetics-Based Graph Layout. Diagrams 2000: 498-501
39		Helen C. Purchase, Jo-Anne Allder, David A. Carrington: User Preference of Graph Layout Aesthetics: A UML Study. Graph Drawing 2000: 5-18
38		Ian MacColl, David A. Carrington: Translating UAN into CSP. ICFEM 2000: 121-
37		Soon-Kyeong Kim, David A. Carrington: A Formal Mapping between UML Models and Object-Z Specifications. ZB 2000: 2-21
36		Anthony MacDonald, David A. Carrington: Some Elements of Z Specification Style: Structuring Techniques. J. UCS 6(12): 1203-1225 (2000)
35		David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper: From Object-Z Specifications to ClassBench Test Suites. Softw. Test., Verif. Reliab. 10(2): 111-137 (2000)
34		Luke Wildman, Colin J. Fidge, David A. Carrington: Computer-aided development of a real-time program. Software - Concepts and Tools 19(4): 190-202 (2000)
	1999
33		Soon-Kyeong Kim, David A. Carrington: Visualization of Formal Specifications. APSEC 1999: 102-109
32		Andrew Hussey, David A. Carrington: Model-Based Design of User Interfaces Using Object-Z. CADUI 1999: 43-56
31		Ian MacColl, David A. Carrington: Specifying Interactive Systems in Object-Z and CSP. IFM 1999: 335-352
30		Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper: TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. TOOLS (32) 1999: 222-233
29		Soon-Kyeong Kim, David A. Carrington: Formalizing the UML Class Diagram Using Object-Z. UML 1999: 83-98
28		Ian MacColl, David A. Carrington: A Model of Specification-Based Testing of Interactive Systems. World Congress on Formal Methods 1999: 1862
27		Andrew Hussey, David A. Carrington: Object-oriented user-interface development. IEE Proceedings - Software 146(5): 221-231 (1999)
	1998
26		David A. Carrington: Proceedings of the ACM SIGCSE 3rd Australasian Conference on Computer Science Education, ACSE 1998, The University of Queensland, Bisbane, Queensland, Australia, July 8-10, 1998 ACM 1998
25		Alfred Hussey, David A. Carrington: Which widgets? deriving implementations from user-interface specifications. DSV-IS 1998: 206-224
24		Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington: Specification-Based Class Testing: A Case Study. ICFEM 1998: 222-
23		Anthony MacDonald, David A. Carrington: Guiding Object-Oriented Design. TOOLS (28) 1998: 88-100
22		Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper: Formal Derivation of Finite State Machines for Class Testing. ZUM 1998: 42-59
21		David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh: A Program Refinement Tool. Formal Asp. Comput. 10(2): 97-124 (1998)
	1997
20		David A. Carrington: Teaching software testing. ACSE 1997: 59-64
19		Andrew Hussey, David A. Carrington: Specifying the UQ* user-interface with Object-Z. APSEC 1997: 374-
18		Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Jim Welsh: Visualising Software Documents in a Generic Development Environment. Australian Software Engineering Conference 1997: 49-59
17		Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper: Extending Test Templates with Inheritance. Australian Software Engineering Conference 1997: 80-87
16		Andrew Hussey, David A. Carrington: Comparing the MVC and PAC architectures: a formal perspective. IEE Proceedings - Software 144(4): 224-236 (1997)
	1996
15		Paul Bakker, Andrew Goodchild, Paul A. Strooper, David A. Carrington, Ian MacColl, Peter Creasy, Helen C. Purchase: Setting up a tutor training programme in computer science. ACSE 1996: 254-259
14		Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh: Software Visualisation in a Generic Development Environment. ASYNC 1996: 47-54
13		Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh: Software Visualisation in a Generic Development Environment. Australian Software Engineering Conference 1996: 47-54
12		Phil Stocks, David A. Carrington: A Framework for Specification-Based Testing. IEEE Trans. Software Eng. 22(11): 777-793 (1996)
	1995
11		Anthony MacDonald, David A. Carrington: Structuring Z Specifications: Some Choices. ZUM 1995: 203-223
	1994
10		David A. Carrington, Phil Stocks: A Tale of Two Paradigms: Formal Methods and Software Testing. Z User Workshop 1994: 51-68
	1993
9		Phil Stocks, David A. Carrington: Test Templates: A Specification-Based Testing Framework. ICSE 1993: 405-414
8		Phil Stocks, David A. Carrington: Test Template Framework: A Specification-Based Testing Case Study. ISSTA 1993: 11-18
7		David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh: Deriving Modular Designs from Formal Specifications. SIGSOFT FSE 1993: 89-98
	1992
6		Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister: Modelling open distributed systems in Z. Computer Communications 15(2): 103-113 (1992)
	1991
5		David A. Carrington: ZOOM Workshop Report. Z User Workshop 1991: 352-364
	1990
4		David A. Carrington, K. A. Robinson: Computer Assistance for Program Refinement. CAV 1990: 312-321
	1989
3		David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith: Object-Z: An Object-Oriented Extension to Z. FORTE 1989: 281-296
	1986
2		David A. Carrington: User Interface issues in Programming Environments. Australian Computer Journal 18(2): 55-60 (1986)
1		David A. Carrington: Profiling under ELXSI UNIX. Softw., Pract. Exper. 16(9): 865-873 (1986)

Coauthor Index

1	Jo-Anne Allder	[39] [40] [52] [54]
2	Warwick Allison	[13] [14] [18]
3	Donald J. Bagert	[49]
4	Paul Bakker	[15]
5	Jürgen Börstler	[53]
6	Carol Britton	[45]
7	Damian Burger	[70]
8	Brent Cahill	[74]
9	Cédric Chevillat	[81]
10	Linda Colpoys	[44] [45] [56]
11	Phil Cook	[46]
12	Andrew Coyle	[46]
13	Peter Creasy	[15]
14	Noopur Davis	[61]
15	R. Geoff Dromey	[64]
16	David J. Duke	[3] [7]
17	Roger Duke	[3] [47]
18	Colin J. Fidge	[34] [59] [79]
19	Andrew Goodchild	[15]
20	Ian J. Hayes	[7] [21] [43] [64]
21	Gregory W. Hislop	[53]
22	Alfred Hussey	[25]
23	Andrew Hussey	[16] [19] [27] [32] [51]
24	Dan B. Johnston	[48]
25	Tim Jones	[13] [14] [18] [46]
26	Soon-Kyeong Kim	[29] [33] [37] [41] [42] [47] [55] [57] [58] [63] [66] [69] [70] [73] [75] [76] [82] [83]
27	Paul King	[3]
28	Peter A. Lindsay	[64]
29	Susan K. Lisack	[53]
30	Andrew Lister	[6]
31	Benjamin W. Long	[79]
32	Ian MacColl	[15] [17] [22] [24] [28] [30] [31] [35] [38] [51]
33	Anthony MacDonald	[11] [23] [36] [46]
34	Mohd Naz'ri Mahrin	[80] [84]
35	Yoshihiro Matsumoto	[49]
36	Jason McDonald	[22] [35]
37	Ben McEniery	[48]
38	Matthew McGill	[44] [45] [56]
39	Erica Mealy	[78]
40	Julia Mullaney	[61]
41	Leesa Murray	[17] [22] [24] [30] [35] [67]
42	Sharron Newby	[60] [68]
43	Ray Nickson	[21]
44	Keith Olson	[53]
45	Helen C. Purchase	[15] [39] [40] [44] [45] [52] [54] [56]
46	Kerry Raymond	[6]
47	Pierre N. Robillard	[49]
48	K. A. Robinson	[4]
49	Gordon A. Rose	[3]
50	Jamie Shield	[43]
51	Rakesh Shukla	[62] [65] [71] [72] [77]
52	Cameron Smith	[64]
53	Graeme Smith	[3]
54	Ann E. Kelley Sobel	[49]
55	Brian Song	[74]
56	Terry Stevenson	[60] [68]
57	Larry Stewart-Zerba	[13] [14] [18]
58	Phil Stocks	[6] [8] [9] [10] [12]
59	Paul A. Strooper	[15] [17] [22] [24] [30] [35] [60] [62] [65] [67] [68] [71] [72] [74] [77] [78] [80] [81] [84]
60	Jörn Guy Süß	[81]
61	J. Barrie Thompson	[49]
62	Mark A. Toleman (Mark Toleman)	[46]
63	Junhua Wang	[75] [82]
64	Geoffrey Watson	[13] [14] [21]
65	Jim Welsh	[7] [13] [14] [18] [21] [46]
66	Luke Wildman	[34] [59] [81]
67	Laurie A. Williams (Laurie Williams)	[53]
68	Kirsten Winter	[64]
69	Peta Wyeth	[78]

Colors in the list of coauthors