Philip Dart
Philip Dart
School of Computing and Information Systems, The University of Melbourne
Verified email at
Cited by
Cited by
Phonetic string matching: Lessons from information retrieval
J Zobel, P Dart
Proceedings of the 19th annual international ACM SIGIR conference on …, 1996
Finding approximate matches in large lexicons
J Zobel, P Dart
Software: Practice and Experience 25 (3), 331-345, 1995
A Regular Type Language for Logic Programs.
PW Dart, J Zobel
Types in logic programming, 157-187, 1992
On derived dependencies and connected databases
PW Dart
The Journal of Logic Programming 11 (2), 163-188, 1991
The NU-Prolog Debugging Environment.
L Naish, PW Dart, J Zobel
ICLP, 521-536, 1989
Disincentives for communicating risk: a risk paradox
C Schmidt, P Dart, L Johnston, L Sterling, P Thorne
Information and Software Technology 41 (7), 403-411, 1999
Verifying model oriented specifications through animation
E Kazmierczak, M Winikoff, P Dart
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998
Efficient run-time type checking of typed logic programs
PW Dart, J Zobel
The Journal of Logic Programming 14 (1-2), 31-69, 1992
A characterization of non-floundering logic programs
K Marriott, H Søndergaard, P Dart
Proceedings of the 1990 North American conference on Logic programming, 661-680, 1990
The NU-Prolog deductive database system
K Ramamohanarao, J Shepherd, I Balbin, G Port, L Naish, J Thom, ...
Prolog and databases: implementations and new directions, 212-250, 1989
Combining logical agents with rapid prototyping for engineering distributed applications
P Dart, E Kazmierczak, L Sterling, M Martelli, V Mascardi, F Zini, ...
STEP'99. Proceedings Ninth International Workshop Software Technology and …, 1999
Rapid prototyping using formal specifications
M Winikoff, P Dart
In Proceedings of the 21st Australasian Computer Science Conference, 1998
Dependency analysis and query interfaces for deductive databases
PW Dart
University of Melbourne, 1988
Enhancing project-based learning: Variations on mentoring
P Dart, L Johnston, C Schmidt
Proceedings of 1996 Australian Software Engineering Conference, 112-117, 1996
Verifying requirements through mathematical modelling and animation
E Kazmierczak, P Dart, L Sterling, M Winikoff
International Journal of Software Engineering and Knowledge Engineering 10 …, 2000
Conceptual schemas applied to deductive databases
PW Dart, J Zobel
Information Systems 13 (3), 273-287, 1988
Developing an accredited software engineering program
P Dart, L Johnston, C Schmidt, L Sonenberg
IEEE Software 14 (6), 66-70, 1997
Analysis of software system requirements models
E Haywood, P Dart
Proceedings of 1996 Australian Software Engineering Conference, 131-138, 1996
Towards requirements for requirements modelling tools
E Haywood, P Dart
Department of Computer Science, University of Melbourne, 1997
Outsourcing Software Applications Development: Issues, Implications, and Impact
R Abbas, P Dart
In 6th European Conference on Information Systems (ECIS'98), Aix-enProvence, 1998
The system can't perform the operation now. Try again later.
Articles 1–20