The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David A. Carrington: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leesa Murray, David A. Carrington, Paul A. Strooper
    An Approach to Specifying Software Frameworks. [Citation Graph (0, 0)][DBLP]
    ACSC, 2004, pp:185-192 [Conf]
  2. Andrew Hussey, David A. Carrington
    Specifying the UQ* user-interface with Object-Z. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:374-0 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:240-248 [Conf]
  4. Soon-Kyeong Kim, David A. Carrington
    Integrating Use-Case Analysis and Task Analysis for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:12-21 [Conf]
  5. Soon-Kyeong Kim, David A. Carrington
    Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:257-264 [Conf]
  6. Soon-Kyeong Kim, David A. Carrington
    Visualization of Formal Specifications. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:102-109 [Conf]
  7. Rakesh Shukla, David A. Carrington, Paul A. Strooper
    Systematic Operational Profile Development for Software Components. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:528-537 [Conf]
  8. Rakesh Shukla, David A. Carrington, Paul A. Strooper
    A Passive Test Oracle Using a Component's API. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:561-567 [Conf]
  9. Rakesh Shukla, Paul A. Strooper, David A. Carrington
    Tool Support for Statistical Testing of Software Components. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:719-728 [Conf]
  10. Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington, Carol Britton
    UML Class Diagram Syntax: An Empirical Study of Comprehension. [Citation Graph (0, 0)][DBLP]
    InVis.au, 2001, pp:113-120 [Conf]
  11. Helen C. Purchase, Matthew McGill, Linda Colpoys, David A. Carrington
    Graph Drawing Aesthetics and the Comprehension of UML Class Diagrams: An Empirical Study. [Citation Graph (0, 0)][DBLP]
    InVis.au, 2001, pp:129-137 [Conf]
  12. Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Jim Welsh
    Visualising Software Documents in a Generic Development Environment. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 1997, pp:49-59 [Conf]
  13. Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh
    Software Visualisation in a Generic Development Environment. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 1996, pp:47-54 [Conf]
  14. Andrew Hussey, Ian MacColl, David A. Carrington
    Assessing Usability from Formal User-Interface Designs. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2001, pp:40-47 [Conf]
  15. Soon-Kyeong Kim, David A. Carrington
    A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:87-95 [Conf]
  16. Junhua Wang, Soon-Kyeong Kim, David A. Carrington
    Verifying Metamodel Coverage of Model Transformations. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:270-282 [Conf]
  17. Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
    Extending Test Templates with Inheritance. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 1997, pp:80-87 [Conf]
  18. Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh
    Software Visualisation in a Generic Development Environment. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:47-54 [Conf]
  19. Andrew Hussey, David A. Carrington
    Model-Based Design of User Interfaces Using Object-Z. [Citation Graph (0, 0)][DBLP]
    CADUI, 1999, pp:43-56 [Conf]
  20. David A. Carrington, K. A. Robinson
    Computer Assistance for Program Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:312-321 [Conf]
  21. Rakesh Shukla, Paul A. Strooper, David A. Carrington
    A Framework for Reliability Assessment of Software Components. [Citation Graph (0, 0)][DBLP]
    CBSE, 2004, pp:272-279 [Conf]
  22. David A. Carrington
    Teaching PSPSM and TSPi in Universities. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2001, pp:139-0 [Conf]
  23. David A. Carrington, Ben McEniery, Dan B. Johnston
    PSP SM in the Large Class. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2001, pp:81-88 [Conf]
  24. 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). [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2001, pp:293- [Conf]
  25. Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson
    Teaching Software Engineering Fundamentals to Practicing Engineers. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2003, pp:36-43 [Conf]
  26. Helen C. Purchase, David A. Carrington, Jo-Anne Allder
    Experimenting with Aesthetics-Based Graph Layout. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2000, pp:498-501 [Conf]
  27. Alfred Hussey, David A. Carrington
    Which widgets? deriving implementations from user-interface specifications. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:206-224 [Conf]
  28. Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper
    An Industry-Based Evaluation of Process Modeling Techniques. [Citation Graph (0, 0)][DBLP]
    EuroSPI, 2006, pp:111-122 [Conf]
  29. Noopur Davis, Julia Mullaney, David A. Carrington
    Using Measurement Data in a TSPSM Project. [Citation Graph (0, 0)][DBLP]
    EuroSPI, 2004, pp:91-101 [Conf]
  30. Soon-Kyeong Kim, Damian Burger, David A. Carrington
    An MDA Approach Towards Integrating Formal and Informal Modeling Languages. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:448-464 [Conf]
  31. Ian MacColl, David A. Carrington
    A Model of Specification-Based Testing of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1862- [Conf]
  32. David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
    Object-Z: An Object-Oriented Extension to Z. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:281-296 [Conf]
  33. Helen C. Purchase, Jo-Anne Allder, David A. Carrington
    User Preference of Graph Layout Aesthetics: A UML Study. [Citation Graph (0, 0)][DBLP]
    Graph Drawing, 2000, pp:5-18 [Conf]
  34. Mark A. Toleman, David A. Carrington, Phil Cook, Andrew Coyle, Anthony MacDonald, Jim Welsh, Tim Jones
    Generic Description of a Software Document Environment. [Citation Graph (0, 0)][DBLP]
    HICSS, 2001, pp:- [Conf]
  35. Soon-Kyeong Kim, David A. Carrington
    A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:548-560 [Conf]
  36. Soon-Kyeong Kim, David A. Carrington
    A Tool for a Formal Pattern Modeling Language. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:568-587 [Conf]
  37. Ian MacColl, David A. Carrington
    Translating UAN into CSP. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:121-0 [Conf]
  38. Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington
    Specification-Based Class Testing: A Case Study. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:222-0 [Conf]
  39. Phil Stocks, David A. Carrington
    Test Templates: A Specification-Based Testing Framework. [Citation Graph (0, 0)][DBLP]
    ICSE, 1993, pp:405-414 [Conf]
  40. Ian MacColl, David A. Carrington
    Specifying Interactive Systems in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:335-352 [Conf]
  41. Phil Stocks, David A. Carrington
    Test Template Framework: A Specification-Based Testing Case Study. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:11-18 [Conf]
  42. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:398-399 [Conf]
  43. David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh
    Deriving Modular Designs from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:89-98 [Conf]
  44. Soon-Kyeong Kim, David A. Carrington
    Formalizing the UML Class Diagram Using Object-Z. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:83-98 [Conf]
  45. Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington
    UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. [Citation Graph (0, 0)][DBLP]
    VISSOFT, 2002, pp:13-22 [Conf]
  46. Soon-Kyeong Kim, David A. Carrington, Roger Duke
    A Metamodel-based transformation between UML and Object-Z. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:112-119 [Conf]
  47. David A. Carrington, Phil Stocks
    A Tale of Two Paradigms: Formal Methods and Software Testing. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:51-68 [Conf]
  48. David A. Carrington
    ZOOM Workshop Report. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:352-364 [Conf]
  49. Soon-Kyeong Kim, David A. Carrington
    A Formal Mapping between UML Models and Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:2-21 [Conf]
  50. Soon-Kyeong Kim, David A. Carrington
    A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:497-516 [Conf]
  51. Soon-Kyeong Kim, David A. Carrington
    A Rigorous Foundation for Pattern-Based Design Models. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:242-261 [Conf]
  52. Anthony MacDonald, David A. Carrington
    Structuring Z Specifications: Some Choices. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:203-223 [Conf]
  53. Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
    Formal Derivation of Finite State Machines for Class Testing. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:42-59 [Conf]
  54. Anthony MacDonald, David A. Carrington
    Guiding Object-Oriented Design. [Citation Graph (0, 0)][DBLP]
    TOOLS (28), 1998, pp:88-100 [Conf]
  55. Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
    TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. [Citation Graph (0, 0)][DBLP]
    TOOLS (32), 1999, pp:222-233 [Conf]
  56. Soon-Kyeong Kim, David A. Carrington
    A formal denotational semantics of UML in Object-Z. [Citation Graph (0, 0)][DBLP]
    L'OBJET, 2001, v:7, n:1, pp:- [Journal]
  57. David A. Carrington
    User Interface issues in Programming Environments. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1986, v:18, n:2, pp:55-60 [Journal]
  58. Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister
    Modelling open distributed systems in Z. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:103-113 [Journal]
  59. Helen C. Purchase, David A. Carrington, Jo-Anne Allder
    Empirical Evaluation of Aesthetics-based Graph Layout. [Citation Graph (0, 0)][DBLP]
    Empirical Software Engineering, 2002, v:7, n:3, pp:233-255 [Journal]
  60. David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
    A Program Refinement Tool. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:2, pp:97-124 [Journal]
  61. Luke Wildman, Colin J. Fidge, David A. Carrington
    The Variety of Variables in Automated Real-Time Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:258-279 [Journal]
  62. Andrew Hussey, David A. Carrington
    Comparing the MVC and PAC architectures: a formal perspective. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1997, v:144, n:4, pp:224-236 [Journal]
  63. Andrew Hussey, David A. Carrington
    Object-oriented user-interface development. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1999, v:146, n:5, pp:221-231 [Journal]
  64. Helen C. Purchase, Jo-Anne Allder, David A. Carrington
    Graph Layout Aesthetics in UML Diagrams: User Preferences. [Citation Graph (0, 0)][DBLP]
    J. Graph Algorithms Appl., 2002, v:6, n:3, pp:255-279 [Journal]
  65. David A. Carrington, Paul A. Strooper, Sharron Newby, Terry Stevenson
    An industry/university collaboration to upgrade software engineering knowledge and skills in industry. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2005, v:75, n:1-2, pp:29-39 [Journal]
  66. Anthony MacDonald, David A. Carrington
    Some Elements of Z Specification Style: Structuring Techniques. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:12, pp:1203-1225 [Journal]
  67. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2002, v:19, n:5, pp:42-48 [Journal]
  68. David A. Carrington
    Profiling under ELXSI UNIX. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1986, v:16, n:9, pp:865-873 [Journal]
  69. Luke Wildman, Colin J. Fidge, David A. Carrington
    Computer-aided development of a real-time program. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 2000, v:19, n:4, pp:190-202 [Journal]
  70. David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper
    From Object-Z Specifications to ClassBench Test Suites. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:2, pp:111-137 [Journal]
  71. Jamie Shield, Ian J. Hayes, David A. Carrington
    Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  72. Phil Stocks, David A. Carrington
    A Framework for Specification-Based Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:11, pp:777-793 [Journal]

  73. Cross-Layer Verification of Type Flaw Attacks on Security Protocols. [Citation Graph (, )][DBLP]


  74. A Pattern based Model Evolution Approach. [Citation Graph (, )][DBLP]


  75. Selecting Usability Evaluation Methods for Software Process Descriptions. [Citation Graph (, )][DBLP]


  76. Automatic Generation of Test Models for Model Transformations. [Citation Graph (, )][DBLP]


  77. Improving Usability of Software Refactoring Tools. [Citation Graph (, )][DBLP]


  78. Model-Based Generation of Interlocking Controller Software from Control Tables. [Citation Graph (, )][DBLP]


  79. Investigating Factors Affecting the Usability of Software Process Descriptions. [Citation Graph (, )][DBLP]


  80. Teaching software testing. [Citation Graph (, )][DBLP]


  81. Setting up a tutor training programme in computer science. [Citation Graph (, )][DBLP]


Search in 0.000secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002