Volgen
Philip Dart
Philip Dart
School of Computing and Information Systems, The University of Melbourne
Geverifieerd e-mailadres voor unimelb.edu.au
Titel
Geciteerd door
Geciteerd door
Jaar
Phonetic string matching: Lessons from information retrieval
J Zobel, P Dart
Proceedings of the 19th annual international ACM SIGIR conference on …, 1996
3861996
Finding approximate matches in large lexicons
J Zobel, P Dart
Software: Practice and Experience 25 (3), 331-345, 1995
2281995
A Regular Type Language for Logic Programs.
PW Dart, J Zobel
Types in logic programming, 157-187, 1992
1251992
On derived dependencies and connected databases
PW Dart
The Journal of Logic Programming 11 (2), 163-188, 1991
661991
The NU-Prolog Debugging Environment.
L Naish, PW Dart, J Zobel
ICLP, 521-536, 1989
531989
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
321999
Efficient run-time type checking of typed logic programs
PW Dart, J Zobel
The Journal of Logic Programming 14 (1-2), 31-69, 1992
271992
Verifying model oriented specifications through animation
E Kazmierczak, M Winikoff, P Dart
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998
261998
A Characterization of Non-Floundering Logic Programs.
K Marriott, H Søndergaard, PW Dart
NACLP, 661-680, 1990
261990
Rapid prototyping using formal specifications
M Winikoff, P Dart, E Kazmierczak
Proceedings of the 21st Australasian Computer Science Conference, 279-294, 1998
241998
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
241989
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
231999
Enhancing project-based learning: Variations on mentoring
P Dart, L Johnston, C Schmidt
Proceedings of 1996 Australian Software Engineering Conference, 112-117, 1996
221996
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
192000
Dependency analysis and query interfaces for deductive databases
PW Dart
University of Melbourne, 1988
191988
Developing an accredited software engineering program
P Dart, L Johnston, C Schmidt, L Sonenberg
IEEE Software 14 (6), 66-70, 1997
161997
Conceptual schemas applied to deductive databases
PW Dart, J Zobel
Information Systems 13 (3), 273-287, 1988
161988
Analysis of software system requirements models
E Haywood, P Dart
Proceedings of 1996 Australian Software Engineering Conference, 131-138, 1996
141996
Towards requirements for requirements modelling tools
E Haywood, P Dart
Department of Computer Science, University of Melbourne, 1997
91997
Outsourcing Software Applications Development: Issues, Implications, and Impact
R Abbas, P Dart, E Kazmierczak, F O'Brien
TECHNICAL REPORT-UNIVERSITY OF MELBOURNE DEPARTMENT OF COMPUTER SCIENCE, 1997
91997
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20