Doug Goldson

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