Dr Philip Dart

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

Research interests

  • Software Engineering

Personal webpage


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.
  2. Senyard AL, Sterling L, Kazmierczak E, Dart P. Software Development of Neural Networks for Chemical Engineers. 6th World Congress of Chemical Engineers. Conference Media Services Australia. 2001.
  3. Zobel J, Dart P. Partitioning number sequences into optimal subsequences. JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY. Australian Computer Society. 2000, Vol. 32, Issue 2.
  4. Zobel J, Dart P. Partitioning number sequences into optimal subsequences. Australian Computer Journal. 2000, Vol. 32, Issue 2.
  5. Senyard A, Dart P, Sterling L. Towards the software engineering of neural networks: A maturity model. Proceedings of the Australian Software Engineering Conference, ASWEC. 2000, Vol. 2000-January.
  6. Kazmierczak E, Dart P, Sterling L, Winikoff M. Verifying requirements through mathematical modelling and animation. International Journal of Software Engineering and Knowledge Engineering. 2000, Vol. 10, Issue 2.
  7. Schmidt C, Dart P, Johnston L, Sterling L, Thorne P. Disincentives for communicating risk: a risk paradox. INFORMATION AND SOFTWARE TECHNOLOGY. Elsevier BV. 1999, Vol. 41, Issue 7.
  8. Dart P, Johnston L, Schmidt C, Sonenberg E. Developing an accredited software engineering program. IEEE Software. 1997, Vol. 14, Issue 6.
  9. Zobel J, Dart P. Phonetic string matching: lessons from information retrieval. SIGIR Forum (ACM Special Interest Group on Information Retrieval). 1996.
  10. Zobel J, Dart P. Finding approximate matches in large lexicons. Software: Practice and Experience. John Wiley & Sons. 1995, Vol. 25, Issue 3.
  11. Dart P, Zobel J. Efficient run-time type checking of typed logic programs. The Journal of Logic Programming. 1992, Vol. 14, Issue 1-2.
  12. Dart P. On derived dependencies and connected databases. The Journal of Logic Programming. 1991, Vol. 11, Issue 2.
  13. Marriott K, Sondergaard H, Dart P. A characterization of non-floundering logic programs. 1990 North American Conference on Logic Programming. MIT Press. 1990. Editors: Debray SK, Hermenegildo M.
  14. Dart P, Zobel J. Conceptual schemas applied to deductive databases. Information Systems. Pergamon. 1988, Vol. 13, Issue 3.
  15. 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.

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