OR

Browse By

Emeritus Professor Paul Bailes

Emeritus Professor

School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
paul@eecs.uq.edu.au

Overview

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.

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?

Qualifications

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

Publications

  • Conference Publication: Software engineering foundations of zoetic data and totally functional programming

    Bailes, Paul and Kemp, Colin (2016). Software engineering foundations of zoetic data and totally functional programming. 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, Rome, Italy, 27 - 28 April 2016. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-56390-9_7

  • Conference Publication: Zoetic Data and their Generators

    Bailes, Paul and Kemp, Colin (2016). Zoetic Data and their Generators. 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Rome, Italy, 27-28 April 2016. Setúbal, Portugal: SCITEPRESS. doi: 10.5220/0005914902600271

  • Conference Publication: From computer science to software engineering – a programming-level perspective

    Bailes, Paul, Brough, Leighton and Kemp, Colin (2014). From computer science to software engineering – a programming-level perspective. Software Methodologies, Tools and Techniques (SoMeT14), Langkawi, Malaysia, 22-24 September 2014. AMSTERDAM: IOS Press. doi: 10.3233/978-1-61499-434-3-513

View all Publications

Grants

View all Grants

Supervision

View all Supervision

Publications

Journal Article

Conference Publication

  • Software engineering foundations of zoetic data and totally functional programming

    Bailes, Paul and Kemp, Colin (2016). Software engineering foundations of zoetic data and totally functional programming. 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, Rome, Italy, 27 - 28 April 2016. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-56390-9_7

  • Zoetic Data and their Generators

    Bailes, Paul and Kemp, Colin (2016). Zoetic Data and their Generators. 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Rome, Italy, 27-28 April 2016. Setúbal, Portugal: SCITEPRESS. doi: 10.5220/0005914902600271

  • From computer science to software engineering – a programming-level perspective

    Bailes, Paul, Brough, Leighton and Kemp, Colin (2014). From computer science to software engineering – a programming-level perspective. Software Methodologies, Tools and Techniques (SoMeT14), Langkawi, Malaysia, 22-24 September 2014. AMSTERDAM: IOS Press. doi: 10.3233/978-1-61499-434-3-513

  • Towards a discipline of software engineering forensics analysis

    Bailes, Paul, Cornish, Christine, Myers, Toby, Rago, Lou, Tate, Nick and Thatcher, Mal (2014). Towards a discipline of software engineering forensics analysis. 9th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014, Lisbon, 28-30 April 2014. Portugal: SciTePress. doi: 10.5220/0004970002350240

  • Higher-order catamorphisms as bases for program structuring and design recovery

    Bailes, Paul, Brough, Leighton and Kemp, Colin (2013). Higher-order catamorphisms as bases for program structuring and design recovery. 12th IASTED International Conference on Software Engineering, SE 2013, Innsbruck, Austria, 11 - 13 February 2013. Amsterdam, The Netherlands: Elsevier BV. doi: 10.2316/P.2013.796-015

  • Recursion patterns and their impact on programming language design

    Bailes, Paul (2013). Recursion patterns and their impact on programming language design. 8th IASTED International Conference on Advances in Computer Science, ACS 2013, Phuket, Thailand, 10 -12 April 2013. Amsterdam, The Netherlands: Elsevier BV. doi: 10.2316/P.2013.801-023

  • The denotational basis for software execution tracing

    Brough, Leighton and Bailes, Paul (2013). The denotational basis for software execution tracing. 8th IASTED International Conference on Advances in Computer Science, ACS 2013, Phuket, Thailand, 10 -12 April 2013. Amsterdam, The Netherlands: Elsevier BV. doi: 10.2316/P.2013.801-032

  • ERA challenges for Australian university ICT

    Bailes, Paul (2012). ERA challenges for Australian university ICT. Thirty-Fifth Australasian Computer Science Conference (ACSC 2012), Melbourne, Australia, 30 January - 3 February 2012. Melbourne, Australia: Australian Computer Society.

  • Making sense of recursion patterns

    Bailes, Paul and Brough, Leighton (2012). Making sense of recursion patterns. 2012 First InternationalWorkshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), Zurich, Switzerland, 2 June 2012. Piscataway, NJ, United States: IEEE. doi: 10.1109/FormSERA.2012.6229782

  • Self-definition for Systems Development

    Wilks, Barry and Bailes, Paul (2012). Self-definition for Systems Development. 2012 35th Annual IEEE Software Engineering Workshop (SEW), Heraklion, Crete, Greece, 12-13 October 2012. Piscataway, NJ, United States: IEEE. doi: 10.1109/SEW.2012.12

  • Fusing folds and data structures into zoetic data

    Bailes, P. A. C. and Kemp, C. J. (2005). Fusing folds and data structures into zoetic data. IASTED International Conference on Software Engineering 2005 (SE 2005), Innsbruck, Austria, 15-17 February 2005. Anaheim, U.S.A.: ACTA Press.

  • Automating software evolution

    Hearnden, D. I., Bailes, P.A.C., Lawley, M. and Raymond, K. (2004). Automating software evolution. The Seventh International Workshop on Principles of Software Evolution, Kyoto, Japan, 6-7 September, 2004. Los Alamitos, California: The IEEE Computer Society. doi: 10.1109/IWPSE.2004.1334773

  • Obstacles to a totally functional programming style

    Bailes, P. A. C. and Kemp, C. J. (2004). Obstacles to a totally functional programming style. The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, 13-16 April 2004. Los Alamitos, California, U.S.A.: IEEE Computer Society. doi: 10.1109/ASWEC.2004.1290470

  • Design derivation of an open, java-based reengineering platform

    Bailes, P. A. C. and Peake, I. (2003). Design derivation of an open, java-based reengineering platform. The Seventh European Conference on Software Maintenance and Reengineering, Benevento, Italy, 26-28 March 2003. Piscataway, NJ, U.S.A.: IEEE Computer Society. doi: 10.1109/CSMR.2003.1192432

  • Formal methods within a totally functional approach to programming

    Bailes, P. A. and Kemp, C. J. M. (2003). Formal methods within a totally functional approach to programming. The Tenth Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, 18-20 March, 2002. Berlin: Springer.

  • Incremental enhancement of the expressiveness of a reengineering tool development platform

    Bailes, P.A.C. and Peake, I. (2003). Incremental enhancement of the expressiveness of a reengineering tool development platform. The Twenty-First IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, 10-13 February, 2003. Anaheim, CA: ACTA Press.

  • Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification

    Bailes, P. A. C. and Kemp, C. J. (2003). Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification. The 27th Annual International Computer Software and Applications Conference, Dallas, Texas, U.S.A., 3-6 November 2003. Los Alamitos, CA, U.S.A.: IEEE Computer Society. doi: 10.1109/CMPSAC.2003.1245389

  • The role of self-definition in software development and evolution

    Wilks, B. and Bailes, P.A.C. (2003). The role of self-definition in software development and evolution. The Seventh IASTED International Conference on Software Engineering and Applications, Marin del Rey, CA, 3-5 November, 2003. Anaheim, CA: ACTA Press.

  • Why functional programming really matters

    Bailes, P.A.C., Kemp, C. J., Peake, I. and Seefried, S. D. (2003). Why functional programming really matters. The 21st IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, 10-13 February, 2003. Anaheim, CA: ACTA Press.

  • Experience with a generic transition architecture

    Bailes, P.A.C., Harrison, J.V., Lim, W.M. and Peake, I. (2002). Experience with a generic transition architecture. Software Engineering and Applications, Cambridge, USA, 4-6 November, 2002. Anaheim, USA: ACTA Press.

  • 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.

  • 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

Edited Outputs

Grants (Administered at UQ)

PhD and MPhil Supervision

Completed Supervision

This staff member is a UQ Expert for media in the following fields:

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

They are happy to lend their expertise to your articles or broadcasts and share their research discoveries and insights with the community via media channels.

For additional assistance with story ideas, general advice and information or help with seeking further experts, please email the UQ Media Team or telephone (07) 3365 1120.

Links

Unit Links
Other Media
Social Media

Related Resources

Similar Staff
Researchers in Associated Units
Fields of Research