Dr Philip Dart

  • Room: Level: 09 Room: 9.27
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Software Engineering

Personal webpage

au.linkedin.com/in/philipdart

Recent publications

  1. Haywood, E.; Dart, P. A process for the practical selection of requirements modelling approaches. Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002. 2012, pp. 70-75.
  2. Senyard, AL.; Sterling, LS.; Kazmierczak, EA.; Dart, PW. Software Development of Neural Networks for Chemical Engineers. Proceedings of the 6th World Congress of Chemical Engineers. Conference Media Services Australia. 2001, pp. 1-10.
  3. Zobel, J.; Dart, P. Partitioning number sequences into optimal subsequences. Journal of Research and Practice in Information Technology. AUSTRALIAN COMPUTER SOC INC. 2000, Vol. 32, Issue 2, pp. 121-129.
  4. Zobel, J.; Dart, P. Partitioning number sequences into optimal subsequences. Australian Computer Journal. 2000, Vol. 32, Issue 2, pp. 121-129.
  5. Senyard, A.; Dart, P.; Sterling, L. Towards the software engineering of neural networks: A maturity model. Proceedings 2000 Australian Software Engineering Conference. IEEE Comput. Soc. 2000, Vol. 2000-January, pp. 45-51. DOI: 10.1109/ASWEC.2000.844558
  6. Kazmierczak, E.; Dart, P.; Sterling, L.; Winikoff, M. Verifying requirements through mathematical modelling and animation. International Journal of Software Engineering and Knowledge Engineering. WORLD SCIENTIFIC PUBL CO PTE LTD. 2000, Vol. 10, Issue 2, pp. 251-273. DOI: 10.1142/S0218194000000146
  7. Dart, P.; Kazmierczak, E.; Sterling, L.; Martelli, M.; Mascardi, V.; Zini, F.; Subrahmanian, VS. Combining logical agents with rapid prototyping for engineering distributed applications. STEP '99. Proceedings Ninth International Workshop Software Technology and Engineering Practice. IEEE Comput. Soc. 1999, pp. 40-49. DOI: 10.1109/STEP.1999.798478
  8. Schmidt, C.; Dart, P.; Johnston, L.; Sterling, L.; Thorne, P. Disincentives for communicating risk: a risk paradox. Information and Software Technology. ELSEVIER SCIENCE BV. 1999, Vol. 41, Issue 7, pp. 403-411. DOI: 10.1016/S0950-5849(99)00011-7
  9. Kazmierczak, E.; Winikoff, M.; Dart, P. Verifying model oriented specifications through animation. Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240). IEEE Comput. Soc. 1998, Vol. 1998-December, pp. 254-261. DOI: 10.1109/APSEC.1998.733727
  10. Dart, P.; Johnston, L.; Schmidt, C.; Sonenberg, L. Developing an accredited software engineering program. IEEE Software. Institute of Electrical and Electronics Engineers (IEEE). 1997, Vol. 14, Issue 6, pp. 66-70. DOI: 10.1109/52.636671
  11. Zobel, J.; Dart, P. Phonetic string matching: lessons from information retrieval. SIGIR Forum (ACM Special Interest Group on Information Retrieval). 1996, pp. 166-173.
  12. Zobel, J.; Dart, P. Finding approximate matches in large lexicons. Software: Practice and Experience. Wiley. 1995, Vol. 25, Issue 3, pp. 331-345. DOI: 10.1002/spe.4380250307
  13. Johnston, L.; Dart, P. Building on experience: An undergraduate course with two year-long projects. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1994, Vol. 750 LNCS, pp. 345-357.
  14. Dart, PW.; Zobel, J. Efficient run-time type checking of typed logic programs. The Journal of Logic Programming. Elsevier BV. 1992, Vol. 14, Issue 1-2, pp. 31-69. DOI: 10.1016/0743-1066(92)90046-6
  15. Dart, PW. On derived dependencies and connected databases. The Journal of Logic Programming. Elsevier BV. 1991, Vol. 11, Issue 2, pp. 163-188. DOI: 10.1016/0743-1066(91)90017-J
  16. Marriott, K.; Sondergaard, H.; Dart, P. A CHARACTERIZATION OF NON-FLOUNDERING LOGIC PROGRAMS. LOGIC PROGRAMMING : PROCEEDINGS OF THE 1990 NORTH AMERICAN CONFERENCE. M I T PRESS. 1990, pp. 661-680.
  17. Dart, PW.; Zobel, J. Conceptual schemas applied to deductive databases. Information Systems. Elsevier BV. 1988, Vol. 13, Issue 3, pp. 273-287. DOI: 10.1016/0306-4379(88)90039-7
  18. Ramamohanarao, K.; Shepherd, J.; Balbin, I.; Port, G.; Naish, L.; Thom, J.; Zobel, J.; Dart, P. OVERVIEW OF THE NU-PROLOG DEDUCTIVE DATABASE SYSTEM.. . 1988, Vol. 10, Issue 1, pp. 204-214.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile