David A. Carrington

87 papers A* 3A 2B 5C 16Journal 20Unranked 40

Year	Rank	Type	Title / Venue / Authors
2009	J	`jnl`	A formalism to describe design patterns based on role concepts. Formal Aspects Comput. Soon-Kyeong Kim, David A. Carrington
2009	C	`conf`	Selecting Usability Evaluation Methods for Software Process Descriptions. APSEC Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington
2008	—	`conf`	Automatic Generation of Test Models for Model Transformations. Australian Software Engineering Conference Junhua Wang, Soon-Kyeong Kim, David A. Carrington
2008	—	`conf`	Investigating Factors Affecting the Usability of Software Process Descriptions. ICSP Mohd Naz'ri Mahrin, David A. Carrington, Paul A. Strooper
2008	—	`conf`	Model-Based Generation of Interlocking Controller Software from Control Tables. ECMDA-FA Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman
2007	J	`jnl`	A Framework for Statistical Testing of Software Components. Int. J. Softw. Eng. Knowl. Eng. Rakesh Shukla, Paul A. Strooper, David A. Carrington
2007	—	`conf`	Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC Benjamin W. Long, Colin J. Fidge, David A. Carrington
2007	—	`conf`	Improving Usability of Software Refactoring Tools. ASWEC Erica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth
2006	C	`conf`	A Pattern based Model Evolution Approach. APSEC Soon-Kyeong Kim, David A. Carrington
2006	C	`conf`	A Tool for a Formal Pattern Modeling Language. ICFEM Soon-Kyeong Kim, David A. Carrington
2006	B	`conf`	An Industry-Based Evaluation of Process Modeling Techniques. EuroSPI Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper
2006	—	`conf`	Verifying Metamodel Coverage of Model Transformations. ASWEC Junhua Wang, Soon-Kyeong Kim, David A. Carrington
2005	C	`conf`	A Passive Test Oracle Using a Component's API. APSEC Rakesh Shukla, David A. Carrington, Paul A. Strooper
2005	—	`conf`	A Rigorous Foundation for Pattern-Based Design Models. ZB Soon-Kyeong Kim, David A. Carrington
2005	B	`conf`	An MDA Approach Towards Integrating Formal and Informal Modeling Languages. FM Soon-Kyeong Kim, Damian Burger, David A. Carrington
2005	J	`jnl`	An industry/university collaboration to upgrade software engineering knowledge and skills in industry. J. Syst. Softw. David A. Carrington, Paul A. Strooper, Sharron Newby, Terry Stevenson
2005	C	`conf`	Tool Support for Statistical Testing of Software Components. APSEC Rakesh Shukla, Paul A. Strooper, David A. Carrington
2004	—	`conf`	A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. Australian Software Engineering Conference Soon-Kyeong Kim, David A. Carrington
2004	—	`conf`	A Framework for Reliability Assessment of Software Components. CBSE Rakesh Shukla, Paul A. Strooper, David A. Carrington
2004	—	`conf`	An Approach to Specifying Software Frameworks. ACSC Leesa Murray, David A. Carrington, Paul A. Strooper
2004	A*	`conf`	An Environment for Building a System out of its Requirements. ASE Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington
2004	C	`conf`	Systematic Operational Profile Development for Software Components. APSEC Rakesh Shukla, David A. Carrington, Paul A. Strooper
2004	C	`conf`	Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. APSEC Soon-Kyeong Kim, David A. Carrington
2004	B	`conf`	Using Measurement Data in a TSP EuroSPI Noopur Davis, Julia Mullaney, David A. Carrington
2003	—	`conf`	Teaching Software Engineering Fundamentals to Practicing Engineers. CSEE&T Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson
2003	J	`jnl`	The Variety of Variables in Automated Real-Time Refinement. Formal Aspects Comput. Luke Wildman, Colin J. Fidge, David A. Carrington
2002	C	`conf`	A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. ICFEM Soon-Kyeong Kim, David A. Carrington
2002	—	`conf`	A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. ZB Soon-Kyeong Kim, David A. Carrington
2002	J	`jnl`	Empirical Evaluation of Aesthetics-based Graph Layout. Empir. Softw. Eng. Helen C. Purchase, David A. Carrington, Jo-Anne Allder
2002	J	`jnl`	Graph Layout Aesthetics in UML Diagrams: User Preferences. J. Graph Algorithms Appl. Helen C. Purchase, Jo-Anne Allder, David A. Carrington
2002	C	`conf`	Integrating Use-Case Analysis and Task Analysis for Interactive Systems. APSEC Soon-Kyeong Kim, David A. Carrington
2002	J	`jnl`	Teaching the PSP: Challenges and Lessons Learned. IEEE Softw. Jürgen Börstler, David A. Carrington, Gregory W. Hislop, Susan K. Lisack, Keith Olson, Laurie A. Williams
2002	B	`conf`	UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. VISSOFT Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington
2001	—	`conf`	A Metamodel-based transformation between UML and Object-Z. HCC Soon-Kyeong Kim, David A. Carrington, Roger Duke
2001	J	`jnl`	A formal denotational semantics of UML in Object-Z. Obj. Logiciel Base données Réseaux Soon-Kyeong Kim, David A. Carrington
2001	—	`conf`	Assessing Usability from Formal User-Interface Designs. Australian Software Engineering Conference Andrew Hussey, Ian MacColl, David A. Carrington
2001	—	`conf`	Generic Description of a Software Document Environment. HICSS Mark A. Toleman, David A. Carrington, Phil Cook, Andrew Coyle, Anthony MacDonald, Jim Welsh, Tim Jones
2001	—	`conf`	Graph Drawing Aesthetics and the Comprehension of UML Class Diagrams: An Empirical Study. InVis.au Helen C. Purchase, Matthew McGill, Linda Colpoys, David A. Carrington
2001	—	`conf`	PSP SM in the Large Class. CSEE&T David A. Carrington, Ben McEniery, Dan B. Johnston
2001	—	`conf`	SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel). CSEE&T Ann E. Kelley Sobel, Donald J. Bagert, David A. Carrington, Yoshihiro Matsumoto, Pierre N. Robillard, J. Barrie Thompson
2001	—	`conf`	Teaching PSPSM and TSPi in Universities. CSEE&T David A. Carrington
2001	—	`conf`	UML Class Diagram Syntax: An Empirical Study of Comprehension. InVis.au Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington, Carol Britton
2001	—	`conf`	Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. CATS Jamie Shield, Ian J. Hayes, David A. Carrington
2000	—	`conf`	A Formal Mapping between UML Models and Object-Z Specifications. ZB Soon-Kyeong Kim, David A. Carrington
2000	C	`conf`	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. APSEC Soon-Kyeong Kim, David A. Carrington
2000	J	`jnl`	CSE Special Australasian Issue - Guest Editorial. Comput. Sci. Educ. John Fulcher, David A. Carrington
2000	J	`jnl`	Computer-aided development of a real-time program. Softw. Concepts Tools Luke Wildman, Colin J. Fidge, David A. Carrington
2000	C	`conf`	Experimenting with Aesthetics-Based Graph Layout. Diagrams Helen C. Purchase, David A. Carrington, Jo-Anne Allder
2000	J	`jnl`	From Object-Z Specifications to ClassBench Test Suites. Softw. Test. Verification Reliab. David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper
2000	J	`jnl`	Some Elements of Z Specification Style: Structuring Techniques. J. Univers. Comput. Sci. Anthony MacDonald, David A. Carrington
2000	C	`conf`	Translating UAN into CSP. ICFEM Ian MacColl, David A. Carrington
2000	A	`conf`	User Preference of Graph Layout Aesthetics: A UML Study. GD Helen C. Purchase, Jo-Anne Allder, David A. Carrington
1999	—	`conf`	A Model of Specification-Based Testing of Interactive Systems. World Congress on Formal Methods Ian MacColl, David A. Carrington
1999	—	`conf`	Formalizing the UML Class Diagram Using Object-Z. UML Soon-Kyeong Kim, David A. Carrington
1999	—	`conf`	Model-Based Design of User Interfaces Using Object-Z. CADUI Andrew Hussey, David A. Carrington
1999	J	`jnl`	Object-oriented user-interface development. IEE Proc. Softw. Andrew Hussey, David A. Carrington
1999	B	`conf`	Specifying Interactive Systems in Object-Z and CSP. IFM Ian MacColl, David A. Carrington
1999	—	`conf`	TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. TOOLS (32) Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
1999	C	`conf`	Visualization of Formal Specifications. APSEC Soon-Kyeong Kim, David A. Carrington
1998	J	`jnl`	A Program Refinement Tool. Formal Aspects Comput. David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
1998	—	`conf`	Formal Derivation of Finite State Machines for Class Testing. ZUM Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
1998	—	`conf`	Guiding Object-Oriented Design. TOOLS (28) Anthony MacDonald, David A. Carrington
1998	—	`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 ACSE David A. Carrington
1998	C	`conf`	Specification-Based Class Testing: A Case Study. ICFEM Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington
1998	—	`conf`	Which widgets? deriving implementations from user-interface specifications. DSV-IS Alfred Hussey, David A. Carrington
1997	J	`jnl`	Comparing the MVC and PAC architectures: a formal perspective. IEE Proc. Softw. Eng. Andrew Hussey, David A. Carrington
1997	—	`conf`	Extending Test Templates with Inheritance. Australian Software Engineering Conference Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
1997	C	`conf`	Specifying the UQ* user-interface with Object-Z. APSEC Andrew Hussey, David A. Carrington
1997	—	`conf`	Teaching software testing. ACSE David A. Carrington
1997	J	`jnl`	User interface correctness. XRDS Ian MacColl, David A. Carrington
1997	—	`conf`	Visualising Software Documents in a Generic Development Environment. Australian Software Engineering Conference Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Jim Welsh
1996	J	`jnl`	A Framework for Specification-Based Testing. IEEE Trans. Software Eng. Phil Stocks, David A. Carrington
1996	—	`conf`	Setting up a tutor training programme in computer science. ACSE Paul Bakker, Andrew Goodchild, Paul A. Strooper, David A. Carrington, Ian MacColl, Peter Creasy, Helen C. Purchase
1996	—	`conf`	Software Visualisation in a Generic Development Environment. Australian Software Engineering Conference Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh
1995	—	`conf`	Structuring Z Specifications: Some Choices. ZUM Anthony MacDonald, David A. Carrington
1994	—	`conf`	A Tale of Two Paradigms: Formal Methods and Software Testing. Z User Workshop David A. Carrington, Phil Stocks
1994	—	`conf`	Relational views for program comprehension. WPC Tim Jones, Warwick Allison, David A. Carrington
1993	—	`conf`	Deriving Modular Designs from Formal Specifications. SIGSOFT FSE David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh
1993	A	`conf`	Test Template Framework: A Specification-Based Testing Case Study. ISSTA Phil Stocks, David A. Carrington
1993	A*	`conf`	Test Templates: A Specification-Based Testing Framework. ICSE Phil Stocks, David A. Carrington
1992	J	`jnl`	Modelling open distributed systems in Z. Comput. Commun. Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister
1991	—	`conf`	ZOOM Workshop Report. Z User Workshop David A. Carrington
1990	A*	`conf`	Computer Assistance for Program Refinement. CAV David A. Carrington, Kenneth Arthur Robinson
1990	—	`conf`	Tool Support for the Refinement Calculus. CAV (DIMACS/AMS volume) David A. Carrington, Kenneth Arthur Robinson
1989	C	`conf`	Object-Z: An Object-Oriented Extension to Z. FORTE David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
1986	J	`jnl`	Profiling under ELXSI UNIX. Softw. Pract. Exp. David A. Carrington
1986	J	`jnl`	User Interface issues in Programming Environments. Aust. Comput. J. David A. Carrington