- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c21 |      | Yulin Ding, David Hemer: An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. PRICAI 2010: 589-594 |
| 2008 | ||
| c20 | | David Hemer, Yulin Ding: Specifying Software Architectures Using a Formal-Based Approach. Australian Software Engineering Conference 2008: 279-288 |
| c19 | | David Hemer: Peer Assessment of Group-Based Software Engineering Projects. Australian Software Engineering Conference 2008: 470-478 |
| 2007 | ||
| j4 | | David Hemer: Semi-Automated Component-Based Development of Formally Verified Software. Electr. Notes Theor. Comput. Sci. 187: 173-188 (2007) |
| 2006 | ||
| c18 | | David Hemer: A systematic approach to connecting standalone theorem provers to formal development environments. APSEC 2006: 183-190 |
| 2005 | ||
| c17 | | |
| c16 | | David Hemer: Specification-Based Retrieval Strategies for Component Architectures. Australian Software Engineering Conference 2005: 233-242 |
| c15 | | David Hemer, Gregory Long, Paul A. Strooper: Plug-in Proof Support for Formal Development Environments. CATS 2005: 69-79 |
| 2004 | ||
| j3 | | David Hemer: Higher-order associative commutative pattern matching for component retrieval. Electr. Notes Theor. Comput. Sci. 91: 116-133 (2004) |
| c14 | | 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 |
| c13 | | Christian Hamoy, David Hemer, Peter A. Lindsay: HazLog: Tool Support for Hazard Management. SCS 2004: 77-87 |
| 2003 | ||
| c12 | | |
| c11 | | |
| 2002 | ||
| j2 | | 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: 101-121 (2002) |
| j1 | | 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) |
| c10 | | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper: Translating Refined Logic Programs to Mercury. ACSC 2002: 33-40 |
| c9 | | |
| c8 | | David Hemer: Computer-aided programming using formally specified design templates. APSEC 2002: 307-316 |
| c7 | | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper: Refinement of Higher-Order Logic Programs. LOPSTR 2002: 126-143 |
| i1 | | Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson: A Refinement Calculus for Logic Programs. CoRR cs.SE/0202002 (2002) |
| 2001 | ||
| c6 | | David Hemer, Peter A. Lindsay: Specification-Based Retrieval Strategies for Module Reuse. Australian Software Engineering Conference 2001: 235-243 |
| c5 | | David Hemer, Ian J. Hayes, Paul A. Strooper: Refinement Calculus for Logic Programming in Isabelle/HOL. TPHOLs 2001: 249-264 |
| 1997 | ||
| c4 | | David Hemer, Peter A. Lindsay: Reuse of Verified Design Templates Through Extended Pattern Matching. FME 1997: 495-514 |
| c3 |  | |
| 1996 | ||
| c2 | | Peter A. Lindsay, David Hemer: An Industrial-Strength Method For The Construction Of Formally Verified Software. Australian Software Engineering Conference 1996: 27- |
| c1 | | Peter A. Lindsay, David Hemer: An Industrial-Strength Method For The Construction Of Formally Verified Software. ASYNC 1996: 27- |
| 1 | Robert Colvin | |
| 2 | Yulin Ding | |
| 3 | Frank Feiks | |
| 4 | Lindsay Groves | |
| 5 | Christian Hamoy | |
| 6 | Ian J. Hayes | |
| 7 | Peter A. Lindsay (Peter Alexander Lindsay) | |
| 8 | Gregory Long | |
| 9 | Ray Nickson | |
| 10 | Paul A. Strooper |
Data released under the ODC-BY 1.0 license — See also our legal information page