Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
David A. Carrington
2000 – 2009
- 2009
[j19]Soon-Kyeong Kim, David A. Carrington: A formalism to describe design patterns based on role concepts. Formal Asp. Comput. 21(5): 397-420 (2009)- [c64]Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington: Selecting Usability Evaluation Methods for Software Process Descriptions. APSEC 2009: 523-529
- 2008
- [c63]Junhua Wang, Soon-Kyeong Kim, David A. Carrington: Automatic Generation of Test Models for Model Transformations. Australian Software Engineering Conference 2008: 432-440
- [c62]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
- [c61]Mohd Naz'ri Mahrin, David A. Carrington, Paul A. Strooper: Investigating Factors Affecting the Usability of Software Process Descriptions. ICSP 2008: 222-233
- 2007
- [j18]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)
- [c60]Benjamin W. Long, Colin J. Fidge, David A. Carrington: Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC 2007: 171-180
- [c59]Erica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth: Improving Usability of Software Refactoring Tools. ASWEC 2007: 307-318
- 2006
- [c58]
- [c57]Junhua Wang, Soon-Kyeong Kim, David A. Carrington: Verifying Metamodel Coverage of Model Transformations. ASWEC 2006: 270-282
- [c56]Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper: An Industry-Based Evaluation of Process Modeling Techniques. EuroSPI 2006: 111-122
- [c55]Soon-Kyeong Kim, David A. Carrington: A Tool for a Formal Pattern Modeling Language. ICFEM 2006: 568-587
- 2005
- [j17]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)
- [c54]Rakesh Shukla, David A. Carrington, Paul A. Strooper: A Passive Test Oracle Using a Component's API. APSEC 2005: 561-567
- [c53]Rakesh Shukla, Paul A. Strooper, David A. Carrington: Tool Support for Statistical Testing of Software Components. APSEC 2005: 719-728
- [c52]Soon-Kyeong Kim, Damian Burger, David A. Carrington: An MDA Approach Towards Integrating Formal and Informal Modeling Languages. FM 2005: 448-464
- [c51]Soon-Kyeong Kim, David A. Carrington: A Rigorous Foundation for Pattern-Based Design Models. ZB 2005: 242-261
- 2004
- [c50]Leesa Murray, David A. Carrington, Paul A. Strooper: An Approach to Specifying Software Frameworks. ACSC 2004: 185-192
- [c49]Soon-Kyeong Kim, David A. Carrington: Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. APSEC 2004: 257-264
- [c48]Rakesh Shukla, David A. Carrington, Paul A. Strooper: Systematic Operational Profile Development for Software Components. APSEC 2004: 528-537
- [c47]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
- [c46]Rakesh Shukla, Paul A. Strooper, David A. Carrington: A Framework for Reliability Assessment of Software Components. CBSE 2004: 272-279
- [c45]Noopur Davis, Julia Mullaney, David A. Carrington: Using Measurement Data in a TSPSM Project. EuroSPI 2004: 91-101
- [c44]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
- 2003
- [j16]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)
- [c43]Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson: Teaching Software Engineering Fundamentals to Practicing Engineers. CSEE&T 2003: 36-43
- 2002
- [j15]Helen C. Purchase, David A. Carrington, Jo-Anne Allder: Empirical Evaluation of Aesthetics-based Graph Layout. Empirical Software Engineering 7(3): 233-255 (2002)
- [j14]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)
- [j13]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)
- [c42]Soon-Kyeong Kim, David A. Carrington: Integrating Use-Case Analysis and Task Analysis for Interactive Systems. APSEC 2002: 12-21
- [c41]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
- [c40]Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington: UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. VISSOFT 2002: 13-22
- [c39]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
- 2001
- [j12]Soon-Kyeong Kim, David A. Carrington: A formal denotational semantics of UML in Object-Z. L'OBJET 7(1): 323-362 (2001)
- [j11]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)
- [c38]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
- [c37]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
- [c36]Andrew Hussey, Ian MacColl, David A. Carrington: Assessing Usability from Formal User-Interface Designs. Australian Software Engineering Conference 2001: 40-47
- [c35]
- [c34]
- [c33]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
- [c32]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
- [c31]Soon-Kyeong Kim, David A. Carrington, Roger Duke: A Metamodel-based transformation between UML and Object-Z. HCC 2001: 112-119
- 2000
- [j10]Anthony MacDonald, David A. Carrington: Some Elements of Z Specification Style: Structuring Techniques. J. UCS 6(12): 1203-1225 (2000)
- [j9]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)
- [j8]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)
- [c30]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
- [c29]Helen C. Purchase, David A. Carrington, Jo-Anne Allder: Experimenting with Aesthetics-Based Graph Layout. Diagrams 2000: 498-501
- [c28]Helen C. Purchase, Jo-Anne Allder, David A. Carrington: User Preference of Graph Layout Aesthetics: A UML Study. Graph Drawing 2000: 5-18
- [c27]
- [c26]Soon-Kyeong Kim, David A. Carrington: A Formal Mapping between UML Models and Object-Z Specifications. ZB 2000: 2-21
1990 – 1999
- 1999
- [j7]Andrew Hussey, David A. Carrington: Object-oriented user-interface development. IEE Proceedings - Software 146(5): 221-231 (1999)
- [c25]
- [c24]Andrew Hussey, David A. Carrington: Model-Based Design of User Interfaces Using Object-Z. CADUI 1999: 43-56
- [c23]Ian MacColl, David A. Carrington: A Model of Specification-Based Testing of Interactive Systems. World Congress on Formal Methods 1999: 1862
- [c22]Ian MacColl, David A. Carrington: Specifying Interactive Systems in Object-Z and CSP. IFM 1999: 335-352
- [c21]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
- [c20]Soon-Kyeong Kim, David A. Carrington: Formalizing the UML Class Diagram Using Object-Z. UML 1999: 83-98
- 1998
- [j6]David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh: A Program Refinement Tool. Formal Asp. Comput. 10(2): 97-124 (1998)
- [c19]Alfred Hussey, David A. Carrington: Which widgets? deriving implementations from user-interface specifications. DSV-IS 1998: 206-224
- [c18]Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington: Specification-Based Class Testing: A Case Study. ICFEM 1998: 222-
- [c17]
- [c16]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
- [e1]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
- 1997
- [j5]Andrew Hussey, David A. Carrington: Comparing the MVC and PAC architectures: a formal perspective. IEE Proceedings - Software 144(4): 224-236 (1997)
- [c15]
- [c14]Andrew Hussey, David A. Carrington: Specifying the UQ* user-interface with Object-Z. APSEC 1997: 374-
- [c13]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
- [c12]Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper: Extending Test Templates with Inheritance. Australian Software Engineering Conference 1997: 80-87
- 1996
- [j4]Phil Stocks, David A. Carrington: A Framework for Specification-Based Testing. IEEE Trans. Software Eng. 22(11): 777-793 (1996)
- [c11]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
- [c10]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
- [c9]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
- 1995
- [c8]Anthony MacDonald, David A. Carrington: Structuring Z Specifications: Some Choices. ZUM 1995: 203-223
- 1994
- [c7]David A. Carrington, Phil Stocks: A Tale of Two Paradigms: Formal Methods and Software Testing. Z User Workshop 1994: 51-68
- 1993
- [c6]Phil Stocks, David A. Carrington: Test Templates: A Specification-Based Testing Framework. ICSE 1993: 405-414
- [c5]Phil Stocks, David A. Carrington: Test Template Framework: A Specification-Based Testing Case Study. ISSTA 1993: 11-18
- [c4]David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh: Deriving Modular Designs from Formal Specifications. SIGSOFT FSE 1993: 89-98
- 1992
- [j3]Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister: Modelling open distributed systems in Z. Computer Communications 15(2): 103-113 (1992)
- 1991
- [c3]
- 1990
- [c2]
1980 – 1989
- 1989
- [c1]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
- [j2]David A. Carrington: User Interface issues in Programming Environments. Australian Computer Journal 18(2): 55-60 (1986)
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:08 CEST by the dblp team