2016 Conference Publication Software engineering foundations of zoetic data and totally functional programmingBailes, 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 |
2016 Conference Publication Zoetic Data and their GeneratorsBailes, 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 |
2014 Conference Publication Towards a discipline of software engineering forensics analysisBailes, 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 |
2014 Conference Publication From computer science to software engineering – a programming-level perspectiveBailes, 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 |
2013 Conference Publication Recursion patterns and their impact on programming language designBailes, 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 |
2013 Conference Publication The denotational basis for software execution tracingBrough, 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 |
2013 Conference Publication Higher-order catamorphisms as bases for program structuring and design recoveryBailes, 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 |
2012 Conference Publication Making sense of recursion patternsBailes, 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 |
2012 Conference Publication ERA challenges for Australian university ICTBailes, 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. |
2012 Conference Publication Self-definition for Systems DevelopmentWilks, 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 |
2005 Conference Publication Fusing folds and data structures into zoetic dataBailes, 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. |
2004 Conference Publication Automating software evolutionHearnden, 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 |
2004 Conference Publication Obstacles to a totally functional programming styleBailes, 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 |
2003 Conference Publication Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specificationBailes, 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 |
2003 Conference Publication The role of self-definition in software development and evolutionWilks, 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. |
2003 Conference Publication Why functional programming really mattersBailes, 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. |
2003 Conference Publication Formal methods within a totally functional approach to programmingBailes, 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. |
2003 Conference Publication Design derivation of an open, java-based reengineering platformBailes, 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 |
2003 Conference Publication Incremental enhancement of the expressiveness of a reengineering tool development platformBailes, 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. |
2002 Conference Publication Experience with a generic transition architectureBailes, 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. |