![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
David A. Carrington
Person information
- affiliation: University of Queensland, Brisbane, Australia
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
- [j20]Soon-Kyeong Kim, David A. Carrington:
A formalism to describe design patterns based on role concepts. Formal Aspects Comput. 21(5): 397-420 (2009) - [c66]Mohd Naz'ri Mahrin
, Paul A. Strooper
, David A. Carrington:
Selecting Usability Evaluation Methods for Software Process Descriptions. APSEC 2009: 523-529 - 2008
- [c65]Junhua Wang, Soon-Kyeong Kim, David A. Carrington:
Automatic Generation of Test Models for Model Transformations. Australian Software Engineering Conference 2008: 432-440 - [c64]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 - [c63]Mohd Naz'ri Mahrin
, David A. Carrington, Paul A. Strooper
:
Investigating Factors Affecting the Usability of Software Process Descriptions. ICSP 2008: 222-233 - 2007
- [j19]Rakesh Shukla, Paul A. Strooper
, David A. Carrington:
A Framework for Statistical Testing of Software Components. Int. J. Softw. Eng. Knowl. Eng. 17(3): 379-405 (2007) - [c62]Benjamin W. Long, Colin J. Fidge, David A. Carrington:
Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC 2007: 171-180 - [c61]Erica Mealy, David A. Carrington, Paul A. Strooper
, Peta Wyeth
:
Improving Usability of Software Refactoring Tools. ASWEC 2007: 307-318 - 2006
- [c60]Soon-Kyeong Kim, David A. Carrington:
A Pattern based Model Evolution Approach. APSEC 2006: 217-224 - [c59]Junhua Wang, Soon-Kyeong Kim, David A. Carrington:
Verifying Metamodel Coverage of Model Transformations. ASWEC 2006: 270-282 - [c58]Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper:
An Industry-Based Evaluation of Process Modeling Techniques. EuroSPI 2006: 111-122 - [c57]Soon-Kyeong Kim, David A. Carrington:
A Tool for a Formal Pattern Modeling Language. ICFEM 2006: 568-587 - 2005
- [j18]David A. Carrington, Paul A. Strooper
, Sharron Newby, Terry Stevenson:
An industry/university collaboration to upgrade software engineering knowledge and skills in industry. J. Syst. Softw. 75(1-2): 29-39 (2005) - [c56]Rakesh Shukla, David A. Carrington, Paul A. Strooper
:
A Passive Test Oracle Using a Component's API. APSEC 2005: 561-567 - [c55]Rakesh Shukla, Paul A. Strooper
, David A. Carrington:
Tool Support for Statistical Testing of Software Components. APSEC 2005: 719-728 - [c54]Soon-Kyeong Kim, Damian Burger, David A. Carrington:
An MDA Approach Towards Integrating Formal and Informal Modeling Languages. FM 2005: 448-464 - [c53]Soon-Kyeong Kim, David A. Carrington:
A Rigorous Foundation for Pattern-Based Design Models. ZB 2005: 242-261 - 2004
- [c52]Leesa Murray, David A. Carrington, Paul A. Strooper:
An Approach to Specifying Software Frameworks. ACSC 2004: 185-192 - [c51]Soon-Kyeong Kim, David A. Carrington:
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. APSEC 2004: 257-264 - [c50]Rakesh Shukla, David A. Carrington, Paul A. Strooper
:
Systematic Operational Profile Development for Software Components. APSEC 2004: 528-537 - [c49]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 - [c48]Rakesh Shukla, Paul A. Strooper, David A. Carrington:
A Framework for Reliability Assessment of Software Components. CBSE 2004: 272-279 - [c47]Noopur Davis, Julia Mullaney, David A. Carrington:
Using Measurement Data in a TSPSM Project. EuroSPI 2004: 91-101 - [c46]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
- [j17]Luke Wildman, Colin J. Fidge
, David A. Carrington:
The Variety of Variables in Automated Real-Time Refinement. Formal Aspects Comput. 15(2-3): 258-279 (2003) - [c45]Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson:
Teaching Software Engineering Fundamentals to Practicing Engineers. CSEE&T 2003: 36-43 - 2002
- [j16]Helen C. Purchase, David A. Carrington, Jo-Anne Allder:
Empirical Evaluation of Aesthetics-based Graph Layout. Empir. Softw. Eng. 7(3): 233-255 (2002) - [j15]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) - [j14]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 Softw. 19(5): 42-48 (2002) - [c44]Soon-Kyeong Kim, David A. Carrington:
Integrating Use-Case Analysis and Task Analysis for Interactive Systems. APSEC 2002: 12-21 - [c43]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 - [c42]Helen C. Purchase
, Linda Colpoys, Matthew McGill, David A. Carrington:
UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. VISSOFT 2002: 13-22 - [c41]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
- [j13]Soon-Kyeong Kim, David A. Carrington:
A formal denotational semantics of UML in Object-Z. Obj. Logiciel Base données Réseaux 7(1): 323-362 (2001) - [c40]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 - [c39]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 - [c38]Andrew Hussey, Ian MacColl, David A. Carrington:
Assessing Usability from Formal User-Interface Designs. Australian Software Engineering Conference 2001: 40-47 - [c37]David A. Carrington, Ben McEniery, Dan B. Johnston:
PSP SM in the Large Class. CSEE&T 2001: 81-88 - [c36]David A. Carrington:
Teaching PSPSM and TSPi in Universities. CSEE&T 2001: 139- - [c35]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 - [c34]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 - [c33]Soon-Kyeong Kim, David A. Carrington, Roger Duke:
A Metamodel-based transformation between UML and Object-Z. HCC 2001: 112-119 - [c32]Jamie Shield, Ian J. Hayes
, David A. Carrington:
Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. CATS 2001: 266-281 - 2000
- [j12]John Fulcher, David A. Carrington:
CSE Special Australasian Issue - Guest Editorial. Comput. Sci. Educ. 10(2): 107 (2000) - [j11]Anthony MacDonald, David A. Carrington:
Some Elements of Z Specification Style: Structuring Techniques. J. Univers. Comput. Sci. 6(12): 1203-1225 (2000) - [j10]Luke Wildman, Colin J. Fidge
, David A. Carrington:
Computer-aided development of a real-time program. Softw. Concepts Tools 19(4): 190-202 (2000) - [j9]David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper:
From Object-Z Specifications to ClassBench Test Suites. Softw. Test. Verification Reliab. 10(2): 111-137 (2000) - [c31]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 - [c30]Helen C. Purchase
, David A. Carrington, Jo-Anne Allder:
Experimenting with Aesthetics-Based Graph Layout. Diagrams 2000: 498-501 - [c29]Helen C. Purchase
, Jo-Anne Allder, David A. Carrington:
User Preference of Graph Layout Aesthetics: A UML Study. GD 2000: 5-18 - [c28]Ian MacColl, David A. Carrington:
Translating UAN into CSP. ICFEM 2000: 121-132 - [c27]Soon-Kyeong Kim, David A. Carrington:
A Formal Mapping between UML Models and Object-Z Specifications. ZB 2000: 2-21
1990 – 1999
- 1999
- [j8]Andrew Hussey, David A. Carrington:
Object-oriented user-interface development. IEE Proc. Softw. 146(5): 221-231 (1999) - [c26]Soon-Kyeong Kim, David A. Carrington:
Visualization of Formal Specifications. APSEC 1999: 102-109 - [c25]Andrew Hussey, David A. Carrington:
Model-Based Design of User Interfaces Using Object-Z. CADUI 1999: 43-56 - [c24]Ian MacColl, David A. Carrington:
A Model of Specification-Based Testing of Interactive Systems. World Congress on Formal Methods 1999: 1862 - [c23]Ian MacColl, David A. Carrington:
Specifying Interactive Systems in Object-Z and CSP. IFM 1999: 335-352 - [c22]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 - [c21]Soon-Kyeong Kim, David A. Carrington:
Formalizing the UML Class Diagram Using Object-Z. UML 1999: 83-98 - 1998
- [j7]David A. Carrington, Ian J. Hayes
, Ray Nickson, Geoffrey Watson, Jim Welsh:
A Program Refinement Tool. Formal Aspects Comput. 10(2): 97-124 (1998) - [c20]Alfred Hussey, David A. Carrington:
Which widgets? deriving implementations from user-interface specifications. DSV-IS 1998: 206-224 - [c19]Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington:
Specification-Based Class Testing: A Case Study. ICFEM 1998: 222-233 - [c18]Anthony MacDonald, David A. Carrington:
Guiding Object-Oriented Design. TOOLS (28) 1998: 88-100 - [c17]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:
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 [contents] - 1997
- [j6]Ian MacColl, David A. Carrington:
User interface correctness. XRDS 3(3): 9-13 (1997) - [j5]Andrew Hussey, David A. Carrington:
Comparing the MVC and PAC architectures: a formal perspective. IEE Proc. Softw. Eng. 144(4): 224-236 (1997) - [c16]David A. Carrington:
Teaching software testing. ACSE 1997: 59-64 - [c15]Andrew Hussey, David A. Carrington:
Specifying the UQ* user-interface with Object-Z. APSEC 1997: 374- - [c14]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 - [c13]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) - [c12]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 - [c11]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 - 1995
- [c10]Anthony MacDonald, David A. Carrington:
Structuring Z Specifications: Some Choices. ZUM 1995: 203-223 - 1994
- [c9]Tim Jones, Warwick Allison, David A. Carrington:
Relational views for program comprehension. WPC 1994: 136-144 - [c8]David A. Carrington, Phil Stocks:
A Tale of Two Paradigms: Formal Methods and Software Testing. Z User Workshop 1994: 51-68 - 1993
- [c7]Phil Stocks, David A. Carrington:
Test Templates: A Specification-Based Testing Framework. ICSE 1993: 405-414 - [c6]Phil Stocks, David A. Carrington:
Test Template Framework: A Specification-Based Testing Case Study. ISSTA 1993: 11-18 - [c5]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. Comput. Commun. 15(2): 103-113 (1992) - 1991
- [c4]David A. Carrington:
ZOOM Workshop Report. Z User Workshop 1991: 352-364 - 1990
- [c3]David A. Carrington, Kenneth Arthur Robinson:
Computer Assistance for Program Refinement. CAV 1990: 312-321 - [c2]David A. Carrington, Kenneth Arthur Robinson:
Tool Support for the Refinement Calculus. CAV (DIMACS/AMS volume) 1990: 381-394
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. Aust. Comput. J. 18(2): 55-60 (1986) - [j1]David A. Carrington:
Profiling under ELXSI UNIX. Softw. Pract. Exp. 16(9): 865-873 (1986)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 17:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint