Philip W. Dart

According to our database, Philip W. Dart authored at least 23 papers between 1987 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Verifying Requirements Through Mathematical Modelling and Animation.

Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff

Int. J. Softw. Eng. Knowl. Eng., 2000

Partitioning Number Sequences into Optimal Subsequences.

Justin Zobel, Philip W. Dart

J. Res. Pract. Inf. Technol., 2000

Towards the Software Engineering of Neural Networks: A Maturity Model.

Anthony Senyard, Philip W. Dart, Leon Sterling

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1999

Disincentives for communicating risk: a risk paradox.

Cameron Schmidt, Philip W. Dart, Lorraine Johnston, Leon Sterling, Peter Thorne

Inf. Softw. Technol., 1999

1998

Towards a Framwork and Procedure for Specifying User Interfaces.

Paul Chesson, Lorraine Johnston, Philip W. Dart

Proceedings of the Engineering for Human-Computer Interaction, 1998

Outsourcing for software applications development: issues, implications and impact.

Rasha Abbas, Philip W. Dart, Fergus O'Brien, Edmund Kazmierczak

Proceedings of the Sixth European Conference on Information Systems, 1998

Detecting and Resolving Temporal Ambiguities in User Interface Specifications.

Paul Chesson, Lorraine Johnston, Philip W. Dart

Proceedings of the People and Computers XIII, Proceedings of HCI '98, 1998

Verifying Model Oriented Specifications through Animation.

Edmund Kazmierczak, Michael Winikoff, Philip W. Dart

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

Developing an Accredited Software Engineering Program.

Philip W. Dart, Lorraine Johnston, Cameron Schmidt, Liz Sonenberg

IEEE Softw., 1997

1996

Phonetic String Matching: Lessons from Information Retrieval.

Justin Zobel, Philip W. Dart

Proceedings of the 19th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1996

Analysis of Software System Requirements Models.

Elizabeth Haywood, Philip W. Dart

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

Enhancing Project-Based Learning: Variations on Mentoring.

Philip W. Dart, Lorraine Johnston, Cameron Schmidt

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1995

Finding Approximate Matches in Large Lexicons.

Justin Zobel, Philip W. Dart

Softw. Pract. Exp., 1995

1994

Building on Experience: An Undegraduate Course with Two Year-Long Projects.

Lorraine Johnston, Philip W. Dart

Proceedings of the Software Engineering Education, 1994

1993

Development of an expert assistant for software evaluation using a hybrid approach.

Gina Kingston, Rudi Vernik, Philip W. Dart

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

1992

Efficient Run-Time Type Checking of Typed Logic Programs.

Philip W. Dart, Justin Zobel

J. Log. Program., 1992

A Regular Type Language for Logic Programs.

Philip W. Dart, Justin Zobel

Proceedings of the Types in Logic Programming., 1992

1991

On Derived Dependencies and Connected Databases.

Philip W. Dart

J. Log. Program., 1991

1990

A Characterization of Non-Floundering Logic Programs.

Kim Marriott, Harald Søndergaard, Philip W. Dart

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

The NU-Prolog Debugging Environment.

Lee Naish, Philip W. Dart, Justin Zobel

Proceedings of the Logic Programming, 1989

1988

Conceptual schemas applied to deductive databases.

Philip W. Dart, Justin Zobel

Inf. Syst., 1988

The NU-Prolog Deductive Database System.

Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart

Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988

1987

The NU-Prolog Deductive Database System.

Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart

IEEE Data Eng. Bull., 1987