| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paul A. Bailes, Colin J. M. Kemp |
Fusing Folds and Data Structures into Zoetic Data.  |
IASTED Conf. on Software Engineering  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paul A. Bailes, Colin J. M. Kemp |
Obstacles to a Totally Functional Programming Style. (PDF / PS) |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hearnden, Paul A. Bailes, Michael Lawley, Kerry Raymond |
Automating Software Evolution. |
IWPSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Colin J. M. Kemp |
Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried |
Why Functional Programming Really Matters. |
Applied Informatics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paul A. Bailes, Ian Peake |
Incremental Enhancement of the Expressiveness of a Reengineering Tool Development Platform. |
Applied Informatics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paul A. Bailes, Ian Peake |
Design Derivation of an Open, Java-Based Reengineering Platform. |
CSMR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Colin J. M. Kemp |
Formal Methods within a Totally Functional Approach to Programming. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wie Ming Lim, John V. Harrison, Paul A. Bailes, Anthony Berglas |
Design Recovery through Formal Specification. (PDF / PS) |
Australian Software Engineering Conference |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Paul Burnim, Murray Chapman |
Mapping Ada Source Code into an Abstract Program Space. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
Visualization, Ada, Design Recovery |
| 1 | Paul A. Bailes, Paul Burnim, Murray Chapman, Dan B. Johnston |
Derivation and Presentation of an Abstract Program Space for Ada. (PDF / PS) |
WPC |
1996 |
DBLP DOI BibTeX RDF |
Visualization, Ada, Design Recovery |
| 1 | Paul A. Bailes, Paul Burnim, Murray Chapman, John V. Harrison, Ian Peake |
Towards an intelligent software maintenance network. |
IFIP World Conference on IT Tools |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman |
Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake |
Towards an Open Software Conversion Architecture. |
International Journal of Software Engineering and Knowledge Engineering |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake |
Re-engineering 4GL-based Information System Applications. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
CAiSE, information systems, design recovery, software re-engineering |
| 1 | Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman |
KBSE and Ada - Object and Enabling Technology. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Murray Chapman, Mae Chia, Ian Peake |
Generic Re-Engineering Environment Design Criteria: An Evaluation of the Software RefineryTM. |
Australian Computer Journal |
1994 |
DBLP BibTeX RDF |
|
| 1 | Paul A. Bailes, Dan B. Johnston, Eric J. Salzman |
A Proposal for a Genuinely-Lazy Streams Facility for Ada. |
Comput. Lang. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Trevor Chorvat |
Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing. |
Comput. Lang. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Dan B. Johnston, Eric J. Salzman |
Preprocessing First-Class Functions for Ada. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Paul A. Bailes, Ming Gong, Andrew Moran |
Why Functional Languages Really Need Parallelism. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Paul A. Bailes, Dan B. Johnston, Eric J. Salzman, Li Wang |
Full Functional Programming in a Declarative Ada Dialect. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Paul A. Bailes |
The Hierarchical Development of a Generic Type Mechanism for Functional Languages. |
Comput. Lang. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Eric J. Salzman, Andreas Rosel |
A Proposal for a Bachelor's Degree Program in Software Bngineering. |
CSEE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes |
An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2. |
Comput. J. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes |
G: A Functional Language with Generic Abstract Data Types. |
Comput. Lang. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes |
Static Checking of Variable Handling in Dijkstra's Guarded Commands Language. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes |
A Low-Cost Implementation of Coroutines for C. |
Softw., Pract. Exper. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes |
DDA - A Data Definition Facility for UNIX Using Awk. |
Softw., Pract. Exper. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Antonio Salvadori |
A Semantically-based Formatting Discipline for Pascal. |
Softw., Pract. Exper. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes |
A Rational Pascal. |
Australian Computer Journal |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")