David A. Carrington
发表
Leesa Murray,
David A. Carrington,
Ian MacColl,
1998,
ZUM.
Leesa Murray,
David A. Carrington,
Ian MacColl,
1998,
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
David A. Carrington,
Soon-Kyeong Kim,
2004,
2004 Australian Software Engineering Conference. Proceedings..
David A. Carrington,
Soon-Kyeong Kim,
Junhua Wang,
2006,
Australian Software Engineering Conference (ASWEC'06).
David A. Carrington,
D. Carrington,
1986,
Softw. Pract. Exp..
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
2009,
Formal Aspects of Computing.
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
1999,
UML.
David A. Carrington,
Paul A. Strooper,
Sharron Newby,
2005,
J. Syst. Softw..
David A. Carrington,
Anthony MacDonald,
1998,
Proceedings Technology of Object-Oriented Languages. TOOLS 28 (Cat. No.98TB100271).
David A. Carrington,
Helen C. Purchase,
Matthew McGill,
2001,
InVis.au.
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
2000,
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.
David A. Carrington,
Helen C. Purchase,
Jo-Anne Allder,
2002,
Empirical Software Engineering.
David A. Carrington,
Helen C. Purchase,
Jo-Anne Allder,
2002,
J. Graph Algorithms Appl..
David A. Carrington,
Ian MacColl,
1999,
World Congress on Formal Methods.
Mohd Naz'ri Mahrin,
David A. Carrington,
Paul A. Strooper,
2009,
2009 16th Asia-Pacific Software Engineering Conference.
David A. Carrington,
Jim Welsh,
Tim Jones,
1996,
Proceedings of 1996 Australian Software Engineering Conference.
David A. Carrington,
Andrew Hussey,
1999,
CADUI.
David A. Carrington,
Anthony MacDonald,
D. Carrington,
1995,
ZUM.
David A. Carrington,
Helen C. Purchase,
Jo-Anne Allder,
2000,
GD.
Leesa Murray,
David A. Carrington,
Ian MacColl,
1999,
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32.
David A. Carrington,
Jim Welsh,
Ian J. Hayes,
1998,
Formal Aspects of Computing.
David A. Carrington,
Phil Stocks,
D. Carrington,
1994,
Z User Workshop.
David A. Carrington,
Dan B. Johnston,
Ben McEniery,
2001,
Proceedings 14th Conference on Software Engineering Education and Training. 'In search of a software engineering profession' (Cat. No.PR01059).
David A. Carrington,
David J. Duke,
Jim Welsh,
1993,
SIGSOFT '93.
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
2006,
2006 13th Asia Pacific Software Engineering Conference (APSEC'06).
David A. Carrington,
Helen C. Purchase,
Carol Britton,
2001,
InVis.au.
David A. Carrington,
Anthony MacDonald,
D. Carrington,
2000,
J. Univers. Comput. Sci..
David A. Carrington,
Soon-Kyeong Kim,
2002,
ZB.
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
2000,
ZB.
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
2005,
ZB.
David A. Carrington,
Roger Duke,
Soon-Kyeong Kim,
2001,
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).
David A. Carrington,
Paul A. Strooper,
Rakesh Shukla,
2004,
CBSE.
David A. Carrington,
Soon-Kyeong Kim,
2002,
Ninth Asia-Pacific Software Engineering Conference, 2002..
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
2001,
Obj. Logiciel Base données Réseaux.
David A. Carrington,
Phil Stocks,
D. Carrington,
1996,
IEEE Trans. Software Eng..
Leesa Murray,
David A. Carrington,
Paul A. Strooper,
2004,
ACSC.
David A. Carrington,
Paul A. Strooper,
Brian Song,
2006,
EuroSPI.
David A. Carrington,
D. Carrington,
1986,
Aust. Comput. J..
David A. Carrington,
Paul A. Strooper,
Rakesh Shukla,
2007,
Int. J. Softw. Eng. Knowl. Eng..
Mohd Naz'ri Mahrin,
David A. Carrington,
Paul A. Strooper,
2008,
ICSP.
David A. Carrington,
Phil Stocks,
1993,
Proceedings of 1993 15th International Conference on Software Engineering.
David A. Carrington,
Paul A. Strooper,
Jörn Guy Süß,
2008,
ECMDA-FA.
Colin J. Fidge,
David A. Carrington,
Luke Wildman,
2003,
Formal Aspects of Computing.
David A. Carrington,
Paul A. Strooper,
Sharron Newby,
2003,
Proceedings 16th Conference on Software Engineering Education and Training, 2003. (CSEE&T 2003)..
John Fulcher,
David A. Carrington,
2000,
Comput. Sci. Educ..
Benjamin W. Long,
Colin J. Fidge,
David A. Carrington,
2007,
ACSC.
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
2006,
ICFEM.
David A. Carrington,
D. Carrington,
1997,
ACSE '97.
David A. Carrington,
Soon-Kyeong Kim,
1999,
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).
David A. Carrington,
Paul A. Strooper,
Rakesh Shukla,
2005,
12th Asia-Pacific Software Engineering Conference (APSEC'05).
Peta Wyeth,
David A. Carrington,
Paul A. Strooper,
2007,
2007 Australian Software Engineering Conference (ASWEC'07).
David A. Carrington,
Helen C. Purchase,
Matthew McGill,
2002,
Proceedings First International Workshop on Visualizing Software for Understanding and Analysis.
David A. Carrington,
Jim Welsh,
Mark A. Toleman,
2001,
Proceedings of the 34th Annual Hawaii International Conference on System Sciences.
Ken Robinson,
David A. Carrington,
1990,
CAV.
David A. Carrington,
Phil Stocks,
1993,
ISSTA '93.
Leesa Murray,
David A. Carrington,
Ian MacColl,
1997,
Proceedings of Australian Software Engineering Conference ASWEC 97.
David A. Carrington,
Jim Welsh,
Tim Jones,
1997,
Proceedings of Australian Software Engineering Conference ASWEC 97.
David A. Carrington,
D. Carrington,
1991,
Z User Workshop.
David A. Carrington,
Paul A. Strooper,
Rakesh Shukla,
2005,
12th Asia-Pacific Software Engineering Conference (APSEC'05).
David A. Carrington,
2001,
CSEE&T.
David A. Carrington,
Ian MacColl,
Andrew Hussey,
2001,
Proceedings 2001 Australian Software Engineering Conference.
David A. Carrington,
Kerry Raymond,
Phil Stocks,
1992,
Comput. Commun..
David A. Carrington,
J. Barrie Thompson,
Pierre N. Robillard,
2001,
CSEE&T.
Colin J. Fidge,
David A. Carrington,
Luke Wildman,
2000,
Softw. Concepts Tools.
David A. Carrington,
Helen C. Purchase,
Jo-Anne Allder,
2000,
Diagrams.
David A. Carrington,
Ian MacColl,
Ian MacColl,
2000,
ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.
David A. Carrington,
Paul A. Strooper,
Rakesh Shukla,
2004,
11th Asia-Pacific Software Engineering Conference.
Leesa Murray,
David A. Carrington,
Ian MacColl,
2000,
Softw. Test. Verification Reliab..
David A. Carrington,
Soon-Kyeong Kim,
D. Carrington,
2004,
11th Asia-Pacific Software Engineering Conference.
David A. Carrington,
Noopur Davis,
Julia Mullaney,
2004,
EuroSPI.
David A. Carrington,
Soon-Kyeong Kim,
2002,
ICFEM.
Peter A. Lindsay,
David A. Carrington,
Kirsten Winter,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
David A. Carrington,
David J. Duke,
Graeme Smith,
1989,
FORTE.
David A. Carrington,
Ian MacColl,
Paul A. Strooper,
1996,
ACSE '96.
David A. Carrington,
Soon-Kyeong Kim,
Junhua Wang,
2008,
19th Australian Conference on Software Engineering (aswec 2008).
David A. Carrington,
Soon-Kyeong Kim,
Damian Burger,
2005,
FM.
David A. Carrington,
Ian MacColl,
Ian MacColl,
1999,
IFM.