Emeritus Professor Paul Bailes
Emeritus Professor
School of Electrical Engineering and Computer Science
Researcher biography
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.
Journal Articles
Cifuentes, C and Bailes, P (2000). Software maintenance - Preface. Annals of Software Engineering, 9 (1-4), 1-3.
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
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
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
Bailes P.A. (1992). Discovering Functional Programming Through Imperative Languages. Computer Science Education, 3 (2), 87-110. doi: 10.1080/0899340920030202
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
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
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
Conference Papers
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
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
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
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
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
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
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
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
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.
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
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.
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
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
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
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.
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.
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.
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
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.
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.
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.
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