2000 |
22 | EE | Anthony Senyard,
Philip W. Dart,
Leon Sterling:
Towards the Software Engineering of Neural Networks: A Maturity Model.
Australian Software Engineering Conference 2000: 45-52 |
21 | | Edmund Kazmierczak,
Philip W. Dart,
Leon Sterling,
Michael Winikoff:
Verifying Requirements Through Mathematical Modelling and Animation.
International Journal of Software Engineering and Knowledge Engineering 10(2): 251-273 (2000) |
20 | | Justin Zobel,
Philip W. Dart:
Partitioning Number Sequences into Optimal Subsequences.
Journal of Research and Practice in Information Technology 32(2): 121-129 (2000) |
1999 |
19 | EE | Cameron Schmidt,
Philip W. Dart,
Lorraine Johnston,
Leon Sterling,
Peter Thorne:
Disincentives for communicating risk: a risk paradox.
Information & Software Technology 41(7): 403-411 (1999) |
1998 |
18 | EE | Edmund Kazmierczak,
Michael Winikoff,
Philip W. Dart:
Verifying Model Oriented Specifications through Animation.
APSEC 1998: 254-261 |
17 | | Paul Chesson,
Lorraine Johnston,
Philip W. Dart:
Detecting and Resolving Temporal Ambiguities in User Interface Specifications.
BCS HCI 1998: 177-188 |
16 | | Paul Chesson,
Lorraine Johnston,
Philip W. Dart:
Towards a Framwork and Procedure for Specifying User Interfaces.
EHCI 1998: 281-297 |
1997 |
15 | | Philip W. Dart,
Lorraine Johnston,
Cameron Schmidt,
Liz Sonenberg:
Developing an Accredited Software Engineering Program.
IEEE Software 14(6): 66-70 (1997) |
1996 |
14 | EE | Elizabeth Haywood,
Philip W. Dart:
Analysis of Software System Requirements Models.
ASYNC 1996: 131- |
13 | EE | Philip W. Dart,
Lorraine Johnston,
Cameron Schmidt:
Enhancing Project-Based Learning: Variations on Mentoring.
Australian Software Engineering Conference 1996: 112-117 |
12 | EE | Elizabeth Haywood,
Philip W. Dart:
Analysis of Software System Requirements Models.
Australian Software Engineering Conference 1996: 131- |
11 | EE | Justin Zobel,
Philip W. Dart:
Phonetic String Matching: Lessons from Information Retrieval.
SIGIR 1996: 166-172 |
1995 |
10 | | Justin Zobel,
Philip W. Dart:
Finding Approximate Matches in Large Lexicons.
Softw., Pract. Exper. 25(3): 331-345 (1995) |
1994 |
9 | | Lorraine Johnston,
Philip W. Dart:
Building on Experience: An Undegraduate Course with Two Year-Long Projects.
CSEE 1994: 345-357 |
1992 |
8 | | Philip W. Dart,
Justin Zobel:
A Regular Type Language for Logic Programs.
Types in Logic Programming 1992: 157-187 |
7 | | Philip W. Dart,
Justin Zobel:
Efficient Run-Time Type Checking of Typed Logic Programs.
J. Log. Program. 14(1&2): 31-69 (1992) |
1991 |
6 | | Philip W. Dart:
On Derived Dependencies and Connected Databases.
J. Log. Program. 11(1&2): 163-188 (1991) |
1990 |
5 | | Kim Marriott,
Harald Søndergaard,
Philip W. Dart:
A Characterization of Non-Floundering Logic Programs.
NACLP 1990: 661-680 |
1989 |
4 | | Lee Naish,
Philip W. Dart,
Justin Zobel:
The NU-Prolog Debugging Environment.
ICLP 1989: 521-536 |
1988 |
3 | | 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.
Prolog and Databases 1988: 212-250 |
2 | | Philip W. Dart,
Justin Zobel:
Conceptual schemas applied to deductive databases.
Inf. Syst. 13(3): 273-287 (1988) |
1987 |
1 | EE | 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): 10-19 (1987) |