List of Subject Classifications Records

Browse Results (323 results found)

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

Page 1 of 7

Result Pages:    1 2 3 4 5 6 7  next › last »

 Browse by Research Fields, Courses and Disciplines The Research Fields, Courses and Disciplines (Australian Standard Research Classification) is published by the Australian Bureau of Statistics (ABS catalogue number 1297.0) 1998. ABS data is used with permission from the Australian Bureau of Statistics -> 280000 Information, Computing and Communication Sciences -> 280300 Computer Software -> 280302 Software Engineering :

No further child subject classifications could be found.
  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Smith, G. P. and Derrick, J. (2002). Abstract specification in Object-Z and CSP. In: C. George and H. Miao, Formal Methods And Software Engineering, Proceedings. 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, (108-119). 21-25 October, 2002. 114   6
Miller, T. and Strooper, P. A. (2004). A case study in specification and implementation testing. In: D. Bae and W. Chu, Proceedings of the Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004). The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (130-139). 30 November-3 December 2004. doi:10.1109/APSEC.2004.1 227   0 Cited 1 times in Scopus1 0
Long, B. and Strooper, P. A. (2001). A case study in testing distributed systems. In: G. Blair, D. Schmidt and Z. Tari, Proceedings of the Third International Symposium on Distributed Objects and Applications. Third International Symposium on Distributed Objects and Applications, Rome, Italy, (20-30). 17-20 September, 2001. 123   0
Long, Brad and Strooper, Paul (2001) A Case Study in Testing Distributed Systems. Technical Report 01-10, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1463 2291
Long, B. J. and Strooper, P. A. (2003). A classification of concurrency failures in java components. In: M. Charpentier and B. Sanders, Proceedings of the International Parallel and Distributed Processing Symposium 2003. International Parallel and Distributed Processing Symposium 2003, Nice, France, (287-294). 22-26 April 2003. doi:10.1109/IPDPS.2003.1213512 105   0
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. 107   Cited 0 times in Scopus0
Long, B., Hoffman, D. and Strooper, P. A. (2001). A concurrency test tool for java monitors. In: D. Richardson, M. Feather and M. Goedicke, Proceedings of the Sixteenth International Conference on Automated Software Engineering. Sixteenth International Conference on Automated Software Engineering, Coronado Island, California, (421-425). 26-29 November, 2001. 56   0
Long, Brad (2002). A design pattern for efficient retrieval of large data sets from remote data sources. In: R. Meersman and Z. Tari, Lecture Notes in Computer Science: On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE: Confederated International Conferences CoopIS, DOA, and ODBASE 2002 Proceedings. Fourth International Symposium on Distributed Objects and Applications, Irvine, California, (650-660). 28-30 October, 2002. doi:10.1007/3-540-36124-3_44 60   0
Wildman, Luke (2002). A Formal Basis for a Program Compilation Proof Tool. In: L.-H. Eriksson and P. A. Lindsay, FME2002: Formal Methods - Getting IT Right. 11th International Symposium of Formal Methods Europe, Copenhagen, Denmark, (370-389). 22-24 July, 2002. doi:10.1007/3-540-45614-7_28 49 5 0
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. 940  
Smith, G. P. (2004). A formal framework for modelling and analysing mobile systems. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC'04). The Twenty-Seventh Australasian Computer Science Conference (ACSC'04), Dunedin, New Zealand, (193-202). 18-22 January, 2004. doi:10.1145/980000/979946/p193-smith.pdf?key1=979946 54   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. 509  
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 117 179 2 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. 462 471
Lermer, K. and Fidge, C. (2002) A formal model of real-time program compilation. Theoretical Computer Science, 282 1: 151-190. doi:10.1016/S0304-3975(01)00047-0 47   5 Cited 7 times in Scopus7 0
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. 184  
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 125   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. 258  
Miller, T. and Strooper, P. (2003) A framework and tool support for the systematic testing of model-based specifications. Acm Transactions On Software Engineering And Methodology, 12 4: 409-439. doi:10.1145/990010.990012 53   7 Cited 10 times in Scopus10 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 307 1691 2 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 150   0 Cited 0 times in Scopus0 0
Miller, Tim and Strooper, Paul (2002) A Framework for Systematic Specification Animation. Technical Report 02-35, Software Verification Research Centre, School of Information Technology, The University of Queensland. 319 629
Daley, N., Hoffman, D. and Strooper, P. (2002) A framework for table driven testing of Java classes. Software: Practice & Experience, 32 5: 465-493. doi:10.1002/spe.452 129   9 Cited 9 times in Scopus9 0
Hunter, Chris, Robinson, Peter J. and Strooper, Paul A. (2005). Agent-based distributed software verification. In: V. Estivill-Castro, Proceedings of the twenty eighth Australasian Computer Science Conference (ACSC 2005) Newcastle, Australia, January, 2005. Twenty Eighth Australasian Computer Science Conference (ACSC 2005), Newcastle, NSW, (159-164). 30 January - 2 February, 2005. 61  
Grunske, L., Geiger, L. and Lawley, M. (2005). A graphical specification of model transformations with triple graph grammars. In: A. Hartman and D. Kreische, Lecture Notes in Computer Science: Model Driven Architecture – Foundations and Applications. Model Driven architecture - Foundations and Applications: First European Conference, Nuremberg, Germany, (284-298). 7-10 November 2005. doi:10.1007/11581741_21 65   Cited 9 times in Scopus9 0
Kim, Soon-Kyeong (2002). A metamodel-based approach to integrate object-oriented graphical and formal specification techniques PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 185 3
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. 72   0
Long, Brad, Strooper, Paul and Wildman, Luke (2007) A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurrency and Computation, 19 3: 281-294. doi:10.1002/cpe.1063 108 1 4 Cited 9 times in Scopus9 0
Brockmans,, Colomb, R M, Haase,, Kendall,, Wallace,, Welty, and Xie, T. (2006). A model driven approach for building OWl Dl and OWL Full Ontologies. In: I. Cruz, S. Decker, D. Allemang, C. Priest, D. Schwabe, P. Mika, M. Uschold and L. Aroyo, 5th International Semantic Web Conference (ISWC2006). 5th International Semantic Web Conference (ISWC2006), Athens, Atlanta, USA, (187-200). 5-9 November, 2006. 47   Cited 7 times in Scopus7
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. 59  
van den Berg, Lionel, Strooper, Paul and Johnston, Wendy (2007). An automated approach to the interpretation of counter-examples. In: Proceedings of the Workshop on Verification and Debugging (V&D 2006). Workshop on Verification and Debugging (V&D 2006), Seattle, WA, United States, (19-35). 21 August 2006. doi:10.1016/j.entcs.2006.12.027 67   Cited 2 times in Scopus2 0
Reeves, M. and Zhu, J. (2004). An awareness model for supporting collaboration in distributed eXtreme programming. In: Hamid R. Arabnia and Hassan Reza, Proceedings of the International Conference on Software Engineering Research and Practice SERP'04. SERP'04 - The 2004 Conference on Software Engineering Research and Practice, Las Vegas, Nevada, U.S.A., (468-474). 21-24 June, 2004. 110  
Bowen, P. L., Heales, J. and Speed, A. E. (2000) An empirical analysis of the effect of criticality, complexity, and organisational influence on software reliablity. Australian Journal of Information Systems, 8 1: 3-16. 83  
Goldson, D. W. (2004). An experiment in the design of distributed programs. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference. The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, (70-76). 13-16 April, 2004. 25  
Miller, T. and Strooper, P. A. (2001). Animation can show only the presence of errors, never their absence. In: D. Grant and L. Sterling, Proceedings of the 2001 Australian Software Engineering Conference. 2001 Australian Software Engineering Conference, Canberra, (76-85). 27-28 August, 2001. 81   3
Robinson, N. J. and Fidge, C. J. (2002). Animation of data refinements. In: P. Strooper and P. Muenchaisri, Ninth Asia-Pacific Software Engineering Conference (APSEC 2002). APSEC 2002, Gold Coast, Australia, (137-146). 4-6 December 2002. 55   2
McComb, T. J. and Smith, G. P. (2003). Animation of object-z specifications using a Z animator. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods. The First International Conference on Software Engineering and Formal Methods, Brisbane, Australia, (191-200). 25-26 September 2003. doi:10.1109/SEFM.2003.1236221 84   2 0
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 95   0 Cited 0 times in Scopus0 0
Freeman, L. G. and Cifuentes, C. (1999). An industry perspective on decompilation. In: L. Palagi, Proceedings IEEE International Conference on Software Maintenance 1999. ICSM'99, Oxford, England, (7-12). 30 August - 3 September 1999. 40  
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. 68   3
Smith, G. P. (2002). An integration of real-time object-Z and CSP for specifying concurrent real-time systems. In: M. Butler, L. Petre and K. Sere, Integrated Formal Methods Third International Conference, IFM 2002. IFM 2002, Turku, Finland, (267-285). 15-18 May, 2002. 46  
Smith, G. P. and Hayes, I. J. (2002) An introduction to real-time Object-Z. Formal Aspects of computing, 13 2: 128-141. doi:10.1007/s001650200003 35   Cited 10 times in Scopus10 0
Wojcicki, M. and Strooper, P. A. (2007). An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies. In: B. Boehm, S. Chulani, J. Verner and B. Wong, Proceedings of the Fifth International Workshop on Software Quality (WoSQ 2007). Fifth International Workshop on Software Quality (WoSQ 2007), Minnesota, U.S.A., (). 20-26 May 2007. doi:10.1109/WOSQ.2007.4 69   Cited 0 times in Scopus0 0
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 123 623 8 Cited 6 times in Scopus6 0
Green, Peter F. (1996). An ontological analysis of information systems analysis and design (ISAD) grammars in upper case tools PhD Thesis, School of Business, The University of Queensland. 378 13
Grunske, L., Lindsay, P. A., Bondarev, E., Papadopoulos, Y. and Parker, D. (2007). An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. In Lecture Notes in Computer Science Architecting Dependable Systems IV (pp. 188-209) Heidelberg, Germany: Springer. 128 1
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 379 359 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 40   Cited 1 times in Scopus1 0
Grunske, Lars and Lueck, Einar (2004) Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification. International journal of parallel programming, 5 2: . 585 506
Hayes, I. J. (2003). A predicative semantics for real-time refinement. In A. McIver and C. Morgan (Ed.), Programming Methodology 1 ed. (pp. 109-133) New York: Springer Verlag. 55  

Page 1 of 7

Result Pages:    1 2 3 4 5 6 7  next › last »