Doug Goldson

Publication Activity (10 Years)

Years Active: 1992-2006
Publications (10 Years): 0

Publications

Brijesh Dongol, Doug Goldson
Extending the theory of Owicki and Gries with a logic of progress. Log. Methods Comput. Sci. 2 (1) (2006)
Brijesh Dongol, Doug Goldson
Extending the theory of Owicki and Gries with a logic of progress CoRR (2005)
Doug Goldson, Brijesh Dongol
Concurrent Program Design in the Extended Theory of Owicki and Gries. CATS (2005)
Doug Goldson
An Experiment in the Design of Distributed Programs. Australian Software Engineering Conference (2004)
Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. IPDPS (2004)
Doug Goldson, Greg Reeve
Semantic Properties of mu-Charts. SEFM (2003)
Doug Goldson
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example. IWFM (2003)
Doug Goldson
Extending the theory of Owicki and Gries with asynchronous message passing. APSEC (2003)
Doug Goldson
Formal Verification of mu-Charts. APSEC (2002)
Doug Goldson, Greg Reeve, Steve Reeves
µ-Chart-Based Specification and Refinement. ICFEM (2002)
Doug Goldson
Multiprogram Design in the theory of Owicki and Gries. IWFM (2001)
Doug Goldson
Formal Modeling of Interactive Systems. APAQS (2000)
Doug Goldson
Abstract modelling of interactive systems. INTERACT (1997)
Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat
Computer tools to teach formal reasoning. Comput. Educ. 27 (1) (1996)
Doug Goldson
A Symbolic Calculator for Non-Strict Functional Programs. Comput. J. 37 (3) (1994)
Doug Goldson, Steve Reeves, Richard Bornat
A Review of Several Programs for the Teaching of Logic. Comput. J. 36 (4) (1993)
Pat Fung, Pamela O'Shea, Richard Bornat, Steve Reeves, Doug Goldson
Fear of Formal Reasoning. PPIG (2) (1992)
Tim O'Shea, Pat Fung, Richard Bornat, Steve Reeves, Doug Goldson
Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods. PPIG (1) (1992)