dblp.uni-trier.dewww.uni-trier.de

David A. Carrington Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
82EEJunhua Wang, Soon-Kyeong Kim, David A. Carrington: Automatic Generation of Test Models for Model Transformations. Australian Software Engineering Conference 2008: 432-440
81EECé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
80EEMohd Naz'ri Mahrin, David A. Carrington, Paul A. Strooper: Investigating Factors Affecting the Usability of Software Process Descriptions. ICSP 2008: 222-233
2007
79EEBenjamin W. Long, Colin J. Fidge, David A. Carrington: Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC 2007: 171-180
78EEErica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth: Improving Usability of Software Refactoring Tools. ASWEC 2007: 307-318
77EERakesh 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
76EESoon-Kyeong Kim, David A. Carrington: A Pattern based Model Evolution Approach. APSEC 2006: 217-224
75EEJunhua Wang, Soon-Kyeong Kim, David A. Carrington: Verifying Metamodel Coverage of Model Transformations. ASWEC 2006: 270-282
74EEBrent Cahill, David A. Carrington, Brian Song, Paul A. Strooper: An Industry-Based Evaluation of Process Modeling Techniques. EuroSPI 2006: 111-122
73EESoon-Kyeong Kim, David A. Carrington: A Tool for a Formal Pattern Modeling Language. ICFEM 2006: 568-587
2005
72EERakesh Shukla, David A. Carrington, Paul A. Strooper: A Passive Test Oracle Using a Component's API. APSEC 2005: 561-567
71EERakesh Shukla, Paul A. Strooper, David A. Carrington: Tool Support for Statistical Testing of Software Components. APSEC 2005: 719-728
70EESoon-Kyeong Kim, Damian Burger, David A. Carrington: An MDA Approach Towards Integrating Formal and Informal Modeling Languages. FM 2005: 448-464
69EESoon-Kyeong Kim, David A. Carrington: A Rigorous Foundation for Pattern-Based Design Models. ZB 2005: 242-261
68EEDavid 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
67EELeesa Murray, David A. Carrington, Paul A. Strooper: An Approach to Specifying Software Frameworks. ACSC 2004: 185-192
66EESoon-Kyeong Kim, David A. Carrington: Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. APSEC 2004: 257-264
65EERakesh Shukla, David A. Carrington, Paul A. Strooper: Systematic Operational Profile Development for Software Components. APSEC 2004: 528-537
64EECameron 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
63EESoon-Kyeong Kim, David A. Carrington: A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. Australian Software Engineering Conference 2004: 87-95
62EERakesh Shukla, Paul A. Strooper, David A. Carrington: A Framework for Reliability Assessment of Software Components. CBSE 2004: 272-279
61EENoopur Davis, Julia Mullaney, David A. Carrington: Using Measurement Data in a TSPSM Project. EuroSPI 2004: 91-101
2003
60EEPaul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson: Teaching Software Engineering Fundamentals to Practicing Engineers. CSEE&T 2003: 36-43
59EELuke 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
58EESoon-Kyeong Kim, David A. Carrington: Integrating Use-Case Analysis and Task Analysis for Interactive Systems. APSEC 2002: 12-21
57EESoon-Kyeong Kim, David A. Carrington: A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. ICFEM 2002: 548-560
56EEHelen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington: UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. VISSOFT 2002: 13-22
55EESoon-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)
53EEJü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)
52EEHelen 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
51EEAndrew Hussey, Ian MacColl, David A. Carrington: Assessing Usability from Formal User-Interface Designs. Australian Software Engineering Conference 2001: 40-47
50EEDavid A. Carrington: Teaching PSPSM and TSPi in Universities. CSEE&T 2001: 139-
49EEAnn 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
48EEDavid A. Carrington, Ben McEniery, Dan B. Johnston: PSP SM in the Large Class. CSEE&T 2001: 81-88
47EESoon-Kyeong Kim, David A. Carrington, Roger Duke: A Metamodel-based transformation between UML and Object-Z. HCC 2001: 112-119
46EEMark A. Toleman, David A. Carrington, Phil Cook, Andrew Coyle, Anthony MacDonald, Jim Welsh, Tim Jones: Generic Description of a Software Document Environment. HICSS 2001
45EEHelen 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
44EEHelen 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
43EEJamie 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
41EESoon-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
40EEHelen C. Purchase, David A. Carrington, Jo-Anne Allder: Experimenting with Aesthetics-Based Graph Layout. Diagrams 2000: 498-501
39EEHelen C. Purchase, Jo-Anne Allder, David A. Carrington: User Preference of Graph Layout Aesthetics: A UML Study. Graph Drawing 2000: 5-18
38EEIan MacColl, David A. Carrington: Translating UAN into CSP. ICFEM 2000: 121-
37EESoon-Kyeong Kim, David A. Carrington: A Formal Mapping between UML Models and Object-Z Specifications. ZB 2000: 2-21
36EEAnthony 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)
34EELuke 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
33EESoon-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
30EELeesa 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
28EEIan 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
24EEIan MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington: Specification-Based Class Testing: A Case Study. ICFEM 1998: 222-
23EEAnthony 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
20EEDavid A. Carrington: Teaching software testing. ACSE 1997: 59-64
19EEAndrew Hussey, David A. Carrington: Specifying the UQ* user-interface with Object-Z. APSEC 1997: 374-
18EEWarwick 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
17EELeesa 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
15EEPaul 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
14EEWarwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh: Software Visualisation in a Generic Development Environment. ASYNC 1996: 47-54
13EEWarwick 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
12EEPhil 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
9EEPhil Stocks, David A. Carrington: Test Templates: A Specification-Based Testing Framework. ICSE 1993: 405-414
8EEPhil Stocks, David A. Carrington: Test Template Framework: A Specification-Based Testing Case Study. ISSTA 1993: 11-18
7EEDavid A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh: Deriving Modular Designs from Formal Specifications. SIGSOFT FSE 1993: 89-98
1992
6EEPhil 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
4EEDavid 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)