Philip W. Dart

Publication Activity (10 Years)

Years Active: 1987-2000
Publications (10 Years): 0

Publications

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