Paul A. Bailes - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2016

Software Engineering Foundations of Zoetic Data and Totally Functional ProgrammingPaul A. Bailes, Colin J. M. Kemp. ENASE 2016: 129-157 [doi]

Zoetic Data and their GeneratorsPaul A. Bailes, Colin J. M. Kemp. ENASE 2016: 260-271 [doi]

2014

From Computer Science to Software Engineering - A Programming-level PerspectivePaul A. Bailes, Leighton Brough, Colin J. M. Kemp. somet 2014: 513-529 [doi]

2012

ERA Challenges for Australian University ICTPaul A. Bailes. acsc 2012: 63-72 [doi]

Making sense of recursion patternsPaul A. Bailes, Leighton Brough. ICSE 2012: 16-22 [doi]

2005

Fusing Folds and Data Structures into Zoetic DataPaul A. Bailes, Colin J. M. Kemp. iastedSE 2005: 299-306

2004

Obstacles to a Totally Functional Programming StylePaul A. Bailes, Colin J. M. Kemp. ASWEC 2004: 178-189 [doi]

Automating Software EvolutionDavid Hearnden, Paul A. Bailes, Michael Lawley, Kerry Raymond. iwpse 2004: 95-100 [doi]

2003

2002

Formal Methods within a Totally Functional Approach to ProgrammingPaul A. Bailes, Colin J. M. Kemp. unu 2003: 287-307 [doi]

1998

Design Recovery through Formal SpecificationWie Ming Lim, John V. Harrison, Paul A. Bailes, Anthony Berglas. ASWEC 1998: 22-31 [doi]

1997

Mapping Ada Source Code into an Abstract Program SpacePaul A. Bailes, Paul Burnim, Murray Chapman. apsec 1997: 171-180 [doi]

1996

1995

1994

Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environmentsPaul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake. apsec 1994: 60-69 [doi]

Generic Re-Engineering Environment Design Criteria: An Evaluation of the Software RefineryTMPaul A. Bailes, Murray Chapman, Mae Chia, Ian Peake. acj, 26(4):151-157, 1994.

1993

1992

Discovering Functional Programming Through Imperative LanguagesPaul A. Bailes. csedu, 3(2):87-110, 1992. [doi]

Full Functional Programming in a Declarative Ada DialectPaul A. Bailes, Dan B. Johnston, Eric J. Salzman, Li Wang. sigada 1992: 350-358 [doi]

Identifying foundations of software engineering expertiseAndreas Rösel, Paul A. Bailes. SIGCSE, 24(4):52-64, 1992. [doi]

1990

DAda - an Ada preprocessor for functional programmingPaul A. Bailes, Dan Johnson, Eric J. Salzman, Li Wang 0003. sigada 1990: 114-123 [doi]

The Hierarchical Development of a Generic Type Mechanism for Functional LanguagesPaul A. Bailes. Comp. Lang., Syst. \& Struct., 15(1):1-26, 1990.

1989

A Proposal for a Bachelor s Degree Program in Software BngineeringPaul A. Bailes, Eric J. Salzman, Andreas Rosel. csee 1989: 90-108

1988

An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2Paul A. Bailes. cj, 31(6):531-539, 1988.

1987

G: A Functional Language with Generic Abstract Data TypesPaul A. Bailes. Comp. Lang., Syst. \& Struct., 12(2):69-94, 1987.

1986

Static Checking of Variable Handling in Dijkstra s Guarded Commands LanguagePaul A. Bailes. Comp. Lang., Syst. \& Struct., 11(3/4):123-142, 1986.

1985

A Low-Cost Implementation of Coroutines for CPaul A. Bailes. SPE, 15(4):379-395, 1985.

DDA - A Data Definition Facility for UNIX Using AwkPaul A. Bailes. SPE, 15(10):1011-1020, 1985.

1984

A Semantically-based Formatting Discipline for PascalPaul A. Bailes, Antonio Salvadori. SPE, 14(3):235-251, 1984.

A Rational PascalPaul A. Bailes. acj, 16(4):155-163, 1984.

1983

The derivation of an applicative programming language for string processing / a thesis submitted by Paul Anthony BailesPaul A. Bailes. PhD thesis, University of Queensland, Australia, 1983. [doi]

Sign in or sign up to see more results.

runs on WebDSL