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:
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
(2009–2010) ALTC Priority Projects
(2006–2007) CRC for Enterprise Distributed Systems Technology
Research on the legal aspects of software engineering
(1999–2000) Software Engineering Australia Limited
(2015) Doctor Philosophy
Theoretical Foundations for Practical `Totally Functional Programming'
(2009) Doctor Philosophy
(2008) Doctor Philosophy
Software maintenance - Preface
Cifuentes, C and Bailes, P (2000). Software maintenance - Preface. Annals of Software Engineering, 9 (1-4), 1-3.
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
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
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
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
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
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
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
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.
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.
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
Journals of Software Engineering: Software Maintenance
Journals of Software Engineering: Software Maintenance. (2000). 9 (2000)
(2009–2010) ALTC Priority Projects
(2006–2007) CRC for Enterprise Distributed Systems Technology
Research on the legal aspects of software engineering
(1999–2000) Software Engineering Australia Limited
(1996–1998) Department Defence - Defence Science & Technology
Software reengineering process and technology development
(1996–1998) ARC Australian Research Council (Large grants)
(2015) Doctor Philosophy — Principal Advisor
Theoretical Foundations for Practical `Totally Functional Programming'
(2009) Doctor Philosophy — Principal Advisor
(2008) Doctor Philosophy — Principal Advisor
The Use of a Self-Definition Methodology for Product Development and Evolution
(2008) Doctor Philosophy — Principal Advisor
Static single assignment for decompilation
(2007) Doctor Philosophy — Principal Advisor
VALIDATION OF A LIGHT-WEIGHT APPROACH TO KNOWLEDGE-BASED RE-ENGINEERING BY A COBOL-TO-JAVA CONVERTER
(2004) Master Philosophy — Principal Advisor
Operational Hazard Analysis and the Safety-Aware Concept Development Method
(2022) Doctor Philosophy — Associate Advisor
Other advisors:
(2016) Doctor Philosophy — Associate Advisor
Other advisors:
A concept-driven approach to object-oriented analysis and design
(2010) Doctor Philosophy — Associate Advisor