| 2008 |
|---|
| 82 | EE | Junhua Wang,
Soon-Kyeong Kim,
David A. Carrington:
Automatic Generation of Test Models for Model Transformations.
Australian Software Engineering Conference 2008: 432-440 |
| 81 | EE | 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 | EE | 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 | EE | Benjamin W. Long,
Colin J. Fidge,
David A. Carrington:
Cross-Layer Verification of Type Flaw Attacks on Security Protocols.
ACSC 2007: 171-180 |
| 78 | EE | Erica Mealy,
David A. Carrington,
Paul A. Strooper,
Peta Wyeth:
Improving Usability of Software Refactoring Tools.
ASWEC 2007: 307-318 |
| 77 | EE | 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 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Pattern based Model Evolution Approach.
APSEC 2006: 217-224 |
| 75 | EE | Junhua Wang,
Soon-Kyeong Kim,
David A. Carrington:
Verifying Metamodel Coverage of Model Transformations.
ASWEC 2006: 270-282 |
| 74 | EE | Brent Cahill,
David A. Carrington,
Brian Song,
Paul A. Strooper:
An Industry-Based Evaluation of Process Modeling Techniques.
EuroSPI 2006: 111-122 |
| 73 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Tool for a Formal Pattern Modeling Language.
ICFEM 2006: 568-587 |
| 2005 |
|---|
| 72 | EE | Rakesh Shukla,
David A. Carrington,
Paul A. Strooper:
A Passive Test Oracle Using a Component's API.
APSEC 2005: 561-567 |
| 71 | EE | Rakesh Shukla,
Paul A. Strooper,
David A. Carrington:
Tool Support for Statistical Testing of Software Components.
APSEC 2005: 719-728 |
| 70 | EE | Soon-Kyeong Kim,
Damian Burger,
David A. Carrington:
An MDA Approach Towards Integrating Formal and Informal Modeling Languages.
FM 2005: 448-464 |
| 69 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Rigorous Foundation for Pattern-Based Design Models.
ZB 2005: 242-261 |
| 68 | EE | 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 | EE | Leesa Murray,
David A. Carrington,
Paul A. Strooper:
An Approach to Specifying Software Frameworks.
ACSC 2004: 185-192 |
| 66 | EE | Soon-Kyeong Kim,
David A. Carrington:
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.
APSEC 2004: 257-264 |
| 65 | EE | Rakesh Shukla,
David A. Carrington,
Paul A. Strooper:
Systematic Operational Profile Development for Software Components.
APSEC 2004: 528-537 |
| 64 | EE | 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 | EE | 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 | EE | Rakesh Shukla,
Paul A. Strooper,
David A. Carrington:
A Framework for Reliability Assessment of Software Components.
CBSE 2004: 272-279 |
| 61 | EE | Noopur Davis,
Julia Mullaney,
David A. Carrington:
Using Measurement Data in a TSPSM Project.
EuroSPI 2004: 91-101 |
| 2003 |
|---|
| 60 | EE | Paul A. Strooper,
David A. Carrington,
Sharron Newby,
Terry Stevenson:
Teaching Software Engineering Fundamentals to Practicing Engineers.
CSEE&T 2003: 36-43 |
| 59 | EE | 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 | EE | Soon-Kyeong Kim,
David A. Carrington:
Integrating Use-Case Analysis and Task Analysis for Interactive Systems.
APSEC 2002: 12-21 |
| 57 | EE | 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 | EE | Helen C. Purchase,
Linda Colpoys,
Matthew McGill,
David A. Carrington:
UML Collaboration Diagram Syntax: An Empirical Study of Comprehension.
VISSOFT 2002: 13-22 |
| 55 | EE | 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 | EE | 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 | EE | 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 | EE | Andrew Hussey,
Ian MacColl,
David A. Carrington:
Assessing Usability from Formal User-Interface Designs.
Australian Software Engineering Conference 2001: 40-47 |
| 50 | EE | David A. Carrington:
Teaching PSPSM and TSPi in Universities.
CSEE&T 2001: 139- |
| 49 | EE | 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 | EE | David A. Carrington,
Ben McEniery,
Dan B. Johnston:
PSP SM in the Large Class.
CSEE&T 2001: 81-88 |
| 47 | EE | Soon-Kyeong Kim,
David A. Carrington,
Roger Duke:
A Metamodel-based transformation between UML and Object-Z.
HCC 2001: 112-119 |
| 46 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Helen C. Purchase,
David A. Carrington,
Jo-Anne Allder:
Experimenting with Aesthetics-Based Graph Layout.
Diagrams 2000: 498-501 |
| 39 | EE | Helen C. Purchase,
Jo-Anne Allder,
David A. Carrington:
User Preference of Graph Layout Aesthetics: A UML Study.
Graph Drawing 2000: 5-18 |
| 38 | EE | Ian MacColl,
David A. Carrington:
Translating UAN into CSP.
ICFEM 2000: 121- |
| 37 | EE | Soon-Kyeong Kim,
David A. Carrington:
A Formal Mapping between UML Models and Object-Z Specifications.
ZB 2000: 2-21 |
| 36 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Ian MacColl,
Leesa Murray,
Paul A. Strooper,
David A. Carrington:
Specification-Based Class Testing: A Case Study.
ICFEM 1998: 222- |
| 23 | EE | 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 | EE | David A. Carrington:
Teaching software testing.
ACSE 1997: 59-64 |
| 19 | EE | Andrew Hussey,
David A. Carrington:
Specifying the UQ* user-interface with Object-Z.
APSEC 1997: 374- |
| 18 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Phil Stocks,
David A. Carrington:
Test Templates: A Specification-Based Testing Framework.
ICSE 1993: 405-414 |
| 8 | EE | Phil Stocks,
David A. Carrington:
Test Template Framework: A Specification-Based Testing Case Study.
ISSTA 1993: 11-18 |
| 7 | EE | David A. Carrington,
David J. Duke,
Ian J. Hayes,
Jim Welsh:
Deriving Modular Designs from Formal Specifications.
SIGSOFT FSE 1993: 89-98 |
| 1992 |
|---|
| 6 | EE | 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) |
