Browse by all authors Browse By Author ID - Carrington, David A.

Browse Results (84 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 1 of 2

Result Pages:    1 2  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Sien, V.Y and Carrington, D. (2007). A concepts-first approach to object-oriented modelling. In: Sahni, S., Proceedings of the Third IASTED International Conference on Advances in Computer Science and Technology (ACST 2007). Advances in Computer Science and Technology, Phuket, Thailand, (108-113). 2-4 April, 2007. 106   Cited 0 times in Scopus0
Kim, S. and Carrington, D. A. (2001) A formal denotational semantics of UML in object-z. L'Objet: Object Modelling with UML, 7 1: 323-362. 936  
Kim, Soon Kyeong and Carrington, David (2009) A formalism to describe design patterns based on role concepts. Formal Aspects of Computing, 21 5: 397-420. doi:10.1007/s00165-008-0090-7 91   7 Cited 9 times in Scopus9 0
Kim, S. and Carrington, D. A. (2000). A formal mapping between UML models and object-z specifications. In: J. P. Bowen, S. Dunne, A. Galloway and S. King, First International Conference of B and Z Users: ZB 2000. ZB 2000, York, UK, (2-21). 29 August - 2 September 2000. 508  
Kim, Soon-Kyeong and Carrington, David (2002). A formal metamodeling approach to a transformation between the UML state machine and object-z. In: C. George and H. Miao, Formal Methods and Software Engineering. Fourth International Conference on Formal Engineering Methods, Shanghai, China, (548-560). 21-25 October, 2002. doi:10.1007/3-540-36103-0_55 116 161 1 0
Kim, Soon-Kyeong and Carrington, David (2002) A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques. Technical Report 02-23, Software Verification Research Centre, School of Information Technology, The University of Queensland. 460 466
Kim, S. and Carrington, D. A. (2002). A formal model of UML metamodel: The UML state machine and its integrity constraints. In: D. Bert, J. Bowen, M. Henderson and K. Robinson, ZB 2002: Formal Specification and Development in Z and B. Second International Conference of Z and B Users, Grenoble, France, (497-516). 23-25 January, 2002. 182  
Kim, S. and Carrington, D. A. (2004). A formal object-oriented approach to defining consistency constraints for UML models. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (87-94). 13-16 April 2004. doi:10.1109/ASWEC.2004.1290461 119   1 0
Kim, S. K. and Carrington, D. A. (2005). A formal V&V framework for UML models based on Model transformation techniques. In: B. Baudry, C. Caston and S. Ghosh, 2nd MoDeVa Workshop - Model Design and validation. Model Validation (MoDeVa) Workshop, Montego Bay, Jamaic, (). 3 October 2005. 257  
Süß, Jörn Guy, Carrington, David, Robinson, Neil and Strooper, Paul (2012). Μίνθα: a framework for auto-programming and testing of railway controllers for varying clients. In Francesco Flammini (Ed.), Railway safety, reliability, and security: technologies and systems engineering (pp. 175-197) Hershey, PA, United States: IGI Global. doi:10.4018/978-1-4666-1643-1.ch008 93 12 0
Shukla, Rakesh, Strooper, Paul and Carrington, David (2004). A framework for reliability assessment of software components. In: Ivica Crnkovic, Judith Stafford, Heinz Schmidt and Kurt Wallnau, Proceedings of the 7th International Symposium on Component-Based Software Engineering. 7th International Symposium on Component-Based Software Engineering (CBSE 2004), Edinburgh, U.K., (272-279). 24-25 May 2004. doi:10.1007/b97813 303 1650 2 0
Stocks, P and Carrington, D (1996) A framework for specification-based testing. Ieee Transactions On Software Engineering, 22 11: 777-793. doi:10.1109/32.553698 121   85 Cited 125 times in Scopus125 0
Shukla, Rakesh, Strooper, Paul and Carrington, David (2007) A framework for statistical testing of software components. International Journal of Software Engineering And Knowledge Engineering, 17 3: 379-405. doi:10.1142/S021819400700329X 149   0 Cited 0 times in Scopus0 0
Kim, S., Carrington, D. A. and Duke, R. W. (2001). A metamodel-based transformation between UML and object-z. In: S. Levialdi, Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments. IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy, (112-119). 5-7 September, 2001. 71   0
MacColl, I. and Carrington, D. A. (1999). A model of specification-based testing of interactive systems. In: FM’99 — Formal Methods. FM '99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, (720-720). 20-24 September, 1999. doi:10.1007/3-540-48118-4_54 72   0 0
Murray, L. M., Carrington, D. A. and Strooper, P. A. (2004). An approach to specifying software frameworks. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC 2004). The Twenty-Seventh Australasian Computer Science Conference (ACSC 2004), Dunedin, New Zealand, (185-192). 18-22 January 2004. 57  
Carrington, David, Kim, Soon-Kyeong and Strooper, Paul (2010). An experience report on using collaboration technologies for distance and on-campus learning. In: Tony Clear and John Hamer, ACE '10 Proceedings of the Twelfth Australasian Conference on Computing. Twelfth Australasian Computing Education Conference (ACE 2010), Brisbane, Qld, Australia, (45-52). 18 - 22 January, 2010. 122 1
Cahill, Brent, Carrington, David, Song, Brian and Strooper, Paul (2006). An industry-based evaluation of process modeling techniques. In: R. Messnarz, I. Richardson and P. Runeson, Proceedings of Software Process Improvement, 13th European Conference (EuroSPI 2006). EuroSPI 2006: 13th European Conference on Software Process Improvement, Joensuu, Finland, (111-122). 11-13 October 2006. doi:10.1007/11908562_11 93   0 Cited 0 times in Scopus0 0
Carrington, David, Strooper, Paul, Newby, Sharron and Stevenson, Terry (2005) An industry/university collaboration to upgrade software engineering knowledge and skills in industry. Journal of Systems And Software, 75 1-2: 29-39. doi:10.1016/j.jss.2004.02.020 83 1 5 Cited 9 times in Scopus9 0
Kim, S. and Carrington, D. A. (2000). An integrated framework with UML and object-Z for developing a precise and understandable specification: The light control case study. In: Proceedings of the Seventh Asia-Pacific Software Engineering Conference: APSEC 2000. APSEC 2000, Singapore, (240-248). 5-8 December 2000. 67   3
Kim, Soon Kyeong, Burger, Damian and Carrington, David (2005). An MDA approach towards integrating formal and informal modeling languages. In: J. Fitzgerald, I. Hayes and A. Tarlecki, FM2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, United Kingdom, (448-464). 18-22 July 2005. doi:10.1007/11526841_30 122 604 7 Cited 6 times in Scopus6 0
Shukla, Rakesh, Carrington, David and Strooper, Paul (2005). A Passive Test Oracle Using a Component's API. In: J. Lee, W. C. Chu and P. Jalote, Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05). 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, (561-567). 15-17 December, 2005. doi:10.1109/APSEC.2005.13 370 352 0 Cited 6 times in Scopus6 0
Kim, Soon-Kyeong and Carrington, D. (2006). A patttern based model evolution approach. In: P. Jalote, 13th Asia Pacific Software Engineering Conference. 13th Asia Pacific Software Engineering Conference, Bangalore, India, (217-224). 6-8 December 2006. doi:10.1109/APSEC.2006.8 38   Cited 1 times in Scopus1 0
Kim, Soon-Kyeong and Carrington, David (2005). A rigorous foundation for pattern based design models. In: H. Treharne, S. King, M. Henson and S. Schneider, ZB2005: Formal specification and development in Z and B. 4th International Conference of B and Z users, Guildford, United Kingdom, (242-261). 13-15 April 2005. doi:10.1007/11415787_15 71   2 Cited 4 times in Scopus4 0
Hussey, A. P., Maccoll, I. and Carrington, D. A. (2001). Assessing usability from formal user-interface designs. In: D. Grant and L. Sterling, Australian Software Engineering Conference. Australian Software Engineering Conference, Canberra, (40-47). 27-28 August, 2001. 62  
Kim, Soon-Kyeong and Carrington, David (2006). A tool for a formal pattern modeling language. In: Z. Liu and J. He, Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006). 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, (568-587). 1-3 November 2006. doi:10.1007/11901433_31 73   0 Cited 1 times in Scopus1 0
Carrington, D., Hayes, I., Nickson, R., Watson, G. N. and Welsh, J. (1996) A Tool for Developing Correct Programs by Refinement. technical Report no. 95-49, Software Verification Research Centre, School of Information Technology, The University of Queensland. 481 548
Wang, J., Kim, S. K. and Carrington, D. A. (2008). Automatic generation of test models for model transformations. In: S. Kawada, Software Engineering 2008. 19th Australian Conference on Software Engineering 2008 (ASWEC 2008), Perth, Australia, (432-440). 26-28 March 2008. doi:10.1109/ASWEC.2008.4483232 72   Cited 7 times in Scopus7 0
Wildman, Luke, Fidge, Colin and Carrington, David (2000) Computer-aided development of a real-time program. SVRC Technical Report 99-27, Software Verification Research Centre, School of Information Technology, The University of Queensland. 14 1
Wildman, Luke P., Fidge, Colin J. and Carrington, David A. (2000) Computer-aided development of a real-time program. Software Concepts and Tools, 19 4: 190-202. doi:10.1007/s003780000006 53   0
Long, B.W., Fidge, C.J. and Carrington, D. (2007). Cross-layer verification of type flaw attacks on security protocols. In: Dobbie, G., Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC-2007). Australasian Computer Science Conference (ACSC-2007), Ballarat, Victoria, Australia, (171-180). 30 January - 2 February, 2007. 48   Cited 0 times in Scopus0
MacDonald, Anthony, Carrington, David, Cook, Phil, Toleman, Mark and Welsh, Jim (1999) Designing a user-interface for relational documents. SVRC Technical Report 99-44, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 27 29
Purchase, Helen, Carrington, David A. and Allder, Jo-Anne (2002) Empirical evaluation of aesthetics-based graph layout. Empirical Software Engineering, 7 3: 233-255. doi:10.1023/A:1016344215610 79   Cited 64 times in Scopus64 0
Toleman, Mark, Carrington, David, Cook, Phil, MacDonald, Anthony and Welsh, Jim (1999) Environment description language for UQ*. SVRC Technical Report 99-45, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 22 16
Purchase, H., Carrington, D. A. and Allder, J. A. (2001). Experimenting with aesthetics-based graph layout. In: M Anderson, P Cheng and V Haarslev, First International Conference, Diagrams 2000. Theory and Application of Diagrams 2000, Edinburgh, Scotland, (498-501). 1-3 September 2000. 47   3
MacColl, Ian and Carrington, David (1999) Extending the test template framework for specification-based testing of interactive systems. SVRC Technical Report 99-16, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 20 1
Maccoll, I. and Carrington, D. A. (1999). Extending the test template framework for specification-based testing of interactive systems. In: J. Edwards, Proceedings of the 22nd Australasian Computer Science Conference. ACSC'99, Auckland, (372-383). 18-21 January 1999. 31  
Murray, Leesa, Carrington, David, MacColl, Ian, McDonald, Jason and Strooper, Paul (1998). Formal derivation of finite state machines for class testing. In: Jonathan P. Bowen and Michael G. Hinchey, Proceedings of the 11th International Conference of Z Users. ZUM '98, the Z formal specification notification : 11th International Conference of Z Users, Berlin, Germany, (42-59). 24-26 September, 1998. doi:10.1007/BFb0056024 101   12 0
Kim, Soon Kyeong and Carrington, David (1999). Formalizing the UML class diagram using Object-Z. In: R. France and B. Rumpe, Lecture Notes in Computer Science: UML '99 - The Unified Modeling Language - Beyond the Sandard. Second International Conference on The Unified Modeling Language 1999, Fort Collins, Colorado, (83-98). 28 - 30 Oct 1999. 87   25
Carrington, David, MacColl, Ian, McDonald, Jason, Murray, Leesa and Strooper, Paul (2000) From Object-Z specifications to classbench test suites. Journal of Software Testing, Verification and Reliability, 10 2: 111-137. doi:10.1002/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P 74   23 Cited 25 times in Scopus25 0
Toleman, M., Carrington, D. A., Cook, P. J., Coyle, A., Macdonald, A. J., Welsh, J. and Jones, T. (2001). Generic description of a software document environment. In: R. Sprague, Proceedings of the 34th Annual Hawaii International Conference on System Sciences. HICSS 2001, Maui, Hawaii, (). 3-6 January 2001. 49  
Purchase, H., McGill, M. J., Colpoys, L. and Carrington, D. A. (2001). Graph drawing aesthetics and the comprehension of UML class diagrams: An empirical study. In: P. Eades and T. Pattison, Proceesings of the Australian Symposium on Information Visualisation. Australian Symposium on Information Visualisation, Sydney, (129-137). 3-4 December, 2001. 38  
Purchase, H., Allder, J. and Carrington, D. A. (2002) Graph layout aesthetics in UML diagrams: User preferences. Journal of Graph Algorithms and Applications, 6 3: 255-279. 60   Cited 42 times in Scopus42
Mealy, Erica, Carrington, David, Strooper, Paul and Wyeth, Peta (2007). Improving usability of software refactoring tools. In: J. Grundy and J. Han, Proceedings of the 2007 Australian Software Engineering Conference (ASWEC '07). 18th Australian Conference on Software Engineering (ASWEC 2007), Melbourne, Australia, (307-316). 10-13 April 2007. doi:10.1109/ASWEC.2007.24 74 3 0 Cited 7 times in Scopus7 0
Kim, S. and Carrington, D. A. (2002). Integrating use-case analysis and task analysis for interactive systems. In: P. Strooper and P. Muenchaisri, Asia-Pacific Software Engineering Conference. Ninth Asia-Pacific Software Engineering Conference, The Gold Coast, (12-21). 4-6 December, 2002. 69   3
Mahrin, M.N., Carrington, D.A. and Strooper, P.A. (2008). Investigating factors affecting the usability of software process descriptions. In: Wang, Q., Pfahl, D. and Raffo, D.M., Making Globally Distributed Software Development a Success Story. International Conference on Software Process, ICSP 2008, Leipzig, Germany, (222-233). 10-11 May, 2008. doi:10.1007/978-3-540-79588-9_20 59   1 Cited 0 times in Scopus0 0
Carrington, D. A., Baker, A. and van der Hoek, A. (2005). It's all in the game: Teaching software process concepts. In: H. Diefes-Dux, S. Lord and P. Henderson, Frontiers in Education 2005. Frontiers in Education 2005, Indianapolis, USA, (F4G- 13-F4G- 18). 19-22 October, 2005. 58   Cited 1 times in Scopus1
Hussey, A. P. and Carrington, D. A. (1999). Model-based design of user-interfaces using Object-Z. In: J. Vanderdonckt and A. Puerta, Computer-Aided Design of User Interfaces '99. CADUI'99: Computer Aided Design of User Interfaces '99, Louvain, Belgium, (43-53). 21-23 Oct 1999. 26  
Chevillat, Cedric, Carrington, David, Strooper, Paul, Süß, Jörn Guy and Wildman, Luke (2008). Model-based generation of interlocking controller software from control tables. In: Ina Schieferdecker and Alan Hartman, Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. 4th European Conference on Model Driven Architecture - Foundation and applications, ECMDA-FA 2008, Berlin, Germany, (349-360). 9-13 June 2007. doi:10.1007/978-3-540-69100-6_24 136   1 Cited 1 times in Scopus1 0
Hussey, Andrew Patrick and Carrington, D. A. (1999) Object-oriented user-interface development. IEE Proceedings: Software, 146 5: 221-231. doi:10.1049/ip-sen:19990774 29   Cited 1 times in Scopus1 0

Page 1 of 2

Result Pages:    1 2  next › last »