Paul A. Bailes

45 papers B 4C 7Misc 1Journal 14Unranked 18

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	Software Engineering Foundations of Zoetic Data and Totally Functional Programming. ENASE (Selected Papers) Paul A. Bailes, Colin J. M. Kemp
2016	B	`conf`	Zoetic Data and their Generators. ENASE Paul A. Bailes, Colin J. M. Kemp
2014	C	`conf`	From Computer Science to Software Engineering - A Programming-level Perspective. SoMeT Paul A. Bailes, Leighton Brough, Colin J. M. Kemp
2014	B	`conf`	Towards a Discipline of Software Engineering Forensics Analysis. ENASE Paul A. Bailes, Christine Cornish, Toby Myers, Louis Rago, Nick Tate, Mal Thatcher
2012	—	`conf`	ERA Challenges for Australian University ICT. ACSC Paul A. Bailes
2012	—	`conf`	Making sense of recursion patterns. FormSERA@ICSE Paul A. Bailes, Leighton Brough
2012	C	`conf`	Self-Definition for Software Development. SEW Barry Wilks, Paul A. Bailes
2005	—	`conf`	Fusing Folds and Data Structures into Zoetic Data. IASTED Conf. on Software Engineering Paul A. Bailes, Colin J. M. Kemp
2004	—	`conf`	Automating Software Evolution. IWPSE David Hearnden, Paul A. Bailes, Michael Lawley, Kerry Raymond
2004	—	`conf`	Obstacles to a Totally Functional Programming Style. Australian Software Engineering Conference Paul A. Bailes, Colin J. M. Kemp
2003	—	`conf`	Design Derivation of an Open, Java-Based Reengineering Platform. CSMR Paul A. Bailes, Ian Peake
2003	—	`conf`	Incremental Enhancement of the Expressiveness of a Reengineering Tool Development Platform. Applied Informatics Paul A. Bailes, Ian Peake
2003	B	`conf`	Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. COMPSAC Paul A. Bailes, Colin J. M. Kemp
2003	—	`conf`	Why Functional Programming Really Matters. Applied Informatics Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried
2002	—	`conf`	Formal Methods within a Totally Functional Approach to Programming. 10th Anniversary Colloquium of UNU/IIST Paul A. Bailes, Colin J. M. Kemp
1998	—	`conf`	Design Recovery through Formal Specification. Australian Software Engineering Conference Wie Ming Lim, John V. Harrison, Paul A. Bailes, Anthony Berglas
1997	C	`conf`	Mapping Ada Source Code into an Abstract Program Space. APSEC Paul A. Bailes, Paul Burnim, Murray Chapman
1996	—	`conf`	Derivation and Presentation of an Abstract Program Space for Ada. WPC Paul A. Bailes, Paul Burnim, Murray Chapman, Dan B. Johnston
1996	—	`conf`	Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion. TRI-Ada Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman
1996	—	`conf`	Towards an intelligent software maintenance network. IFIP World Conference on IT Tools Paul A. Bailes, Paul Burnim, Murray Chapman, John V. Harrison, Ian Peake
1995	Misc	`conf`	KBSE and Ada - Object and Enabling Technology. Ada-Europe Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman
1995	C	`conf`	Re-engineering 4GL-based Information System Applications. APSEC John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake
1995	J	`jnl`	Towards an Open Software Conversion Architecture. Int. J. Softw. Eng. Knowl. Eng. Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake
1994	J	`jnl`	Generic Re-Engineering Environment Design Criteria: An Evaluation of the Software RefineryTM. Aust. Comput. J. Paul A. Bailes, Murray Chapman, Mae Chia, Ian Peake
1994	C	`conf`	Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments. APSEC Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake
1993	J	`jnl`	A Proposal for a Genuinely-Lazy Streams Facility for Ada. Comput. Lang. Paul A. Bailes, Dan B. Johnston, Eric J. Salzman
1993	J	`jnl`	Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing. Comput. Lang. Paul A. Bailes, Trevor Chorvat
1993	—	`conf`	GRIT-an extended REFINE for more executable specifications. KBSE Paul A. Bailes, Murray Chapman, Ming Gong, Ian Peake
1993	C	`conf`	Preprocessing First-Class Functions for Ada. ICCI Paul A. Bailes, Dan B. Johnston, Eric J. Salzman
1993	C	`conf`	Why Functional Languages Really Need Parallelism. ICCI Paul A. Bailes, Ming Gong, Andrew Moran
1992	J	`jnl`	Discovering Functional Programming Through Imperative Languages. Comput. Sci. Educ. Paul A. Bailes
1992	—	`conf`	Full Functional Programming in a Declarative Ada Dialect. TRI-Ada Paul A. Bailes, Dan B. Johnston, Eric J. Salzman, Li Wang
1992	J	`jnl`	Identifying foundations of software engineering expertise. ACM SIGCSE Bull. Andreas Rösel, Paul A. Bailes
1990	—	`conf`	DAda - an Ada preprocessor for functional programming. TRI-Ada Paul A. Bailes, Dan Johnson, Eric J. Salzman, Li Wang
1990	J	`jnl`	The Hierarchical Development of a Generic Type Mechanism for Functional Languages. Comput. Lang. Paul A. Bailes
1989	—	`conf`	A Proposal for a Bachelor's Degree Program in Software Bngineering. CSEE Paul A. Bailes, Eric J. Salzman, Andreas Rösel
1988	J	`jnl`	An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2. Comput. J. Paul A. Bailes
1987	J	`jnl`	G: A Functional Language with Generic Abstract Data Types. Comput. Lang. Paul A. Bailes
1986	J	`jnl`	Static Checking of Variable Handling in Dijkstra's Guarded Commands Language. Comput. Lang. Paul A. Bailes
1985	J	`jnl`	A Low-Cost Implementation of Coroutines for C. Softw. Pract. Exp. Paul A. Bailes
1985	J	`jnl`	DDA - A Data Definition Facility for UNIX Using Awk. Softw. Pract. Exp. Paul A. Bailes
1984	J	`jnl`	A Rational Pascal. Aust. Comput. J. Paul A. Bailes
1984	J	`jnl`	A Semantically-based Formatting Discipline for Pascal. Softw. Pract. Exp. Paul A. Bailes, Antonio Salvadori
1983	—	`—`	The derivation of an applicative programming language for string processing / a thesis submitted by Paul Anthony Bailes Paul A. Bailes
1980	B	`conf`	An Experimental Applicative Programming Language For Linguistics And String Processing. COLING Paul A. Bailes, Larryi H. Reeker