Paul A. Bailes

According to our database, Paul A. Bailes authored at least 45 papers between 1980 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Software Engineering Foundations of Zoetic Data and Totally Functional Programming.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Zoetic Data and their Generators.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the ENASE 2016, 2016

2014

From Computer Science to Software Engineering - A Programming-level Perspective.

Paul A. Bailes, Leighton Brough, Colin J. M. Kemp

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014

Towards a Discipline of Software Engineering Forensics Analysis.

Paul A. Bailes, Christine Cornish, Toby Myers, Louis Rago, Nick Tate, Mal Thatcher

Proceedings of the ENASE 2014, 2014

2012

Self-Definition for Software Development.

Barry Wilks, Paul A. Bailes

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Making sense of recursion patterns.

Paul A. Bailes, Leighton Brough

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

ERA Challenges for Australian University ICT.

Paul A. Bailes

Proceedings of the Thirty-Fifth Australasian Computer Science Conference, 2012

2005

Fusing Folds and Data Structures into Zoetic Data.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the IASTED International Conference on Software Engineering, 2005

2004

Automating Software Evolution.

David Hearnden, Paul A. Bailes, Michael Lawley, Kerry Raymond

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Obstacles to a Totally Functional Programming Style.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003

Design Derivation of an Open, Java-Based Reengineering Platform.

Paul A. Bailes, Ian Peake

Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Incremental Enhancement of the Expressiveness of a Reengineering Tool Development Platform.

Paul A. Bailes, Ian Peake

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

Why Functional Programming Really Matters.

Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

Formal Methods within a Totally Functional Approach to Programming.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

1998

Design Recovery through Formal Specification.

Wie Ming Lim, John V. Harrison, Paul A. Bailes, Anthony Berglas

Proceedings of the 1998 Australian Software Engineering Conference (ASWEC '98), 1998

1997

Mapping Ada Source Code into an Abstract Program Space.

Paul A. Bailes, Paul Burnim, Murray Chapman

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion.

Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman

Proceedings of the annual meeting of the Ada programming world, 1996

Derivation and Presentation of an Abstract Program Space for Ada.

Paul A. Bailes, Paul Burnim, Murray Chapman, Dan B. Johnston

Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

Towards an intelligent software maintenance network.

Paul A. Bailes, Paul Burnim, Murray Chapman, John V. Harrison, Ian Peake

Proceedings of the Advanced IT Tools, 1996

1995

Towards an Open Software Conversion Architecture.

Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake

Int. J. Softw. Eng. Knowl. Eng., 1995

Re-engineering 4GL-based Information System Applications.

John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

KBSE and Ada - Object and Enabling Technology.

Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman

Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994

Generic Re-Engineering Environment Design Criteria: An Evaluation of the Software RefineryTM.

Paul A. Bailes, Murray Chapman, Mae Chia, Ian Peake

Aust. Comput. J., 1994

Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments.

Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1993

A Proposal for a Genuinely-Lazy Streams Facility for Ada.

Paul A. Bailes, Dan B. Johnston, Eric J. Salzman

Comput. Lang., 1993

Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing.

Paul A. Bailes, Trevor Chorvat

Comput. Lang., 1993

GRIT-an extended REFINE for more executable specifications.

Paul A. Bailes, Murray Chapman, Ming Gong, Ian Peake

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Preprocessing First-Class Functions for Ada.

Paul A. Bailes, Dan B. Johnston, Eric J. Salzman

Proceedings of the Computing and Information, 1993

Why Functional Languages Really Need Parallelism.

Paul A. Bailes, Ming Gong, Andrew Moran

Proceedings of the Computing and Information, 1993

1992

Identifying foundations of software engineering expertise.

Andreas Rösel, Paul A. Bailes

ACM SIGCSE Bull., 1992

Discovering Functional Programming Through Imperative Languages.

Paul A. Bailes

Comput. Sci. Educ., 1992

Full Functional Programming in a Declarative Ada Dialect.

Paul A. Bailes, Dan B. Johnston, Eric J. Salzman, Li Wang

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

1990

The Hierarchical Development of a Generic Type Mechanism for Functional Languages.

Paul A. Bailes

Comput. Lang., 1990

DAda - an Ada preprocessor for functional programming.

Paul A. Bailes, Dan Johnson, Eric J. Salzman, Li Wang

Proceedings of the conference on TRI-ADA 1990, 1990

1989

A Proposal for a Bachelor's Degree Program in Software Bngineering.

Paul A. Bailes, Eric J. Salzman, Andreas Rösel

Proceedings of the Software Engineering Education, 1989

1988

An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2.

Paul A. Bailes

Comput. J., 1988

1987

G: A Functional Language with Generic Abstract Data Types.

Paul A. Bailes

Comput. Lang., 1987

1986

Static Checking of Variable Handling in Dijkstra's Guarded Commands Language.

Paul A. Bailes

Comput. Lang., 1986

1985

DDA - A Data Definition Facility for UNIX Using Awk.

Paul A. Bailes

Softw. Pract. Exp., 1985

A Low-Cost Implementation of Coroutines for C.

Paul A. Bailes

Softw. Pract. Exp., 1985

1984

A Semantically-based Formatting Discipline for Pascal.

Paul A. Bailes, Antonio Salvadori

Softw. Pract. Exp., 1984

A Rational Pascal.

Paul A. Bailes

Aust. Comput. J., 1984

1983

The derivation of an applicative programming language for string processing / a thesis submitted by Paul Anthony Bailes

Paul A. Bailes

PhD thesis, 1983

1980

An Experimental Applicative Programming Language For Linguistics And String Processing.

Paul A. Bailes, Larryi H. Reeker

Proceedings of the 8th International Conference on Computational Linguistics, 1980