Paul Bailes

BSc, PhD (UQ)

Designation:

Professor

Head, School of ITEE

Areas of Expertise:

Programming language design & implementation; software re-use & reverse-engineering; functional programming; applying knowledge based techniques to software maintenance, especially the conversion of legacy systems to modern software environments.

Paul Bailes 2007 002.jpg

Location:	Room 425 General Purpose South Building
Telephone:	7-3365-3869
Fax:	7-3365-4999
E-mail:	paul@itee.uq.edu.au

Research Projects (see opposite for key papers)

· Student projects on offer: BE(Software); IT/Science (Honours)

· Development of open reengineering tool development platform

Software reengineering process and technology

· Totally functional programming – a data-less programming style

Programming = Language Design

Derivation of a dynamic type/assertion checker

· Academic Advisor’s Apprentice

UQ ITEE Systems & Software Engineering Research Group

Links to:

· Cache of others’ interesting works

· International Development, Faculty of EPSA

· School of ITEE International Development

Selected Publications

1. P.A. Bailes and C.J.M. Kemp, Formal Methods within a Totally Functional Approach to Programming, Proceedings UNU-IIST 10^th Anniversary Symposium, to appear.

2. P.A. Bailes and C.J.M Kemp, Integrating Runtime Assertions with Dynamic Types: Structuring Derivation From an Incomputable Specification, to appear 2003 Computer Software and Applications Conference (COMPSAC 2003)

3. P.A. Bailes and I.D Peake, Design Derivation of an Open, Java-based Reengineering Platform, Proceedings 7th European Conference on Software Maintenance and Reengineering 2003 (CSMR 2003), pp. 239-248, IEEE, 2003.

4. P.A. Bailes, C.J.M Kemp, I.D Peake and S. Seefried, Why Functional Programming Really Matters, Proceedings 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), pp 919-926, Acta Press, 2003.

5. P.A. Bailes and I.D Peake, Incremental Enhancement of the Expressiveness af a Reengineering Tool Development Platform, Proceedings 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), pp 927-934, Acta Press, 2003.

6. P.A. Bailes, J.V. Harrison, W.M. Lim and I.D. Peake, Experience with a Generic Transition Architecture, Proceedings 6th IASTED International Conference on Software Engineering and its Applications, pp. 509-514, Cambridge, USA, 2002.

7. C. Cifuentes and P.A. Bailes (eds.), Software Maintenance, Annals of Software Engineering vol. 9, Baltzer Science Publishers, 2000

8. P.A. Bailes, P. Burnim and M. Chapman, Mapping Ada Source Code into an Abstract Program Space, Proc. 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, pp. 171-180, IEEE, 1997

9. J.V. Harrison, P.A. Bailes, A. Berglas and I. Peake, Re-Engineering 4GL-Based Information Systems Applications, Proceedings 1995 Asia-Pacific Software Engineering Conference, Brisbane, pp. 448-457, IEEE, 1995

10. P.A. Bailes, S. Atkinson, M. Chapman, D. Johnson, I. Peake, Towards an Open Software Conversion Architecture, International Journal of Software Engineering and Knowledge Engineering, pp. 423-444, 1995

11. P.A. Bailes and T. Chorvat, Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing, Journal of Computer Languages, vol. 18, no. 4, pp. 251-271, 1992

12. P.A. Bailes, Discovering Functional Programming with Imperative Languages, Journal of Computer Science Education, vol. 3, no. 2, pp. 87-110, 1992