Emeritus Professor Paul Bailes
Emeritus Professor

Paul Bailes

Email: 

Background

Professor Paul Bailes's research interests are in: Software Engineering, Programming Langauge Design and Implementation, and Decision Support Systems.

He received his PhD from The University of Queensland in 1984. His current research projects are in the fields of:

  • Forensic Analysis of Failed Software Projects
  • Higher-Order Functional Programming
  • Automated Academic Advising.

Availability

Emeritus Professor Paul Bailes is:
Available for supervision
Media expert

Fields of research

Information and Computing Sciences

Qualifications

  • Bachelor (Honours) of Science (Advanced), The University of Queensland
  • Doctor of Philosophy, The University of Queensland
  • Australian Computer Society, Australian Computer Society

Research interests

  • Totally Functional Programming

    The expressive power of higher-order functional languages can be used to replace inert data by functions that embody applicative behaviour inherent in the data. What functional language developments (e.g. type systems) are needed to support this? Can efficiency be improved? How can such replacements of data be effected routinely? What are the connections with other areas, such as OOP, analog computing, design recovery?

  • Open Reengineering Platform

    The quality of a platform for developing reengineering tools primarily depends upon its support for the peculiarities of the reengineering process. How can the merits of proprietary reengineering platforms be recreated using open, generic technologies?

  • Academic Adviser�s Apprentice

    Planning study programs for university students is a complex and sensitive exercise, especially for (international) students who transfer to UQ with credit. What interface paradigms are best suited to automated study planning? How can a knowledge base be developed and maintained?

Search Professor Paul Bailes’s works on UQ eSpace

31 works between 1986 and 2016
All (31) Journal Article (8) Conference Publication (22) Edited Outputs (1)

21 - 31 of 31 works

2001

Conference Publication

Programming without data: Towards a totally functional programming style

Bailes, P.A.C. (2001). Programming without data: Towards a totally functional programming style. The Fifth National Computer Science and Engineering Conference, Chiang Mai, Thailand, 7-9 November, 2001. Chiang Mai, Thailand: Chiang Mai University.

Programming without data: Towards a totally functional programming style

2000

Edited Outputs

Journals of Software Engineering: Software Maintenance

Journals of Software Engineering: Software Maintenance. (2000). 9 (2000)

Journals of Software Engineering: Software Maintenance

2000

Journal Article

Software maintenance - Preface

Cifuentes, C and Bailes, P (2000). Software maintenance - Preface. Annals of Software Engineering, 9 (1-4), 1-3.

Software maintenance - Preface

1998

Conference Publication

Design recovery through formal specification

Lim, Wie Ming, Harrison, John V., Bailes, Paul A. and Berglas, Anthony (1998). Design recovery through formal specification. 1998 Australian Software Engineering Conference, ASWEC 1998, Adelaide, SA, November 9, 1998-November 13, 1998. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ASWEC.1998.730910

Design recovery through formal specification

1993

Journal Article

Facet Grammars: Towards static semantic analysis by context-free parsing

Bailes P.A. and Chorvat T. (1993). Facet Grammars: Towards static semantic analysis by context-free parsing. Computer Languages, 18 (4), 251-271. doi: 10.1016/0096-0551(93)90019-W

Facet Grammars: Towards static semantic analysis by context-free parsing

1993

Journal Article

A proposal for a genuinely-lazy streams facility for Ada

Bailes P.A., Johnston D.B. and Salzman E.J. (1993). A proposal for a genuinely-lazy streams facility for Ada. Computer Languages, 18 (1), 31-55. doi: 10.1016/0096-0551(93)90029-Z

A proposal for a genuinely-lazy streams facility for Ada

1992

Journal Article

Identifying foundations of software engineering expertise

Rösel, Andreas and Bailes, Paul (1992). Identifying foundations of software engineering expertise. ACM SIGCSE Bulletin, 24 (4), 52-64. doi: 10.1145/141837.141855

Identifying foundations of software engineering expertise

1992

Journal Article

Discovering Functional Programming Through Imperative Languages

Bailes P.A. (1992). Discovering Functional Programming Through Imperative Languages. Computer Science Education, 3 (2), 87-110. doi: 10.1080/0899340920030202

Discovering Functional Programming Through Imperative Languages

1990

Journal Article

The hierarchical development of a generic type mechanism for functional languages

Bailes P.A. (1990). The hierarchical development of a generic type mechanism for functional languages. Computer Languages, 15 (1), 1-26. doi: 10.1016/0096-0551(90)90016-I

The hierarchical development of a generic type mechanism for functional languages

1987

Journal Article

G: A functional language with generic abstract data types

Bailes P.A. (1987). G: A functional language with generic abstract data types. Computer Languages, 12 (2), 69-94. doi: 10.1016/0096-0551(87)90001-4

G: A functional language with generic abstract data types

1986

Journal Article

Static checking of variable handling in Dijkstra's Guarded Commands language

Bailes P.A. (1986). Static checking of variable handling in Dijkstra's Guarded Commands language. Computer Languages, 11 (3-4), 123-142. doi: 10.1016/0096-0551(86)90006-8

Static checking of variable handling in Dijkstra's Guarded Commands language

Past funding

  • 2009 - 2010
    Addressing ICT curriculum recommendations from surveys of academics, workplace graduates and employers
    ALTC Priority Projects
    Open grant
  • 2006 - 2007
    Academic Advisor's Apprentice
    CRC for Enterprise Distributed Systems Technology
    Open grant
  • 1999 - 2000
    Research on the legal aspects of software engineering
    Software Engineering Australia Limited
    Open grant
  • 1996 - 1998
    Research Project
    Department Defence - Defence Science & Technology
    Open grant
  • 1996 - 1998
    Software reengineering process and technology development
    ARC Australian Research Council (Large grants)
    Open grant

Availability

Emeritus Professor Paul Bailes is:
Available for supervision

Before you email them, read our advice on how to contact a supervisor.

Supervision history

Completed supervision

Enquiries

Contact Emeritus Professor Paul Bailes directly for media enquiries about:

  • Computer program languages
  • Computer programming
  • Computing - software engineering
  • Education - information technology
  • Electrical engineering
  • Information technology
  • International IT education
  • Programming - computer
  • Software engineering

Need help?

For help with finding experts, story ideas and media enquiries, contact our Media team:

communications@uq.edu.au