eCite Digital Repository

Items where Subject is Field of Research, Information and Computing Sciences, Computer Software, Software Engineering

Journal Article
Keimpema, A and Kettenis, MM and Pogrebenko, SV and Campbell, RM and Cimo, G and Duev, DA and Eldering, B and Kruithof, N and van Langevelde, HJ and Marchal, D and Molera Calves, G and Ozdemir, H and Paragi, Z and Pidopryhora, Y and Szomoru, A and Yang, J, The SFXC software correlator for very long baseline interferometry: algorithms and implementation, Experimental Astronomy, 39, (2) pp. 259-279. ISSN 0922-6435 (2015) [Refereed Article] 
Um, J-H and Choi, H and Song, S-K and Choi, S-P and Yoon, HM and Jung, H and Kim, T-H, Development of a virtualized supercomputing environment for genomic analysis, Journal of Supercomputing, 65, (1) pp. 71-85. ISSN 0920-8542 (2013) [Refereed Article] 
Kim, T-h and Mohammed, S, Journal of Supercomputing, 65 ISSN 1573-0484 (2013) [Edited Journal]
Song, JG and Jung, S and Kang, BH and Hwang, D-J and Kim, S, Design of context-aware middleware for mobile healthcare services, Journal of the Chinese Institute of Engineers, 35, (5) pp. 535-545. ISSN 0253-3839 (2012) [Refereed Article] 
Holmes, WN, Software Engineering: To Be or What To Be?, Software Engineering Notes, 24, (3) pp. 81-83. ISSN 0163-5948 (1999) [Non Refereed Article] 
Cifuentes, CN and Lockwood, CA, Introduction of a Case Tool to Teach Structured Analysis, Computers Education, 27, (1996) pp. 197-204. ISSN 0010-4590 (1996) [Non Refereed Article] 
Chapter in Book
Terzis, S and Nixon, P and Wade, V and Dobson, S and Fuller, J, The Future of Enterprise Groupware Applications, Enterprise Information Systems, Kluwer Academic Publishers, J Filipe (ed), Dordrecht, pp. 99-106. ISBN 079236239X (2000) [Research Book Chapter] 
Conference Publication
Wasinger, R and Gubi, K and Kay, J and Kummerfeld, B and Fry, MR and Kuflik, T, RoughMaps: A generic platform to support symbolic map use in indoor environments, Proceedings of the 3rd International Conference on Indoor Positioning and Indoor Navigation, 13-15 November 2012, University of New South Wales, Sydney, Australia, pp. 1-10. ISBN 978-1-4673-1954-6 (2012) [Refereed Conference Paper] 
Canas, DR and Orozco, ALS and Villalba, LJG and Kim, T-H, A comparison study between AntOR-disjoint node routing and AntOR-disjoint link routing for mobile Ad Hoc networks, Proceedings of the 2011 International Conference on Multimedia, Computer Graphics and Broadcasting, 8-10 December 2011, Jeju Island, South Korea, pp. 300-304. ISBN 978-364227185-4 (2011) [Refereed Conference Paper] 
Canas, DR and Orozco, ALS and Villalba, LJG and Kim, T-H, Comparing AntOR-disjoint node routing protocol with its parallel extension, Proceedings of the 2011 International Conference on Multimedia, Computer Graphics and Broadcasting, 8-10 December 2011, Jeju Island, South Korea, pp. 305-309. ISBN 978-364227185-4 (2011) [Refereed Conference Paper] 
Acuna, M and Brown, MS and Mirowski, L, Improving Forestry Transport Efficiency through Truck Schedule Optimization: a case study and software tool for the Australian Industry, Proceedings of FORMEC 2011, 9-13 October 2013, Graz, Austria EJ (2011) [Refereed Conference Paper]
Yearwood, JL and Kang, BH and Kelarev, A, Experimental investigation of three machine learning algorithms for ITS dataset, Proceedings of Future Generation Information Technology, 10-12 December 2009, Jeju Island, Korea, pp. 308-316. ISBN 978-3-642-10508-1 (2009) [Refereed Conference Paper]
Srivastava, PR and Ray, M and Dermoudy, J and Kang, BH and Kim, TH, Test case minimization and prioritization using CMIMX technique, Proceedings of the International Conference on Advanced Software Engineering and Its Applications, 10-12 December 2009, Jeju Island, Korea, pp. 25-33. ISBN 978-3-642-10618-7 (2009) [Refereed Conference Paper]
Pidopryhora, YM and Keimpema, A and Kettenis, M, The latest tests of the SFXC software correlator, Proceedings of the 8th International e-VLBI Workshop 2009, 22-26 June 2009, Madrid, Spain, pp. 1-4. (2009) [Non Refereed Conference Paper]
Kildare, RA and Williams, RN and Hartnett, JS, An online tool for learning collaboration and learning while collaborating, Proceedings of the Eighth Australasian Computing Education Conference (ACE2006), 16-19 January 2006, Hobart, Tasmania, pp. 101-108. ISBN 1-920-68234-1 (2006) [Refereed Conference Paper]
Park, DH and Yoo, CS and Kim, YS and Yeom, SJ, Object Modeling for Mapping XML Document Represented in XML-GDM to UML Class Diagram, Computational Science and Its Applacations - ICCSA 2006 Proceedings, 8-11 May 2006, Glasgow, UK, pp. 958-967. ISBN 3-540-34079-3 (2006) [Refereed Conference Paper] 
Vamplew, PW and Dermoudy, J, An Anti-Plagiarism Editor for Software Development Courses, Proceedings of the Seventh Australasian Computing Education Conference (ACE2005), January 2005, Newcastle, Australia, pp. 83-90. ISBN 1-920682-24-4 (2005) [Refereed Conference Paper]
Shaw, KN and Dermoudy, J, Engendering an Empathy for Software Engineering, Proceedings of the Seventh Australasian Computing Education Conference (ACE2005), January 2005, Newcastle, NSW, pp. 135-144. ISBN 1-920682-24-4 (2005) [Refereed Conference Paper] 
Clark, N, Evaluating student teams developing unique industry projects, Proceedings of the Seventh Australasian Computing Education Conference (ACE2005), January 2005, Newcastle, Australia, pp. 21-29. ISBN 1-920682-24-4 (2005) [Refereed Conference Paper] 
Clark, N and Davies, PG and Skeers, R, Self and Peer Assessment in Software Engineering Projects, Proceedings of the Seventh Australasian Computing Education Conference (ACE2005), January 2005, Newcastle, Australia, pp. 91-100. ISBN 1-920682-24-4 (2005) [Refereed Conference Paper]
Atkinson, A and Malhotra, V, Coalescing Idle Workstations as a Multiprocessor System using Javaspaces and Java Web Start, Proceedings of the Eighth IASTED International Conference on Internet and Multimedia Systems and Applications, 16-18 August, 2004, Kauai, Hawaii, pp. 233-238. ISBN 088986-428-4 (2004) [Refereed Conference Paper] 
Stanton, SC and Malhotra, V, Model checking an object-oriented design validation led development of software, Proceedings of the 6th International Conference on Enterprise Information Systems, 14-17 April 2004, Porto, Portugal, pp. 605-608. ISBN 972-8865-00-7 (2004) [Refereed Conference Paper] 
Clark, N, Peer Testing in Software Engineering Projects, Computing Education 2004 Sixth Australasian Computing Education Conference (ACE 2004) Australian Computer Science Communications, January 2004, Dunedin, New Zealand, pp. 41-48. ISBN 1-920682-12-0 (2004) [Refereed Conference Paper] 
Malhotra, V and Stanton, S, Validating inter-object interaction in object-oriented designs, Proceedings of the Fourth IASTED International Conference on Modelling, Simulation and Optimization, 16-18 August 2004, Kauai, Hawaii, pp. 241-245. ISSN 1482-7905 (2004) [Refereed Conference Paper] 
Stanton, S and Malhotra, VM, Validation led development of object-oriented software using a nodel verifier, Proceedings of the 2004 IADIS International Conference on Applied Computing, 23-26 March 2004, Lisbon, Portugal ISBN 972-98947-3-6 (2004) [Conference Extract] 
Clark, N, Peer group critiquing of software engineering projects, Proceedings of Improving Learning Outcomes Through Flexible Science Teaching, October 3, 2003, University of Sydney, NSW, pp. 14-19. ISBN 1 86487 490 2 (2003) [Refereed Conference Paper] 
Montgomery, EJ and Meling, R and Mehandjiska, D, Semi-formal, not semi-realistic: a component description manager, Proceedings of the Technology of Object-Oriented Languages, Systems and Architectures, 13-15 March 2002, Sofia, Bulgaria, pp. 197-207. ISBN 978-1-4615-0413-9 (2003) [Refereed Conference Paper]
Gibson, RR, The Student Record Book: Showing the Value of Documentation, Proceedings fo the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 24-28 June, 2002, Aarhus, Denmark, pp. 197. ISBN 1-58113-499-1 (2002) [Non Refereed Conference Paper] 
Meling, R and Montgomery, EJ and Ponnusamy, PS and Wong, EB and Mehandjiska, D, Storing and retrieving software components: a component description manager, Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 28-29 April 2000, Canberra, ACT, pp. 107-117. ISBN 0-7695-0631-3 (2000) [Refereed Conference Paper] 
Doroshenko, E, A Refined Meta-Model Approach to Education for the Trasition to Object Technology, OOIS'97 1997 International Conference on Object Oriented Systems, Brisbane, pp. 466-476. (1998) [Refereed Conference Paper] 
Doroshenko, E, A Model for Research Surveying in Software Methodologies, Proceedings of the 8th Australasian Conference on Information Systems, University of South Australia, Adelaide, SA, pp. 77-90. (1997) [Refereed Conference Paper] 
Lakos, CA and Lewis, G, Animating formal specifications using Java applets, Technology of Object-Oriented Languages and Systems, Melbourne, pp. 181-191. (1997) [Refereed Conference Paper] 
Lakos, CA and Malhotra, VM, Requirements specification: an exercise in verification, Proceedings of Software Engineering and Its Application, Hyderabad, India, pp. 41-50. (1997) [Refereed Conference Paper] 
Lakos, CA, A cooperative editor for hierarchical diagrams: An Object Petri Net model, Workshop on Object-oriented Programming and Models of Concurrency., Osaka, Japan, pp. 43-56. (1996) [Non Refereed Conference Paper] 
Keen, CD and Lakos, CA, An Analysis of the Design Constructs Required in Process Modelling, 1996 International Conference on Software Egnineering: Education & Practice, Otago University, Dunedin, NZ, pp. 434-441. (1996) [Non Refereed Conference Paper] 
Shi, L and Nixon, Paddy, An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets, FME '96: Industrial Benefit and Advances in Formal Methods, 18-22 March 1996, Oxford, UK, pp. 518-537. ISBN 3-540-60973-3 (1996) [Refereed Conference Paper] 
Cifuentes, CN and Malhotra, VM, Binary Translation: Static, Dynamic, Retargetable?, Proceedings of the 1996 International Conference on Software Maintenance, 4-8 November 1996, Monterey, California USA, pp. 340-349. (1996) [Refereed Conference Paper] 
Ridley, G, Establishing Australian is Research Traditions: Identifying Appropriate Quality Publication Outlets and the Significance of Conference Publications, Australasian Conference on Information Systems, University of Tasmania, Hobart, pp. 567-578. (1996) [Refereed Conference Paper] 
Milton, SK and Keen, CD, Linguistic-based Information Systems Modelling, Australasian Conference of Information Systems, University of Tasmania, Hobart, pp. 473-484. (1996) [Refereed Conference Paper] 
Keen, CD and Urquhart, C and Lamp, JW, Proceedings of the Seventh Australian Conference on Information Systems, Dept of Computer Science, University of Tasmania, University of Tasmania, Hobart, pp. 431-846. (1996) [Conference Edited] 
Dermoudy, J, Taswegian GUM: An Extension of Glaswegian GUM, Third Massey Functional Programming Workshop, Massey University, pp. 65-75. (1996) [Refereed Conference Paper] 
Lakos, CA, The consistent use of names and polymorphism in the definition of Object Petri Nets, 17th International Conference on the Application and Theory of Petri Nets, Osaka, Japan, pp. 380-399. (1996) [Refereed Conference Paper] 
Young, JF, The scope of qualifications, experience and skills Australian organisations require of system analysts and programmers, Australasian Conference on Information Systems, University of Tasmania, Hobart, pp. 833-843. (1996) [Refereed Conference Paper] 
Lakos, CA, Towards a reflective implementation of Object Petri Nets, TOOLS Pacfic 1996, Melbourne, Australia, pp. 129-140. (1996) [Refereed Conference Paper] 
Keen, CD, Treatment of Metaphors in Software Engineering, 1996 International Conference on Software Engineering: Education & Practice, Otago University, Dunedin, NZ, pp. 329-335. (1996) [Non Refereed Conference Paper] 
Lakos, CA, From Coloured Petri Nets to Object Petri Nets, 16th International Conference on the Application and Theory of Petri Nets, Torino, Italy, pp. 278-297. (1995) [Refereed Conference Paper] 
Lakos, CA, Pragmatic Inheritance Issues for Object Petri Nets, TOOLS Pacific 1995, Melbourne, Australia, pp. 309-321. (1995) [Refereed Conference Paper] 
Lakos, CA, The Object Orientation of Object Petri Nets, Workshop on Object Oriented Programming and Models of Concurrency, Torino, Italy, pp. 1-14. (1995) [Non Refereed Conference Paper] 
Cifuentes, CN and Hughes, J, SE Curriculum Design: Methodologies, Formal Methods, and Life Cycle Models Part II -- Formal Methods, Software Education Conference, Dunedin, New Zealand, pp. 344-346. (1994) [Non Refereed Conference Paper] 
Croll, P and Nixon, Paddy, Developing safety-critical software within a CASE environment, Colloquium on Computer Aided Software Engineering Tools for Real-Time Control, 24-24 April 1991, London , pp. 2/1 - 2/4 . (1991) [Refereed Conference Paper] 
Thesis
Adamczewski, JL, The Hoard: Paged Virtual Memory for the Cell BE SPE (2011) [PhD] 
Entry
Vassev, E and Nixon, P and Hinchey, M and Gaudin, B, Automatic Repair of Software Systems, Encyclopedia of Software Engineering, PA Laplante (ed), Germany, 1, pp. 1-11 (2012) [Entry]
Other Public Output
Lakos, CA, The LOOPN++ User Manual, Technical Report, Computer Science Dept, University of Tasmania, Hobart, Tasmania, Jan, R96-1 (1996) [Report of Restricted Access] 
Lakos, CA and Keen, CD, An Open Software Engineering Environment Based on Object Petri Nets, Technical Report, Computer Science Dept, University of Tasmania, May 1995, R95-6 (1995) [Report of Restricted Access] 

This list was generated on Wed May 22 22:10:50 2019.