| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff |
Verifying Requirements Through Mathematical Modelling and Animation.  |
International Journal of Software Engineering and Knowledge Engineering  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Zobel, Philip W. Dart |
Partitioning Number Sequences into Optimal Subsequences. |
Journal of Research and Practice in Information Technology |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anthony Senyard, Philip W. Dart, Leon Sterling |
Towards the Software Engineering of Neural Networks: A Maturity Model. |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
Neural networks, software engineering, capability maturity models |
| 1 | Cameron Schmidt, Philip W. Dart, Lorraine Johnston, Leon Sterling, Peter Thorne |
Disincentives for communicating risk: a risk paradox. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund Kazmierczak, Michael Winikoff, Philip W. Dart |
Verifying Model Oriented Specifications through Animation. (PDF / PS) |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Chesson, Lorraine Johnston, Philip W. Dart |
Towards a Framwork and Procedure for Specifying User Interfaces. |
EHCI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Rasha Abbas, Philip W. Dart, Fergus O'Brien, Edmund Kazmierczak |
Outsourcing for software applications development: issues, implications and impact. |
ECIS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Paul Chesson, Lorraine Johnston, Philip W. Dart |
Detecting and Resolving Temporal Ambiguities in User Interface Specifications. |
BCS HCI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philip W. Dart, Lorraine Johnston, Cameron Schmidt, Liz Sonenberg |
Developing an Accredited Software Engineering Program. |
IEEE Software |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. Dart, Lorraine Johnston, Cameron Schmidt |
Enhancing Project-Based Learning: Variations on Mentoring. |
Australian Software Engineering Conference |
1996 |
DBLP DOI BibTeX RDF |
software engineering education, quality assurance, project-based learning, mentoring |
| 1 | Elizabeth Haywood, Philip W. Dart |
Analysis of Software System Requirements Models. |
Australian Software Engineering Conference |
1996 |
DBLP DOI BibTeX RDF |
software engineering, requirements engineering, requirements modelling |
| 1 | Elizabeth Haywood, Philip W. Dart |
Analysis of Software System Requirements Models. |
ASYNC |
1996 |
DBLP DOI BibTeX RDF |
software engineering, requirements engineering, requirements modelling |
| 1 | Justin Zobel, Philip W. Dart |
Phonetic String Matching: Lessons from Information Retrieval. |
SIGIR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Justin Zobel, Philip W. Dart |
Finding Approximate Matches in Large Lexicons. |
Softw., Pract. Exper. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorraine Johnston, Philip W. Dart |
Building on Experience: An Undegraduate Course with Two Year-Long Projects. |
CSEE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. Dart, Justin Zobel |
Efficient Run-Time Type Checking of Typed Logic Programs. |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. Dart, Justin Zobel |
A Regular Type Language for Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Philip W. Dart |
On Derived Dependencies and Connected Databases. |
J. Log. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Marriott, Harald Søndergaard, Philip W. Dart |
A Characterization of Non-Floundering Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Lee Naish, Philip W. Dart, Justin Zobel |
The NU-Prolog Debugging Environment. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Philip W. Dart, Justin Zobel |
Conceptual schemas applied to deductive databases. |
Inf. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")