Doug Goldson

According to our database, Doug Goldson authored at least 17 papers between 1992 and 2006.

Collaborative distances:

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

2006

Extending the theory of Owicki and Gries with a logic of progress.

Brijesh Dongol, Doug Goldson

Log. Methods Comput. Sci., 2006

2005

Concurrent Program Design in the Extended Theory of Owicki and Gries.

Doug Goldson, Brijesh Dongol

Proceedings of the Theory of Computing 2005, 2005

2004

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.

Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

An Experiment in the Design of Distributed Programs.

Doug Goldson

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

2003

Semantic Properties of mu-Charts.

Doug Goldson, Greg Reeve

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example.

Doug Goldson

Proceedings of the 6th International Workshop on Formal Methods, 2003

Extending the theory of Owicki and Gries with asynchronous message passing.

Doug Goldson

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

µ-Chart-Based Specification and Refinement.

Doug Goldson, Greg Reeve, Steve Reeves

Proceedings of the Formal Methods and Software Engineering, 2002

Formal Verification of mu-Charts.

Doug Goldson

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Multiprogram Design in the theory of Owicki and Gries.

Doug Goldson

Proceedings of the 5th Irish Workshop on Formal Methods, 2001

2000

Formal Modeling of Interactive Systems.

Doug Goldson

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1997

Abstract modelling of interactive systems.

Doug Goldson

Proceedings of the Human-Computer Interaction, 1997

1996

Computer tools to teach formal reasoning.

Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat

Comput. Educ., 1996

1994

A Symbolic Calculator for Non-Strict Functional Programs.

Doug Goldson

Comput. J., 1994

1993

A Review of Several Programs for the Teaching of Logic.

Doug Goldson, Steve Reeves, Richard Bornat

Comput. J., 1993

1992

Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods.

Tim O'Shea, Pat Fung, Richard Bornat, Steve Reeves, Doug Goldson

Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992

Fear of Formal Reasoning.

Pat Fung, Pamela O'Shea, Richard Bornat, Steve Reeves, Doug Goldson

Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992