| 2008 |
|---|
| 25 | EE | David Hemer,
Yulin Ding:
Specifying Software Architectures Using a Formal-Based Approach.
Australian Software Engineering Conference 2008: 279-288 |
| 24 | EE | David Hemer:
Peer Assessment of Group-Based Software Engineering Projects.
Australian Software Engineering Conference 2008: 470-478 |
| 2007 |
|---|
| 23 | EE | David Hemer:
Semi-Automated Component-Based Development of Formally Verified Software.
Electr. Notes Theor. Comput. Sci. 187: 173-188 (2007) |
| 2006 |
|---|
| 22 | EE | David Hemer:
A systematic approach to connecting standalone theorem provers to formal development environments.
APSEC 2006: 183-190 |
| 2005 |
|---|
| 21 | EE | David Hemer:
A Formal Approach to Component Adaptation and Composition.
ACSC 2005: 259-266 |
| 20 | EE | David Hemer:
Specification-Based Retrieval Strategies for Component Architectures.
Australian Software Engineering Conference 2005: 233-242 |
| 19 | EE | David Hemer,
Gregory Long,
Paul A. Strooper:
Plug-in Proof Support for Formal Development Environments.
CATS 2005: 69-79 |
| 2004 |
|---|
| 18 | EE | Robert Colvin,
Lindsay Groves,
Ian J. Hayes,
David Hemer,
Ray Nickson,
Paul A. Strooper:
Developing Logic Programs from Specifications Using Stepwise Refinement.
Program Development in Computational Logic 2004: 66-89 |
| 17 | EE | Christian Hamoy,
David Hemer,
Peter A. Lindsay:
HazLog: Tool Support for Hazard Management.
SCS 2004: 77-87 |
| 16 | EE | David Hemer:
Higher-order associative commutative pattern matching for component retrieval.
Electr. Notes Theor. Comput. Sci. 91: 116-133 (2004) |
| 2003 |
|---|
| 15 | EE | David Hemer:
Specification matching of state-based modular components.
APSEC 2003: 446-455 |
| 14 | EE | Frank Feiks,
David Hemer:
Specification Matching of Object-Oriented Components.
SEFM 2003: 182-190 |
| 2002 |
|---|
| 13 | EE | Robert Colvin,
Ian J. Hayes,
David Hemer,
Paul A. Strooper:
Translating Refined Logic Programs to Mercury.
ACSC 2002: 33-40 |
| 12 | EE | David Hemer,
Peter A. Lindsay:
Supporting Component-Based Reuse in CARE.
ACSC 2002: 95-104 |
| 11 | EE | David Hemer:
Computer-aided programming using formally specified design templates.
APSEC 2002: 307-316 |
| 10 | EE | Robert Colvin,
Ian J. Hayes,
David Hemer,
Paul A. Strooper:
Refinement of Higher-Order Logic Programs.
LOPSTR 2002: 126-143 |
| 9 | EE | Ian J. Hayes,
Robert Colvin,
David Hemer,
Paul A. Strooper,
Ray Nickson:
A Refinement Calculus for Logic Programs
CoRR cs.SE/0202002: (2002) |
| 8 | EE | David Hemer,
Ian J. Hayes,
Paul A. Strooper,
Robert Colvin:
Don't Care Non-determinism in Logic Program Refinement.
Electr. Notes Theor. Comput. Sci. 61: (2002) |
| 7 | | Ian J. Hayes,
Robert Colvin,
David Hemer,
Paul A. Strooper,
Ray Nickson:
A refinement calculus for logic programs.
TPLP 2(4-5): 425-460 (2002) |
| 2001 |
|---|
| 6 | EE | David Hemer,
Peter A. Lindsay:
Specification-Based Retrieval Strategies for Module Reuse.
Australian Software Engineering Conference 2001: 235-243 |
| 5 | EE | David Hemer,
Ian J. Hayes,
Paul A. Strooper:
Refinement Calculus for Logic Programming in Isabelle/HOL.
TPHOLs 2001: 249-264 |
| 1997 |
|---|
| 4 | | David Hemer,
Peter A. Lindsay:
Reuse of Verified Design Templates Through Extended Pattern Matching.
FME 1997: 495-514 |
| 3 | | Peter A. Lindsay,
David Hemer:
Using CARE to Construct Verified Software.
ICFEM 1997: 122-131 |
| 1996 |
|---|
| 2 | EE | Peter A. Lindsay,
David Hemer:
An Industrial-Strength Method For The Construction Of Formally Verified Software.
ASYNC 1996: 27- |
| 1 | EE | Peter A. Lindsay,
David Hemer:
An Industrial-Strength Method For The Construction Of Formally Verified Software.
Australian Software Engineering Conference 1996: 27- |
