David A. Carrington

Soon-Kyeong Kim, David A. Carrington: A formalism to describe design patterns based on role concepts. Formal Asp. Comput. 21(5): 397-420 (2009)

Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington: Selecting Usability Evaluation Methods for Software Process Descriptions. APSEC 2009: 523-529

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

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

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

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)

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

Erica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth: Improving Usability of Software Refactoring Tools. ASWEC 2007: 307-318

Soon-Kyeong Kim, David A. Carrington: A Pattern based Model Evolution Approach. APSEC 2006: 217-224

Junhua Wang, Soon-Kyeong Kim, David A. Carrington: Verifying Metamodel Coverage of Model Transformations. ASWEC 2006: 270-282

Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper: An Industry-Based Evaluation of Process Modeling Techniques. EuroSPI 2006: 111-122

Soon-Kyeong Kim, David A. Carrington: A Tool for a Formal Pattern Modeling Language. ICFEM 2006: 568-587

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)

Rakesh Shukla, David A. Carrington, Paul A. Strooper: A Passive Test Oracle Using a Component's API. APSEC 2005: 561-567

Rakesh Shukla, Paul A. Strooper, David A. Carrington: Tool Support for Statistical Testing of Software Components. APSEC 2005: 719-728

Soon-Kyeong Kim, Damian Burger, David A. Carrington: An MDA Approach Towards Integrating Formal and Informal Modeling Languages. FM 2005: 448-464

Soon-Kyeong Kim, David A. Carrington: A Rigorous Foundation for Pattern-Based Design Models. ZB 2005: 242-261

Leesa Murray, David A. Carrington, Paul A. Strooper: An Approach to Specifying Software Frameworks. ACSC 2004: 185-192

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

Rakesh Shukla, David A. Carrington, Paul A. Strooper: Systematic Operational Profile Development for Software Components. APSEC 2004: 528-537

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

Rakesh Shukla, Paul A. Strooper, David A. Carrington: A Framework for Reliability Assessment of Software Components. CBSE 2004: 272-279

Noopur Davis, Julia Mullaney, David A. Carrington: Using Measurement Data in a TSP^SM Project. EuroSPI 2004: 91-101

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

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)

Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson: Teaching Software Engineering Fundamentals to Practicing Engineers. CSEE&T 2003: 36-43

Helen C. Purchase, David A. Carrington, Jo-Anne Allder: Empirical Evaluation of Aesthetics-based Graph Layout. Empirical Software Engineering 7(3): 233-255 (2002)

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)

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)

Soon-Kyeong Kim, David A. Carrington: Integrating Use-Case Analysis and Task Analysis for Interactive Systems. APSEC 2002: 12-21

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

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

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

Soon-Kyeong Kim, David A. Carrington: A formal denotational semantics of UML in Object-Z. L'OBJET 7(1): 323-362 (2001)

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: 266-281 (2001)

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

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

Andrew Hussey, Ian MacColl, David A. Carrington: Assessing Usability from Formal User-Interface Designs. Australian Software Engineering Conference 2001: 40-47

David A. Carrington, Ben McEniery, Dan B. Johnston: PSP SM in the Large Class. CSEE&T 2001: 81-88

David A. Carrington: Teaching PSPSM and TSPi in Universities. CSEE&T 2001: 139-

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

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

Soon-Kyeong Kim, David A. Carrington, Roger Duke: A Metamodel-based transformation between UML and Object-Z. HCC 2001: 112-119

Anthony MacDonald, David A. Carrington: Some Elements of Z Specification Style: Structuring Techniques. J. UCS 6(12): 1203-1225 (2000)

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)

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)

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

Helen C. Purchase, David A. Carrington, Jo-Anne Allder: Experimenting with Aesthetics-Based Graph Layout. Diagrams 2000: 498-501

Helen C. Purchase, Jo-Anne Allder, David A. Carrington: User Preference of Graph Layout Aesthetics: A UML Study. Graph Drawing 2000: 5-18

Ian MacColl, David A. Carrington: Translating UAN into CSP. ICFEM 2000: 121-

Soon-Kyeong Kim, David A. Carrington: A Formal Mapping between UML Models and Object-Z Specifications. ZB 2000: 2-21

Andrew Hussey, David A. Carrington: Object-oriented user-interface development. IEE Proceedings - Software 146(5): 221-231 (1999)

Soon-Kyeong Kim, David A. Carrington: Visualization of Formal Specifications. APSEC 1999: 102-109

Andrew Hussey, David A. Carrington: Model-Based Design of User Interfaces Using Object-Z. CADUI 1999: 43-56

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

Ian MacColl, David A. Carrington: Specifying Interactive Systems in Object-Z and CSP. IFM 1999: 335-352

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

Soon-Kyeong Kim, David A. Carrington: Formalizing the UML Class Diagram Using Object-Z. UML 1999: 83-98

David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh: A Program Refinement Tool. Formal Asp. Comput. 10(2): 97-124 (1998)

Alfred Hussey, David A. Carrington: Which widgets? deriving implementations from user-interface specifications. DSV-IS 1998: 206-224

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

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

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

David A. Carrington (Ed.): Proceedings of the ACM SIGCSE 3rd Australasian Conference on Computer Science Education, ACSE 1998, The University of Queensland, Brisbane, Queensland, Australia, July 8-10, 1998. ACM International Conference Proceeding Series 3, ACM 1998, isbn 1-58113-018-X

Andrew Hussey, David A. Carrington: Comparing the MVC and PAC architectures: a formal perspective. IEE Proceedings - Software 144(4): 224-236 (1997)

David A. Carrington: Teaching software testing. ACSE 1997: 59-64

Andrew Hussey, David A. Carrington: Specifying the UQ* user-interface with Object-Z. APSEC 1997: 374-

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

Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper: Extending Test Templates with Inheritance. Australian Software Engineering Conference 1997: 80-87

Phil Stocks, David A. Carrington: A Framework for Specification-Based Testing. IEEE Trans. Software Eng. 22(11): 777-793 (1996)

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

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

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

Anthony MacDonald, David A. Carrington: Structuring Z Specifications: Some Choices. ZUM 1995: 203-223

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

Phil Stocks, David A. Carrington: Test Templates: A Specification-Based Testing Framework. ICSE 1993: 405-414

Phil Stocks, David A. Carrington: Test Template Framework: A Specification-Based Testing Case Study. ISSTA 1993: 11-18

David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh: Deriving Modular Designs from Formal Specifications. SIGSOFT FSE 1993: 89-98

Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister: Modelling open distributed systems in Z. Computer Communications 15(2): 103-113 (1992)

David A. Carrington: ZOOM Workshop Report. Z User Workshop 1991: 352-364

David A. Carrington, K. A. Robinson: Computer Assistance for Program Refinement. CAV 1990: 312-321

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

David A. Carrington: User Interface issues in Programming Environments. Australian Computer Journal 18(2): 55-60 (1986)

David A. Carrington: Profiling under ELXSI UNIX. Softw., Pract. Exper. 16(9): 865-873 (1986)