Philip W. Dart

23 papers A* 1B 1C 1Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2000 J jnl
Partitioning Number Sequences into Optimal Subsequences.
J. Res. Pract. Inf. Technol.
Justin Zobel, Philip W. Dart
2000 — conf
Towards the Software Engineering of Neural Networks: A Maturity Model.
Australian Software Engineering Conference
Anthony Senyard, Philip W. Dart, Leon Sterling
2000 J jnl
Verifying Requirements Through Mathematical Modelling and Animation.
Int. J. Softw. Eng. Knowl. Eng.
Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff
1999 J jnl
Disincentives for communicating risk: a risk paradox.
Inf. Softw. Technol.
Cameron Schmidt, Philip W. Dart, Lorraine Johnston, Leon Sterling, Peter Thorne
1998 — conf
Detecting and Resolving Temporal Ambiguities in User Interface Specifications.
BCS HCI
Paul Chesson, Lorraine Johnston, Philip W. Dart
1998 — conf
Outsourcing for software applications development: issues, implications and impact.
ECIS
Rasha Abbas, Philip W. Dart, Fergus O'Brien, Edmund Kazmierczak
1998 — conf
Towards a Framwork and Procedure for Specifying User Interfaces.
EHCI
Paul Chesson, Lorraine Johnston, Philip W. Dart
1998 C conf
Verifying Model Oriented Specifications through Animation.
APSEC
Edmund Kazmierczak, Michael Winikoff, Philip W. Dart
1997 J jnl
Developing an Accredited Software Engineering Program.
IEEE Softw.
Philip W. Dart, Lorraine Johnston, Cameron Schmidt, Liz Sonenberg
1996 — conf
Analysis of Software System Requirements Models.
Australian Software Engineering Conference
Elizabeth Haywood, Philip W. Dart
1996 — conf
Enhancing Project-Based Learning: Variations on Mentoring.
Australian Software Engineering Conference
Philip W. Dart, Lorraine Johnston, Cameron Schmidt
1996 A* conf
Phonetic String Matching: Lessons from Information Retrieval.
SIGIR
Justin Zobel, Philip W. Dart
1995 J jnl
Finding Approximate Matches in Large Lexicons.
Softw. Pract. Exp.
Justin Zobel, Philip W. Dart
1994 — conf
Building on Experience: An Undegraduate Course with Two Year-Long Projects.
CSEE
Lorraine Johnston, Philip W. Dart
1993 — conf
Development of an expert assistant for software evaluation using a hybrid approach.
KBSE
Gina Kingston, Rudi Vernik, Philip W. Dart
1992 — ch.
A Regular Type Language for Logic Programs.
Types in Logic Programming
Philip W. Dart, Justin Zobel
1992 J jnl
Efficient Run-Time Type Checking of Typed Logic Programs.
J. Log. Program.
Philip W. Dart, Justin Zobel
1991 J jnl
On Derived Dependencies and Connected Databases.
J. Log. Program.
Philip W. Dart
1990 — conf
A Characterization of Non-Floundering Logic Programs.
NACLP
Kim Marriott, Harald Søndergaard, Philip W. Dart
1989 B conf
The NU-Prolog Debugging Environment.
ICLP
Lee Naish, Philip W. Dart, Justin Zobel
1988 J jnl
Conceptual schemas applied to deductive databases.
Inf. Syst.
Philip W. Dart, Justin Zobel
1988 — ch.
The NU-Prolog Deductive Database System.
Prolog and Databases
Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart
1987 J jnl
The NU-Prolog Deductive Database System.
IEEE Data Eng. Bull.
Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart