关注
Philip Dart
Philip Dart
School of Computing and Information Systems, The University of Melbourne
在 unimelb.edu.au 的电子邮件经过验证
标题
引用次数
引用次数
年份
Phonetic string matching: Lessons from information retrieval
J Zobel, P Dart
Proceedings of the 19th annual international ACM SIGIR conference on …, 1996
3951996
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
1261992
On derived dependencies and connected databases
PW Dart
The Journal of Logic Programming 11 (2), 163-188, 1991
671991
The NU-Prolog Debugging Environment.
L Naish, PW Dart, J Zobel
ICLP, 521-536, 1989
551989
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
281992
Verifying model oriented specifications through animation
E Kazmierczak, M Winikoff, P Dart
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998
261998
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
261989
Enhancing project-based learning: Variations on mentoring
P Dart, L Johnston, C Schmidt
Proceedings of 1996 Australian Software Engineering Conference, 112-117, 1996
241996
Rapid prototyping using formal specifications
M Winikoff, P Dart, E Kazmierczak
Proceedings of the 21st Australasian Computer Science Conference, 279-294, 1998
231998
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
221999
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
151988
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
A hyperlinked persistent software development environment
A Dearle, C Marlin, P Dart
Proceedings of Hyper-Oz'92: A Workshop on Hypertext Activities in Australia …, 1992
81992
系统目前无法执行此操作,请稍后再试。
文章 1–20