Philip W. Dart

Affiliations:
  • University of Melbourne, School of Computing and Information Systems, Australia


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2000
Verifying Requirements Through Mathematical Modelling and Animation.
Int. J. Softw. Eng. Knowl. Eng., 2000

Partitioning Number Sequences into Optimal Subsequences.
J. Res. Pract. Inf. Technol., 2000

Towards the Software Engineering of Neural Networks: A Maturity Model.
Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1999
Disincentives for communicating risk: a risk paradox.
Inf. Softw. Technol., 1999

1998
Towards a Framwork and Procedure for Specifying User Interfaces.
Proceedings of the Engineering for Human-Computer Interaction, 1998

Outsourcing for software applications development: issues, implications and impact.
Proceedings of the Sixth European Conference on Information Systems, 1998

Detecting and Resolving Temporal Ambiguities in User Interface Specifications.
Proceedings of the People and Computers XIII, Proceedings of HCI '98, 1998

Verifying Model Oriented Specifications through Animation.
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997
Developing an Accredited Software Engineering Program.
IEEE Softw., 1997

1996
Phonetic String Matching: Lessons from Information Retrieval.
Proceedings of the 19th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1996

Analysis of Software System Requirements Models.
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

Enhancing Project-Based Learning: Variations on Mentoring.
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1995
Finding Approximate Matches in Large Lexicons.
Softw. Pract. Exp., 1995

1994
Building on Experience: An Undegraduate Course with Two Year-Long Projects.
Proceedings of the Software Engineering Education, 1994

1993
Development of an expert assistant for software evaluation using a hybrid approach.
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

1992
Efficient Run-Time Type Checking of Typed Logic Programs.
J. Log. Program., 1992

A Regular Type Language for Logic Programs.
Proceedings of the Types in Logic Programming., 1992

1991
On Derived Dependencies and Connected Databases.
J. Log. Program., 1991

1990
A Characterization of Non-Floundering Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989
The NU-Prolog Debugging Environment.
Proceedings of the Logic Programming, 1989

1988
Conceptual schemas applied to deductive databases.
Inf. Syst., 1988

The NU-Prolog Deductive Database System.
Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988

1987
The NU-Prolog Deductive Database System.
IEEE Data Eng. Bull., 1987


  Loading...